Processes, Terms and Cycles: Steps on the Road to Infinity
From MaRDI portal
Publication:5898164
DOI10.1007/11601548zbMath1171.68506OpenAlexW2234185834MaRDI QIDQ5898164
Publication date: 13 November 2006
Published in: Lecture Notes in Computer Science (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/11601548
Semantics in the theory of computing (68Q55) Grammars and rewriting systems (68Q42) Combinatory logic and lambda calculus (03B40)
Related Items (1)
This page was built for publication: Processes, Terms and Cycles: Steps on the Road to Infinity