3624 search results - page 78 / 725 » Abstract Algebraic Logic |
129
click to vote
ICCSA
2007
Springer
15 years 10 months ago
2007
Springer
Abstract. Relational algebra is one of the main topics covered in undergraduate computer science database courses. In this paper, we present a web-based tool designed to automatica...
152
click to vote
JLP
2006
15 years 4 months ago
2006
We introduce CoCasl as a light-weight but expressive coalgebraic extension of the algebraic specification language Casl. CoCasl allows the nested combination of algebraic datatype...
145
click to vote
AIML
2008
15 years 5 months ago
2008
Labelled tableaux are extensions of semantic tableaux with annotations (labels, indices) whose main function is to enrich the modal object language with semantic elements. This pap...
228
click to vote
FSTTCS
2010
Springer
15 years 1 months ago
2010
Springer
We study (collapsible) higher-order pushdown systems -- theoretically robust and well-studied models of higher-order programs -- along with their natural subclass called (collapsi...
156
click to vote
CIRA
2007
IEEE
15 years 10 months ago
2007
IEEE
—To enable effective human-agent collaboration, new human-centric computing paradigms are needed. This paper presents a soft constraint representation scheme based on generalized...