On the decidability of equational theories of varieties of rings

V. Yu. Popov

doi:10.1007/bf02312771

On the decidability of equational theories of varieties of rings

Mathematical Notes ◽

10.1007/bf02312771 ◽

1998 ◽

Vol 63 (6) ◽

pp. 770-776 ◽

Cited By ~ 1

Author(s):

V. Yu. Popov

Keyword(s):

Equational Theories

Theories with equational forking

Journal of Symbolic Logic ◽

10.2178/jsl/1190150047 ◽

2002 ◽

Vol 67 (1) ◽

pp. 326-340 ◽

Cited By ~ 1

Author(s):

Markus Junker ◽

Ingo Kraus

Keyword(s):

Symmetric Relation ◽

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.

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

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

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

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

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

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

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

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

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