2152 search results - page 20 / 431 » On Automating the Calculus of Relations |
85
Voted
CSL
1998
Springer
15 years 4 days ago
1998
Springer
ESSLLI
2009
Springer
14 years 10 months ago
2009
Springer
90
Voted
ICLP
2009
Springer
14 years 10 months ago
2009
Springer
93
Voted
DAGSTUHL
2007
15 years 1 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...
91
Voted
MFCS
1993
Springer
15 years 4 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...