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)
00B15: Collections of articles of miscellaneous specific interest
68-06: Proceedings, conferences, collections, etc. pertaining to computer science
Related Items
The forth part of the back and forth map in countable homogeneous structures, Foundations of BQO Theory, A General Framework for Priority Arguments, Ranked structures and arithmetic transfinite recursion, Reverse mathematics, well-quasi-orders, and Noetherian spaces, Computability of countable subshifts in one dimension