532 search results - page 15 / 107 » The Logic of Quasi-MV Algebras |
CORR
2007
Springer
13 years 9 months ago
2007
Springer
The study of finite automata and regular languages is a privileged meeting point of algebra and logic. Since the work of Büchi, regular languages have been classified according ...
ACS
2006
13 years 10 months ago
2006
cal Abstract Algebraic Logic: Leibniz Equality and Homomorphism Theorems George Voutsadakis Received: 24 May 2006 / Accepted: 28 August 2006 / Published online: 25 October 2006
IJAC
2010
13 years 7 months ago
2010
We give an algebraic characterization of the tree languages that are defined by logical formulas using certain Lindstr
IPPS
1997
IEEE
14 years 2 months ago
1997
IEEE
Algebraic factorization is an extremely important part of any logic synthesis system but is computationally expensive. Hence it is important to look at parallel processing to spee...
TACS
2001
Springer
14 years 2 months ago
2001
Springer
We give a logic programming language based on Fiore, Plotkin and Turi’s binding algebras. In this language, we can use not only first-order terms but also terms involving variab...