On the Maximal Models of Horn Formulas C.T.I. Technical Report TR 98.4.17

On the Maximal Models of Horn Formulas C.T.I. Technical Report TR 98.4.17

Bibliographic Details
Main Authors:	Καββαδίας, Δημήτρης (Author), Σιδέρη, Μάρθα (Author), Σταυρόπουλος, Ηλίας Χ. (Author)
Format:	Book
Language:	Greek
Published:	Patras Greece Computer Technology Institute 1998
Subjects:	CTI TR 1998 TECHNICAL REPORT ΤΕΧΝΙΚΗ ΑΝΑΦΟΡΑ

Similar Items

On a Resolutiion Theorem for Maximal Models C.T.I Technical Report TR 98.2.4
by: Καββαδίας, Δημήτρης, et al.
Published: (1998)

ΟΑΣΗΣ:Not According to Hoyle! C.T.I. Technical Report TR 98.4.19
by: Βελόνιας, Πλάτωνας, et al.
Published: (1998)

Digital Robbery; Authors are not Unprotected C.T.I Technical Report TR 98.1.3
by: Γαροφαλάκης, Γιάννης, et al.
Published: (1998)

The Design and Development of Advanced Network Services over the Patras University Campus Network C.T.I Technical Report TR 97.10.38 C.T.I. Technical Report TR 98.2.8
by: Αντωνίου, Γ., et al.
Published: (1997)

Development and Integration of Intranet-based Services in a University C.T.I. Technical Report TR 98.1.1
by: Βασιλειάδης, Β., et al.
Published: (1998)

A Web based Educational Application for Environmental Science Courses C.T.I. Technical Report TR 98.2.7
by: Βασιλειάδης, Β., et al.
Published: (1998)

Development and Integration of WWW -based Services in an Existing University Environment. C.T.I Technical Report TR 98.2.10
by: Βασιλειάδης, Β., et al.
Published: (1998)

An Interactive Web-based Approach for Environmental Science Courses in Secondary Education. C.T.I Technical Report TR 98.2.6
by: Βασιλειάδης, Β., et al.

MERIMNA:An Introduction Multimedia Learning Environment in Bookbinding for Mentally Handicapped People C.T.I Technical Report TR 98.2.9
by: Γαροφαλάκης, Γιάννης, et al.
Published: (1998)

How to use HTML Page Popularity to improve a Web Site's Structure C.T.I. Technical Report TR 98.3.16
by: Γαροφαλάκης, Γιάννης, et al.
Published: (1998)

Digital Data Processing for Intellectual Property Rights Preservation Over World Wide Web. C.T.I Technical Report TR 98.1.2
by: Γαροφαλάκης, Γιάννης, et al.
Published: (1998)

A Competitive Symmetrical Transfer Policy for Load Sharing C.T.I Technical Report TR 98.2.5
by: Αντωνής, Κωνσταντίνος, et al.
Published: (1998)

On horn envelopes and hypergraph transversals (Extended Abstract for ISAAC) C.T.I. Technical Report TR 93.10.38
by: Καββαδίας, Δημήτρης, et al.
Published: (1993)

On Attribute Grammars Without Attribute Synthesis C.T.I. [Technical Reports] TR. 89.03.80
by: Σιδέρη, Μάρθα
Published: (1989)

Approximating Linear Programming is log-space complete for P C.T.I. Technical Report TR.89.10.98
by: Serna, Maria, 1959-
Published: (1989)

Optimizing the Implementation of H.261 Technical Report CTI TR 95.05.17
by: Καλλές, Δημήτριος, et al.
Published: (1995)

An Interactive Cooperative Teleworking Environment Telemathea C.T.I. Technical Report TR 97.1.4 C.T.I. Technical Report TR 97.7.29 C.T.I. Technical Report TR 95.11.38
by: Καπούλας, Βαγγέλης, et al.
Published: (1997)

Simultaneous Possession of Resourses: an Analytical Approach C.T.I. Technical Reports TR. 87.06.17
by: Γαροφαλάκης, Γιάννης, et al.
Published: (1987)

On the number of edge disjoint paths C.T.I. [Technical Reports] TR. 97.11.43 C.T.I. [Technical Reports] TR. 97.11.41
by: Νικολετσέας, Σωτήρης, et al.
Published: (1997)

