scientific article; zbMATH DE number 3514943

zbMath0328.68005MaRDI QIDQ4094351

Paul Feautrier

Publication date: 1975

Full work available at URL: https://eudml.org/doc/92015

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

Mathematics Subject Classification ID

Formal languages and automata (68Q45) General topics in the theory of software (68N01) Algorithms in computer science (68W99) Thue and Post systems, etc. (03D03)

Cites Work

• Combinatory logic. With two sections by William Craig.
• An axiomatic definition of the programming language Pascal
• Production systems
• Semantics of context-free languages
• An axiomatic basis for computer programming
• Formal Reductions of the General Combinatorial Decision Problem
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: