Sequences, datalog, and transducers
From MaRDI portal
Publication:1278034
DOI10.1006/jcss.1998.1562zbMath0917.68053MaRDI QIDQ1278034
Anthony J. Bonner, Giansalvatore Mecca
Publication date: 8 August 1999
Published in: Journal of Computer and System Sciences (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1006/jcss.1998.1562
68P15: Database theory
Related Items
Uses Software
Cites Work
- Hypothetical datalog: Complexity and expressibility
- A new recursion-theoretic characterization of the polytime functions
- LOGIDATA+: deductive databases with complex objects
- A lattice-theoretical fixpoint theorem and its applications
- Temporal logic can be more expressive
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item