1916 search results - page 11 / 384 » Reasoning with class algebra |
KR
1994
Springer
14 years 1 months ago
1994
Springer
DLOG
2004
13 years 11 months ago
2004
ECSQARU
2011
Springer
13 years 1 months ago
2011
Springer
LICS
1990
IEEE
14 years 1 months ago
1990
IEEE
In the paper "Extensional PERs" by P. Freyd, P. Mulry, G. Rosolini and D. Scott, a category C of "pointed complete extensional PERs" and computable maps is int...
CSL
1997
Springer
14 years 2 months ago
1997
Springer
We present a complete axiomatization of test algebra ( 24, 18, 29]), the two-sorted algebraic variant of Propositional Dynamic Logic (PDL, 21, 7]). The axiomatization consists of ...