5510 search results - page 107 / 1102 » Mathematics |
133
Voted
LICS
1997
IEEE
15 years 7 months ago
1997
IEEE
We present a categorical theory of ‘well-behaved’ operational semantics which aims at complementing the established theory of domains and denotational semantics to form a cohe...
109
Voted
ISPD
1997
ACM
15 years 7 months ago
1997
ACM
105
Voted
HICSS
1994
IEEE
15 years 7 months ago
1994
IEEE
91
Voted
IFIP
1994
Springer
15 years 7 months ago
1994
Springer
104
Voted
KGC
1993
Springer
15 years 7 months ago
1993
Springer
We provide a logical speci cation of set predicates ndall and bagof of Prolog. The speci cation is given in proof theoretic terms, and pertains to any SLD resolution based language...