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
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