KIT | KIT-Bibliothek | Impressum | Datenschutz

Translating the object constraint language into first-order predicate logic

Beckert, Bernhard; Keller, U.; Schmitt, Peter H.



Zugehörige Institution(en) am KIT Institut für Logik, Komplexität und Deduktionssysteme (ILKD)
Publikationstyp Buchaufsatz
Jahr 2002
Sprache Englisch
Identifikator KITopen-ID: 34292002
Erscheinungsvermerk In: Proceedings of VERIFY Workshop at Federated Logic Conferences (FLoC), Copenhagen, Denmark 2002. Ed.: S. Autexier. S. 113-123.
KIT – Die Forschungsuniversität in der Helmholtz-Gemeinschaft
KITopen Landing Page