scientific article
From MaRDI portal
Publication:2778825
zbMath0981.03012MaRDI QIDQ2778825
Paweł Urzyczyn, Damian Niwinski, Teodor Knapik
Publication date: 21 March 2002
Full work available at URL: http://link.springer.de/link/service/series/0558/bibs/2044/20440253
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Decidability of theories and sets of sentences (03B25) Grammars and rewriting systems (68Q42) Combinatory logic and lambda calculus (03B40)
Related Items (5)
Cost Automata, Safe Schemes, and Downward Closures ⋮ Unnamed Item ⋮ Unnamed Item ⋮ Streett Automata Model Checking of Higher-Order Recursion Schemes ⋮ The evaluation of first-order substitution is monadic second-order compatible
This page was built for publication:
