scientific article
From MaRDI portal
Publication:3472084
zbMath0696.03014MaRDI QIDQ3472084
D. I. Sviridenko, Sergei S. Goncharov
Publication date: 1987
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Logic in computer science (03B70) Automata and formal grammars in connection with logical questions (03D05) Algebraic theory of languages and automata (68Q70) Specification and verification (program logics, model checking, etc.) (68Q60) Mechanization of proofs and logical operations (03B35)
Related Items (4)
On the complexity of formulas in semantic programming ⋮ Conditional terms in semantic programming ⋮ Recursive terms in semantic programming ⋮ On termination of transactions over semantic document models
This page was built for publication:
