Starten Sie Ihre Suche...


Durch die Nutzung unserer Webseite erklären Sie sich damit einverstanden, dass wir Cookies verwenden. Weitere Informationen

Local Theory Extensions, Hierarchical Reasoning and Applications to Verification.

Deduction and Decision Procedures. 2007

Erscheinungsjahr: 2007

Publikationstyp: Zeitschriftenaufsatz

GeprüftBibliothek

Autoren

Sofronie-Stokkermans, Viorica (Autor)
Ihlemann, Carsten (Autor)
Jacobs, Swen (Autor)

Verknüpfte Personen

Viorica Sofronie-Stokkermans
Viorica Sofronie-Stokkermans

Beteiligte Einrichtungen

Logo Institut für Informatik
Logo Formale Methoden und Theoretische Informatik