Una classe di schemi ricorsivi non-deterministici paralleli

DOI10.1007/BF02575967zbMath0363.68037OpenAlexW2030414514MaRDI QIDQ1240551

K. Appert

Publication date: 1977

Published in: Calcolo (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/bf02575967

Mathematics Subject Classification ID

Formal languages and automata (68Q45) Pattern recognition, speech recognition (68T10) Classical first-order logic (03B10) Recursive functions and relations, subrecursive hierarchies (03D20) General topics in the theory of software (68N01)

Uses Software

• MAGMA-Lisp

Cites Work

• On formalised computer programs
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: Una classe di schemi ricorsivi non-deterministici paralleli