scientific article; zbMATH DE number 3514943

MaRDI QIDQ4094351zbMATH OpenFDO

Authors Paul Feautrier

Publication date 1975

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

Mathematics Subject Classification ID

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

Cites work

• An axiomatic basis for computer programming
• An axiomatic definition of the programming language Pascal
• Combinatory logic. With two sections by William Craig.
• Formal Reductions of the General Combinatorial Decision Problem
• scientific article; zbMATH DE number 3485162 (Why is no real title available?)
• scientific article; zbMATH DE number 3261581 (Why is no real title available?)
• scientific article; zbMATH DE number 3302923 (Why is no real title available?)
• scientific article; zbMATH DE number 3346088 (Why is no real title available?)
• scientific article; zbMATH DE number 3410595 (Why is no real title available?)
• scientific article; zbMATH DE number 3062117 (Why is no real title available?)
• Production systems
• Semantics of context-free languages

This page was built for publication:

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4094351)