A Counting Logic for Structure Transition Systems
From MaRDI portal
Publication:4649559
DOI10.4230/LIPIcs.CSL.2012.366zbMath1252.03076OpenAlexW1594689556MaRDI QIDQ4649559
Publication date: 22 November 2012
Full work available at URL: http://frontiersinai.com/turingfiles/September/30.pdf
Logic in computer science (03B70) Specification and verification (program logics, model checking, etc.) (68Q60) Decidability of theories and sets of sentences (03B25)