3624 search results - page 40 / 725 » Abstract Algebraic Logic |
100
click to vote
CORR
2007
Springer
15 years 1 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 ...
122
click to vote
IJAC
2010
14 years 11 months ago
2010
We give an algebraic characterization of the tree languages that are defined by logical formulas using certain Lindstr
192
Voted
POPL
2008
ACM
16 years 2 months ago
2008
ACM
135
click to vote
IPPS
1997
IEEE
15 years 6 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...