4370 search results - page 172 / 874 » Algebra of Logic Programming |
ICLP
2007
Springer
14 years 4 months ago
2007
Springer
ICLP
2005
Springer
14 years 4 months ago
2005
Springer
ICLP
2005
Springer
14 years 4 months ago
2005
Springer
ICALP
2010
Springer
14 years 3 months ago
2010
Springer
Abstract. We prove a new congruence result for the π-calculus: bisimilarity is a congruence in the sub-calculus that does not include restriction nor sum, and features top-level r...
CTCS
1989
Springer
14 years 2 months ago
1989
Springer
We combine the principles of the Floyd-Warshall-Kleene algorithm, enriched categories, and Birkhoff arithmetic, to yield a useful class of algebras of transitive vertex-labeled s...