scientific article; zbMATH DE number 1414280

zbMath0941.03535MaRDI QIDQ4942617

Jörg Würtz, Jean-Christophe Routier, Patrick Lebègue, Philippe Devienne

Publication date: 16 March 2000

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

zbMATH Keywords

Turing machinesdeclarative programmingrecursive programscomputable functionconjunctive formulasequivalent of the Böhm-Jacopini theorem

Mathematics Subject Classification ID

Logic in computer science (03B70) Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30) Turing machines and related notions (03D10)

Related Items

Primal grammars and unification modulo a binary clause, Thue trees