Translating the object constraint language into first-order predicate logic
Beckert, Bernhard
; Keller, U.; Schmitt, Peter H.
; Keller, U.; Schmitt, Peter H.| Zugehörige Institution(en) am KIT | Fakultät für Informatik – Institut für Logik, Komplexität und Deduktionssysteme (ILKD) |
| Publikationstyp | Buchaufsatz |
| Publikationsjahr | 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. |