Carapelle PhDThesis: Unterschied zwischen den Versionen
Aus International Center for Computational Logic
Claudia Carapelle (Diskussion | Beiträge) (Die Seite wurde neu angelegt: „{{Publikation Erster Autor |ErsterAutorVorname=Claudia |ErsterAutorNachname=Carapelle }} {{Phdthesis |Title=On the Satisfiability of Temporal Logics with Concr…“) |
Claudia Carapelle (Diskussion | Beiträge) K (Claudia Carapelle verschob die Seite En nach Carapelle PhDThesis) |
Aktuelle Version vom 21. April 2016, 11:59 Uhr
On the Satisfiability of Temporal Logics with Concrete Domains
Claudia CarapelleClaudia Carapelle
Claudia Carapelle
On the Satisfiability of Temporal Logics with Concrete Domains
Phd thesis, Universität Leipzig, 2015/11/04
On the Satisfiability of Temporal Logics with Concrete Domains
Phd thesis, Universität Leipzig, 2015/11/04
- Projekt:Project: QuantLA
- Forschungsgruppe:Research Group: AutomatentheorieAutomata Theory
@phdthesis{C2015,
author = {Claudia Carapelle},
title = {On the Satisfiability of Temporal Logics with Concrete Domains},
school = {Universit{\"{a}}t Leipzig},
year = {2015}
}
