scientific article; zbMATH DE number 1876860
From MaRDI portal
Publication:4796537
zbMath1025.03021MaRDI QIDQ4796537
Stéphane P. Demri, Ulrike Sattler
Publication date: 2 June 2003
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Analysis of algorithms and problem complexity (68Q25) Logic in computer science (03B70) 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)
Related Items (1)
This page was built for publication:
