scientific article
From MaRDI portal
Publication:2737553
zbMath1052.68083MaRDI QIDQ2737553
Publication date: 1999
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Formal languages and automata (68Q45) Automata and formal grammars in connection with logical questions (03D05) Specification and verification (program logics, model checking, etc.) (68Q60) Decidability of theories and sets of sentences (03B25)
This page was built for publication:
