4370 search results - page 45 / 874 » Algebra of Logic Programming |
CORR
2007
Springer
15 years 21 days 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 ...
93
Voted
ACS
2006
15 years 23 days 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
115
Voted
IJAC
2010
14 years 10 months ago
2010
We give an algebraic characterization of the tree languages that are defined by logical formulas using certain Lindstr
123
click to vote
IPPS
1997
IEEE
15 years 4 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...
111
Voted
LFCS
2009
Springer
15 years 7 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 ...