Communicating in Software Engineering Environments: the Graspin paradigm C.T.I. Technical Report TR 91.06.17
by: Γαβιώτης, Ιωάννης, et al.
Published: (1991)

Modeling and design of a Virtual Authoring Environment C.T.I. Technical Report TR 93.04.17
by: Καμέας, Αχιλλέας, et al.
Published: (1993)

A Fast Spatiotemporal Technique for Adaptive Beamforming C.T.I. Technical Reports TR. 96.6.17
by: Μουστακίδης, Γεώργιος, et al.
Published: (1996)

Evaluation of Data Modeling Methods for Geographic Application C.T.I. Technical Report TR. 97.03.17
by: Τρύφωνα, Νεκταρία, et al.
Published: (1997)

Some new Results on Intersection Query Problems C.T.I. Technical Reports TR 96.6.20 C.T.I. Technical Reports TR 95.11.36
by: Κίτσιος, Ν., et al.
Published: (1996)

Fast piercing of iso-oriented planar rectangles C.T.I. Technical Report TR. 97.2.12 C.T.I. Technical Report TR. 97.8.32
by: Μακρής, Χρήστος, et al.
Published: (1997)

The Recphone [C.T.I. Technical Report] TR 91.01.4 Part of TELEMED/RACE Project
by: Βασίλογλου, Παναγιώτης, et al.
Published: (1991)

On the second eigenvalue of random regular graphs with edge faults C.T.I. Technical Report TR 94.03.17
by: Νικολετσέας, Σωτήρης, et al.
Published: (1994)

Efficient Distibuted Algorithms by Using the Archimedean Time Assumption. C.T.I. Technical Reports TR. 87.08.27 C.T.I. Technical Reports TR. 87.08.31
by: Σπυράκης, Παύλος Γ., et al.
Published: (1987)

The Effect of Imperfect Clock Synchronization on Distibuted Timestamp Ordering [C.T.I. Technical Reports] TR. 90.05.13 C.T.I. Technical Reports TR. 90.10.28
by: Μπούρας, Χρήστος Ι., et al.
Published: (1990)

Parallel Graph Decomposition Techniques with Applications to Shortest Paths Problems C.T.I. Technical Report TR 93.02.8
by: Ζαρολιάγκης, Χρήστος, et al.
Published: (1993)

Detection of Localities in Setl Programs CTI Technical Reports TR. 87.06.14
by: Σπυράκης, Παύλος Γ., et al.
Published: (1987)

Integrated Systems Complexity. [C.T.I. Technical Reports] TR 87.11.35
by: Δορίζας, Γεώργιος, et al.
Published: (1987)

Fast Soliton Automata. C.T.I. Technical Report TR. 89.05.89
by: Παπαθεοδώρου, Θεόδωρος Π., et al.
Published: (1989)

The Specification of Data Abstractions [C.T.I.] Technical Report TR. 89.10.99
by: Βεντούρης, Κ., et al.
Published: (1989)

Spiral Storage With Separators [C.T.I. Technical Reports] TR. 90.04.08
by: Μήτσος, Βασίλης, et al.
Published: (1990)

The structure of sets in P C.T.I. Technical Report TR. 90.04.11
by: Serna, Maria, 1959-, et al.
Published: (1990)

On point and segment enclosures C.T.I. Technical Report TR. 90.06.18
by: Μπιστιόλας, Βαγγέλης, et al.
Published: (1990)

Computing Rectangle Enclosures [C.T.I. Technical Report] TR. 90.12.36
by: Μπιστιόλας, Βαγγέλης, et al.
Published: (1990)

On the Polygon Retrieval Problem C.T.I. Technical Report TR 91.09.23
by: Μπιστιόλας, Βαγγέλης, et al.
Published: (1991)

Requirements for Distributed Hypermedia C.T.I. Technical Report TR 93.01.4
by: Γαβιώτης, Ιωάννης, et al.
Published: (1993)

Βιβλιοθήκη & Κέντρο Πληροφόρησης | Πανεπιστήμιο Πατρών

Cannot write session to /tmp/vufind_sessions/sess_4cccbs7gqklug038tr5e9ir5ac