Publication:4404860

zbMath0279.02014MaRDI QIDQ4404860

Gilles Ruggiu

Publication date: 1973

Mathematics Subject Classification ID

68Q45: Formal languages and automata

03D05: Automata and formal grammars in connection with logical questions

68N01: General topics in the theory of software

03D99: Computability and recursion theory

03B40: Combinatory logic and lambda calculus

Related Items

Unnamed Item, Unnamed Item