Δ: Set-theoretic query language capturing LOGSPACE
Annals of Mathematics and Artificial Intelligence
Capturing LOGSPACE over Hereditarily-Finite Sets
FoIKS '00 Proceedings of the First International Symposium on Foundations of Information and Knowledge Systems
Structural recursion on ordered trees and list-based complex objects
ICDT'07 Proceedings of the 11th international conference on Database Theory
Hi-index | 5.23 |