1768 search results - page 24 / 354 » A Logic for Algebraic Effects |
ACS
2006
13 years 8 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 5 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 20 days 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 27 days 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...
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 ...