The lattice of equational theories. Part III: Definability and automorphisms

AbstractWe show that equational independence in the sense of Srour equals local non-forking. We then examine so-called almost equational theories where equational independence is a symmetric relation.

Download Full-text

Deciding Knowledge in Security Protocols under (Many More) Equational Theories

18th IEEE Computer Security Foundations Workshop (CSFW'05) ◽

10.1109/csfw.2005.14 ◽

2005 ◽

Cited By ~ 9

Author(s):

M. Abadi ◽

V. Cortier

Keyword(s):

Security Protocols ◽

Equational Theories

Download Full-text

Unsolvable problems for equational theories.

Notre Dame Journal of Formal Logic ◽

10.1305/ndjfl/1093956081 ◽

1967 ◽

Vol 8 (3) ◽

pp. 175-185 ◽

Cited By ~ 21

Author(s):

Peter Perkins

Keyword(s):

Equational Theories ◽

Unsolvable Problems

Download Full-text

Conditional equational theories and complete sets of transformations

Theoretical Computer Science ◽

10.1016/0304-3975(90)90063-n ◽

1990 ◽

Vol 75 (1-2) ◽

pp. 85-110 ◽

Cited By ~ 3

Author(s):

Steffen Hölldobler

Keyword(s):

Equational Theories ◽

Complete Sets

Download Full-text

A. Tarski. Equational logic and equational theories of algebras. Contributions to mathematical logic, Proceedings of the Logic Colloquium, Hannover 1966, edited by H. Arnold Schmidt, K. Schütte, and H.-J. Thiele, Studies in logic and the foundations of mathematics, North-Holland Publishing Company, Amsterdam1968, pp. 275–288.

Journal of Symbolic Logic ◽

10.2307/2271553 ◽

1971 ◽

Vol 36 (1) ◽

pp. 161-162

Author(s):

Ralph Seifert

Keyword(s):

Mathematical Logic ◽

Publishing Company ◽

Foundations Of Mathematics ◽

Equational Logic ◽

North Holland Publishing Company ◽

Equational Theories ◽

North Holland Publishing

Download Full-text

Unification in a combination of equational theories: an efficient algorithm

10th International Conference on Automated Deduction - Lecture Notes in Computer Science ◽

10.1007/3-540-52885-7_95 ◽

1990 ◽

pp. 292-307 ◽

Cited By ~ 8

Author(s):

Alexandre Boudet

Keyword(s):

Efficient Algorithm ◽

Equational Theories

Download Full-text

On word problems in equational theories

Automata, Languages and Programming - Lecture Notes in Computer Science ◽

10.1007/3-540-18088-5_6 ◽

1987 ◽

pp. 54-71 ◽

Cited By ~ 63

Author(s):

Jieh Hsiang ◽

Michael Rusinowitch

Keyword(s):

Word Problems ◽

Equational Theories

Download Full-text

Union of Equational Theories: An Algebraic Approach

Lecture Notes in Computer Science - Term Rewriting and Applications ◽

10.1007/978-3-540-32033-3_6 ◽

2005 ◽

pp. 61-73 ◽

Cited By ~ 1

Author(s):

Piotr Hoffman

Keyword(s):

Algebraic Approach ◽

Equational Theories

Download Full-text

Finite model search for equational theories (FMSET)

Artificial Intelligence and Symbolic Computation - Lecture Notes in Computer Science ◽

10.1007/bfb0055904 ◽

1998 ◽

pp. 84-93

Author(s):

Belaid Benhamou ◽

Laurent Henocque

Keyword(s):

Finite Model ◽

Equational Theories ◽

Model Search

Download Full-text