Monadic Elementary Formal Systems
From MaRDI portal
Cited in
(31)- Super-exponentials nonprimitive recursive, but rudimentary
- Some general incompleteness results for partial correctness logics
- Learning elementary formal systems
- How complicated is the set of stable models of a recursive logic program?
- On the power of inductive inference from good examples
- On parallel hierarchies and R_k^i
- Deterministic summation modulo \(\mathcal B_{n}\), the semigroup of binary relations on \(0,1, \dots, n-1\)
- Mind change complexity of learning logic programs
- Hypothesis finding based on upward refinement of residue hypotheses.
- Learning elementary formal systems with queries.
- Advanced elementary formal systems.
- Refutable language learning with a neighbor system.
- The origins of structural operational semantics
- Twenty years of rewriting logic
- R.e. Prime powers and total rigidity
- Duality, non-standard elements, and dynamic properties of r.e. sets
- Generating languages by a derivation procedure for elementary formal systems
- A Characterisation of the Relations Definable in Presburger Arithmetic
- The generalized Nagell-Ljunggren problem: powers with repetitive representations
- Inductive inference of unbounded unions of pattern languages from positive data
- Injecting inconsistencies into models of PA
- Multiple splicing systems and the universal computability
- Logical string rewriting
- Synthesizing learners tolerating computable noisy data
- Closedness properties in ex-identification
- Towards a mathematical theory of machine discovery from facts
- Functional interpretations of feasibly constructive arithmetic
- Complete 3-term arithmetic progression free sets of small size in vector spaces and other abelian groups
- On the power of probabilistic strategies in inductive inference
- Learning of erasing primitive formal systems from positive examples
- Reflection in membership equational logic, many-sorted equational logic, Horn logic with equality, and rewriting logic
This page was built for publication: Monadic Elementary Formal Systems
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5622168)
