scientific article

DOI10.4230/LIPIcs.FSTTCS.2010.493zbMath1245.03048MaRDI QIDQ2908880

Stefan Schulz

Publication date: 29 August 2012

Full work available at URL: http://subs.emis.de/LIPIcs/frontdoor_27bc.html

Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.

zbMATH Keywords

reachabilityfirst-order logicunfoldinginfinite gridstructure transformationground tree rewritingvertex replacement with product

Mathematics Subject Classification ID

Logic in computer science (03B70) Automata and formal grammars in connection with logical questions (03D05) Decidability of theories and sets of sentences (03B25)

Related Items (1)

First-order Logic with Connectivity Operators

This page was built for publication: