Development systems with finite axiom sets
From MaRDI portal
Publication:4093011
DOI10.1080/00207167408803080zbMath0327.68069OpenAlexW1523467507WikidataQ114643086 ScholiaQ114643086MaRDI QIDQ4093011
No author found.
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
Related Items (3)
Processus de naissance avec interaction des voisins, évolution de graphes ⋮ Two non-closure results on families ofL languages ⋮ Unnamed Item
Cites Work
This page was built for publication: Development systems with finite axiom sets