Equational theories
Equational theories
Equational Theories and Database Constraints - Cosmadakis, Kanellakis ...
The implication problem for database constraints is central in the fields of automated schema design and query optimization and has been traditionally approached with resolution ... (more...)
Conditional equational theories and complete sets of transformations ...
Document details from CiteSeerX (Isaac Councill, Lee Giles): The idea to combine the advantages of function and logic programming has attracted many researches. Their work ranges ... (more...)
Equational Theories with Recursive Types
Under consideration for publication in J. Functional Programming 1 Equational Theories with Recursive Types CHRISTOPHERA. STONE and ANDREW P. SCHOONMAKER Computer Science Dept ... (more...)
Duality and equational theory of regular languages
Duality and equational theory of regular languages Mai Gehrk e *Serge Grigorieff ? Jean-´ Eric Pin ?? To appear in ICALP 2008 This paper presentsanew result in the ... (more...)
Citations: Combination techniques for non-disjoint equational theories ...
Domenjoud E., Klay F. and Ringeissen C. [1994], Combination techniques for non-disjoint equational theories, in A. Bundy, ed., `Proceedings of the 12th International Conference on ... (more...)
Mathematical Structures: Equational theory
The equational theory for the class of all structures of a given language contains only equations of the form t = t. (more...)
Equational Theories for Inductive Types - Loader (ResearchIndex)
This paper provides characterisations of the equational theory of the per model of a typed lambda calculus with inductive types. The characterisation may be cast as a full ... (more...)
Equational theories for inductive types - CiteSeerX
Document details from CiteSeerX (Isaac Councill, Lee Giles): This paper provides characterisations of the equational theory of the per model of a typed lambda calculus with ... (more...)
Citations: Complete sets of reductions for some equational theories ...
Peterson, G.E.; Stickel, M.E.: Complete sets of reductions for some equational theories Journal of the association for computing machinery Vol. 28, No 2, pp 233-264, April 1981 (more...)
Mathematical Structures: Equational theory
The equational theory of a class of structures is the set of universal atomic formulas that hold in all members of the class. For a class of algebras, this is simply the collection ... (more...)
