Pages that link to "Item:Q1320416"
From MaRDI portal
The following pages link to Logic, language and computation. Festschrift in Honor of Satoru Takasu (Q1320416):
Displayed 7 items.
- Set systems: order types, continuous nondeterministic deformations, and quasi-orders (Q653312) (← links)
- A first order logic of effects (Q1390955) (← links)
- Mind change complexity of inferring unbounded unions of restricted pattern languages from positive data (Q2268856) (← links)
- Higman’s Lemma and Its Computational Content (Q3305561) (← links)
- An insider's look at LF type reconstruction: everything you (n)ever wanted to know (Q4912883) (← links)
- A MATHEMATICAL COMMITMENT WITHOUT COMPUTATIONAL STRENGTH (Q5046601) (← links)
- Two applications of analytic functors (Q5958294) (← links)