4370 search results - page 45 / 874 » Algebra of Logic Programming |
CORR
2007
Springer
13 years 8 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 9 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 6 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 1 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...
LFCS
2009
Springer
14 years 3 months ago
2009
Springer
In this paper we consider languages of labelled N-free posets over countable and scattered linear orderings. We prove that a language of such posets is series-rational if and only ...