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

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