A Counting Logic for Structure Transition Systems
Kaiser, Lukasz; Leßenich, Simon Robert
Saarbrücken/Wadern : Schloss Dagstuhl - Leibniz-Zentrum für Informatik (2012)
Contribution to a book, Contribution to a conference proceedings
In: 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
Page(s)/Article-Nr.: 366-380
Identifier
- URN: urn:nbn:de:0030-drops-36848
- DOI: 10.4230/LIPIcs.CSL.2012.366
- DOI: 10.18154/RWTH-CONV-211658
- RWTH PUBLICATIONS: RWTH-CONV-211658