Unsolvable problems for equational theories.

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

Unsolved and Unsolvable Problems in Geometry

The Mathematical Gazette ◽

10.2307/3613638 ◽

1967 ◽

Vol 51 (375) ◽

pp. 63

Author(s):

E. J. F. Primrose ◽

H. Meschkowski

Keyword(s):

Unsolvable Problems

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

A comparison of egotism, negativity, and learned helplessness as explanations for poor performance after unsolvable problems.

Journal of Personality and Social Psychology ◽

10.1037/0022-3514.40.1.24 ◽

1981 ◽

Vol 40 (1) ◽

pp. 24-30 ◽

Cited By ~ 41

Author(s):

Melvin L. Snyder ◽

Bruce Smoller ◽

Angelo Strenta ◽

Arthur Frankel

Keyword(s):

Learned Helplessness ◽

Poor Performance ◽

Unsolvable Problems

Download Full-text

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

Czechoslovak Mathematical Journal ◽

10.21136/cmj.1982.101790 ◽

1982 ◽

Vol 32 (1) ◽

pp. 129-164

Author(s):

Jaroslav Ježek

Keyword(s):

Equational Theories

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