scientific article; zbMATH DE number 3483535

MaRDI QIDQ4066560zbMATH OpenFDO

Authors Louis Nolin, Gilles Ruggiu

Publication date 1973

Mathematics Subject Classification ID

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

Cited in

(6)

• Fundamental properties of infinite trees
• Étude et implémentation d'un système de déduction pour logique algorithmique
• scientific article; zbMATH DE number 3688675 (Why is no real title available?)
• scientific article; zbMATH DE number 3551854 (Why is no real title available?)
• scientific article; zbMATH DE number 3558921 (Why is no real title available?)
• scientific article; zbMATH DE number 3605901 (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 Q4066560)