A Counting Logic for Structure Transition Systems

Saarbrücken/Wadern / Schloss Dagstuhl - Leibniz-Zentrum für Informatik (2012) [Buchbeitrag, Beitrag zu einem Tagungsband]

Computer Science Logic 2012 : 26th International Workshop, 21th Annual Conference of the EACSL, CSL '12, September 3 - 6, 2012, Fontainebleau, France / ed. by Patrick Cégielski; Arnaud Durand

Autorinnen und Autoren

Ausgewählte Autorinnen und Autoren

Kaiser, Lukasz
Leßenich, Simon Robert

Identifikationsnummern