Logical methods. In honor of Anil Nerode's 60th birthday
From MaRDI portal
Publication:1345481
zbMath0810.00003MaRDI QIDQ1345481
No author found.
Publication date: 7 March 1995
Published in: Progress in Computer Science and Applied Logic (Search for Journal in Brave)
Collections of articles of miscellaneous specific interest (00B15) Proceedings, conferences, collections, etc. pertaining to computer science (68-06)
Related Items (6)
Reverse mathematics, well-quasi-orders, and Noetherian spaces ⋮ A General Framework for Priority Arguments ⋮ The forth part of the back and forth map in countable homogeneous structures ⋮ Computability of countable subshifts in one dimension ⋮ Ranked structures and arithmetic transfinite recursion ⋮ Foundations of BQO Theory
This page was built for publication: Logical methods. In honor of Anil Nerode's 60th birthday
