On the Satisfiability of Temporal Logics with Concrete Domains

Aus International Center for Computational Logic
Wechseln zu:Navigation, Suche
Toggle side column

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
@phdthesis{C2015,
  author = {Claudia Carapelle},
  title  = {On the Satisfiability of Temporal Logics with Concrete Domains},
  school = {Universit{\"{a}}t Leipzig},
  year   = {2015}
}