Development systems with finite axiom sets

DOI10.1080/00207167408803080MaRDI QIDQ4093011zbMATH OpenOpenAlexWikidataFDO

Authors

Publication date 1974

Published in International Journal of Computer Mathematics (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1080/00207167408803080

Mathematics Subject Classification ID

Formal languages and automata (68Q45)

Cites work

• A note on some systems of lindenmayer
• scientific article; zbMATH DE number 3293666 (Why is no real title available?)
• scientific article; zbMATH DE number 3311755 (Why is no real title available?)
• I. General description and the problem of universal computing ability
• On 0L-Languages

Cited in

(3)

• Processus de naissance avec interaction des voisins, évolution de graphes
• scientific article; zbMATH DE number 3506192 (Why is no real title available?)
• Two non-closure results on families ofL languages

This page was built for publication: Development systems with finite axiom sets

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