Higher-dimensional word problems with applications to equational logic

In this paper we reduce equational logic to a two-dimensional word problem (Theorem 2.3) and introduce the concept of an n-dimensional word problem for all n∈ N , with an emphasis on geometrical meaning.

Saved in:
Bibliographic Details
Published inTheoretical computer science Vol. 115; no. 1; pp. 43 - 62
Main Author Burroni, Albert
Format Journal Article Conference Proceeding
LanguageEnglish
Published Amsterdam Elsevier B.V 05.07.1993
Elsevier
Subjects
Applied sciences
Artificial intelligence
Computer science; control theory; systems
Exact sciences and technology
Equational logic
Monoid
Combinatorics
Logic
Online AccessGet full text

Cover

More Information
Summary:In this paper we reduce equational logic to a two-dimensional word problem (Theorem 2.3) and introduce the concept of an n-dimensional word problem for all n∈ N , with an emphasis on geometrical meaning.
ISSN:0304-3975
1879-2294
DOI:10.1016/0304-3975(93)90054-W