KIT | KIT-Bibliothek | Impressum | Datenschutz

A first-order simplification rule with constraints

Giese, Martin



Zugehörige Institution(en) am KIT Institut für Logik, Komplexität und Deduktionssysteme (ILKD)
Publikationstyp Buchaufsatz
Jahr 2000
Sprache Englisch
Identifikator KITopen ID: 31252000
Erscheinungsvermerk In: Proceedings of the 3rd International Workshop on First-Order Theorem Proving, FTP, St. Andrews, G.B. 2000. Ed.: P. Baumgartner. S. 113-121.
KIT – Die Forschungsuniversität in der Helmholtz-Gemeinschaft KITopen Landing Page