3470 search results - page 37 / 694 » Head-Elementary-Set-Free Logic Programs |
CORR
2008
Springer
13 years 10 months ago
2008
Springer
er presents an abstraction of Hoare logic to traced symmetric monoidal categories, a eral framework for the theory of systems. Our abstraction is based on a traced monoidal functor...
ICCL
1998
IEEE
14 years 2 months ago
1998
IEEE
PPDP
1999
Springer
14 years 2 months ago
1999
Springer
IFIP
1994
Springer
14 years 2 months ago
1994
Springer
POPL
1994
ACM
14 years 2 months ago
1994
ACM
