Optimization of Systems of Algebraic Equations for Evaluating Datalog Queries
VLDB '87 Proceedings of the 13th International Conference on Very Large Data Bases
The Equational Theory of Fixed Points with Applications to Generalized Language Theory
DLT '01 Revised Papers from the 5th International Conference on Developments in Language Theory
Mathematical Structures in Computer Science
Initial Algebra Semantics for Cyclic Sharing Structures
TLCA '09 Proceedings of the 9th International Conference on Typed Lambda Calculi and Applications
A complete logical system for the equality of recursive terms for sets
Logic and Program Semantics
EQUATIONAL TERM GRAPH REWRITING
Fundamenta Informaticae
Hi-index | 0.00 |