4370 search results - page 158 / 874 » Algebra of Logic Programming |
CADE
2004
Springer
14 years 11 months ago
2004
Springer
Abstract. Classifying finite algebraic structures has been a major motivation behind much research in pure mathematics. Automated techniques have aided in this process, but this ha...
TCS
2002
13 years 10 months ago
2002
The Common Algebraic Specification Language Casl is an expressive language for the formal specification of functional requirements and modular design of software. It has been desi...
SMALLTALK
2007
Springer
14 years 4 months ago
2007
Springer
AMAST
2000
Springer
14 years 3 months ago
2000
Springer
Abstract. Algebraic compilers provide a powerful and convenient mechanism for specifying language translators. With each source language operation one associates a computation for ...
FUIN
2006
13 years 10 months ago
2006
Formal concept analysis has grown from a new branch of the mathematical field of lattice theory to a widely recognized tool in Computer Science and elsewhere. In order to fully be...