scientific article; zbMATH DE number 722056
From MaRDI portal
zbMath0939.68707MaRDI QIDQ4322964
Marcos Veloso-Peixoto, Laurent Fribourg
Publication date: 3 July 1995
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Formal languages and automata (68Q45) Modes of computation (nondeterministic, parallel, interactive, probabilistic, etc.) (68Q10) Specification and verification (program logics, model checking, etc.) (68Q60)
Related Items
An automata-theoretic approach to constraint LTL, Bottom-up evaluation of Datalog programs with arithmetic constraints
