2152 search results - page 20 / 431 » On Automating the Calculus of Relations |
CSL
1998
Springer
13 years 7 months ago
1998
Springer
ESSLLI
2009
Springer
13 years 5 months ago
2009
Springer
ICLP
2009
Springer
13 years 5 months ago
2009
Springer
DAGSTUHL
2007
13 years 8 months ago
2007
Abstract. This chapter presents a formalization of functional and behavioural requirements, and a refinement of requirements to a design for CoCoME using the Relational Calculus o...
MFCS
1993
Springer
13 years 11 months ago
1993
Springer
We view the Chu space interpretation of linear logic as an alternative interpretation of the language of the Peirce calculus of binary relations. Chu spaces amount to K-valued bin...