Logic, language and computation. Festschrift in Honor of Satoru Takasu
From MaRDI portal
Publication:1320416
zbMath0825.00045MaRDI QIDQ1320416
No author found.
Publication date: 21 April 1994
Published in: Lecture Notes in Computer Science (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
A MATHEMATICAL COMMITMENT WITHOUT COMPUTATIONAL STRENGTH ⋮ A first order logic of effects ⋮ Set systems: order types, continuous nondeterministic deformations, and quasi-orders ⋮ Higman’s Lemma and Its Computational Content ⋮ An insider's look at LF type reconstruction: everything you (n)ever wanted to know ⋮ Mind change complexity of inferring unbounded unions of restricted pattern languages from positive data ⋮ Two applications of analytic functors
