scientific article; zbMATH DE number 3589705

MaRDI QIDQ4157924zbMATH OpenFDO

Authors André Arnold

Publication date 1978

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

Mathematics Subject Classification ID

General topics in the theory of software (68N01) Formal languages and automata (68Q45)

Cites work

• A generalized approach to formal languages
• Call-by-name, call-by-value and the \(\lambda\)-calculus
• Fixpoint approach to the theory of computation
• scientific article; zbMATH DE number 3540387 (Why is no real title available?)
• scientific article; zbMATH DE number 3567992 (Why is no real title available?)
• scientific article; zbMATH DE number 3567994 (Why is no real title available?)
• scientific article; zbMATH DE number 3576674 (Why is no real title available?)
• scientific article; zbMATH DE number 3322506 (Why is no real title available?)
• Least fixed points revisited

Cited in

(2)

• Comparaison et équivalence de sémantiques pour les schémas de programmes non déterministes
• scientific article; zbMATH DE number 3609101 (Why is no real title available?)

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 Q4157924)