scientific article; zbMATH DE number 2061708
From MaRDI portal
Publication:4457455
zbMath1040.03009MaRDI QIDQ4457455
Publication date: 22 March 2004
Full work available at URL: http://link.springer.de/link/service/series/0558/bibs/2701/27010153.htm
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Undecidability and degrees of sets of sentences (03D35) Turing machines and related notions (03D10) Combinatory logic and lambda calculus (03B40)
Related Items (2)
Regular matching and inclusion on compressed tree patterns with constrained context variables ⋮ Model-Checking Games for Typed λ-Calculi
This page was built for publication:
