KIT | KIT-Bibliothek | Impressum | Datenschutz

Proving the equivalence of microstep and macrostep semantics

Schneider, Klaus



Zugehörige Institution(en) am KIT Institut für Rechnerentwurf und Fehlertoleranz (IRF)
Publikationstyp Buchaufsatz
Jahr 2002
Sprache Englisch
Identifikator KITopen-ID: 33662002
Erscheinungsvermerk In: Theorem proving in higher order logics. TPHOLs 2002. Ed.: V.A. Carreno. Berlin 2002. S. 314-331. (Lecture notes in computer science. 2410.)
KIT – Die Forschungsuniversität in der Helmholtz-Gemeinschaft
KITopen Landing Page