✦ LIBER ✦

Deciding the word problem in pure double Boolean algebras

✍ Scribed by Philippe Balbiani

Book ID: 118461174
Publisher: Elsevier Science
Year: 2012
Tongue: English
Weight: 275 KB
Volume: 10
Category: Article
ISSN: 1570-8683
DOI: 10.1016/j.jal.2012.04.003

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

Deciding the Word Problem in the Union o

Deciding the Word Problem in the Union of Equational Theories

✍ Franz Baader; Cesare Tinelli 📂 Article 📅 2002 🏛 Elsevier Science 🌐 English ⚖ 368 KB

On the boolean minimal realization probl

On the boolean minimal realization problem in the max-plus algebra

✍ Bart De Schutter; Vincent Blondel; Remco de Vries; Bart De Moor 📂 Article 📅 1998 🏛 Elsevier Science 🌐 English ⚖ 127 KB

One of the open problems in the max-plus-algebraic system theory for discrete event systems is the minimal realization problem. In this paper we present some results in connection with the minimal realization problem in the max-plus algebra. First we characterize the minimal system order of a max-li

On the communication complexity oft-inte

On the communication complexity oft-intersection problems in generalized Boolean algebras

✍ Ulrich Faigle; Walter Kern; Boris Spieker 📂 Article 📅 1996 🏛 Springer 🌐 English ⚖ 577 KB

On the problem of deciding equality in p

On the problem of deciding equality in partial combinatory algebras and in a formal system

✍ Giuseppa Longo 📂 Article 📅 1976 🏛 Springer Netherlands 🌐 English ⚖ 670 KB

To the problem of expressibility in the

To the problem of expressibility in the algebra of partial Boolean functions

✍ V. V. Tarasov 📂 Article 📅 2005 🏛 SP MAIK Nauka/Interperiodica 🌐 English ⚖ 109 KB

Decidability of the word problem in Yama

Decidability of the word problem in Yamamura’s HNN extensions of finite inverse semigroups

✍ Emanuele Rodaro; Alessandra Cherubini 📂 Article 📅 2008 🏛 Springer 🌐 English ⚖ 491 KB