On a Resolutiion Theorem for Maximal Models C.T.I Technical Report TR 98.2.4

On a Resolutiion Theorem for Maximal Models C.T.I Technical Report TR 98.2.4

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

Similar Items

On the Maximal Models of Horn Formulas C.T.I. Technical Report TR 98.4.17
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)

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)

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)

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

A Proof of Menger's Theorem C.T.I. Technical Report TR 92.01.1
by: Δενδρής, Νίκος, et al.
Published: (1992)

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

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

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)

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

Hidden Line Elimination in Optimal Space [Technical Report] CTI TR 95.4.11
by: Κίτσιος, Ν., et al.
Published: (1995)

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)

Competitive Call Control in Mobile Networks C.T.I. Technical Report TR 97.4.21
by: Πάντζιου, Γραμματή, et al.
Published: (1997)

Hellenization of the Recommendation X.500 for Directory services [Technical Report] CTI TR 95.4.14
by: Καπούλας, Βαγγέλης, et al.
Published: (1995)

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

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)

Space-Optimal Hidden Line Elimination for Rectangles C.T.I. Technical Reports TR. 96.2.4
by: Κίτσιος, Ν., et al.
Published: (1996)

HELIOS:An Implementation of X.400 supporting Hellenic characters [Technical Report] CTI TR 95.4.12
by: Θεοδωρόπουλος, Βαγγέλης, et al.
Published: (1995)

HIPPOCRATES:A Distance Learning Tool for Medical Personnel [Technical Reports] CTI TR 95.4.15
by: Καπούλας, Βαγγέλης, et al.
Published: (1995)

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)

On Map (Re)classification C.T.I. Technical Reports TR. 96.1.3
by: Δελής, Βασίλης, et al.
Published: (1996)

On the Reliability of Fat-Trees C.T.I. Technical Reports TR. 96.06.18
by: Νικολετσέας, Σωτήρης, et al.
Published: (1996)

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

Randomized adaptive video on demand CTI [Technical Report] TR 95.11.37
by: Καπούλας, Βαγγέλης, et al.
Published: (1995)

Electronic shops'Engineering methodology. CTI Technical Report TR 2000/04/02
Published: (2000)

Watermarking of images in the DLT domain. CTI Technical Report TR 2000/03/02
Published: (2000)

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)

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