Linear ordering on graphs, anti-founded sets and polynomial time computability

Δ: 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

Using Agents for Concurrent Querying of Web-Like Databases via a Hyper-Set-Theoretic Approach

PSI '02 Revised Papers from the 4th International Andrei Ershov Memorial Conference on Perspectives of System Informatics: Akademgorodok, Novosibirsk, Russia

Partial Evaluations in a Set-Theoretic Query Language for the WWW

FoIKS '00 Proceedings of the First International Symposium on Foundations of Information and Knowledge Systems

Gibsonian Affordances for Roboticists

Adaptive Behavior - Animals, Animats, Software Agents, Robots, Adaptive Systems

Hyperset Approach to Semi-structured Databases

BNCOD 26 Proceedings of the 26th British National Conference on Databases: Dataspace: The Final Frontier

Set graphs. I. Hereditarily finite sets and extensional acyclic orientations

Discrete Applied Mathematics