Invertible classes
From MaRDI portal
Publication:2382282
DOI10.1016/j.tcs.2007.05.017zbMath1140.03015MaRDI QIDQ2382282
Sanjay Jain, Frank Stephan, Jochen Nessel
Publication date: 28 September 2007
Published in: Theoretical Computer Science (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1016/j.tcs.2007.05.017
03D20: Recursive functions and relations, subrecursive hierarchies
Cites Work
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Comparison of identification criteria for machine inductive inference
- Classical recursion theory. The theory of functions and sets of natural numbers
- Classical recursion theory. The theory of functions and sets of natural numbers.
- How complicated is the set of stable models of a recursive logic program?
- Generalized cohesiveness
- Language identification in the limit
- Note on arithmetic models for consistent formulae of the predicate calculus