3566 search results - page 75 / 714 » Signed Logic Programs |
95
Voted
ICCL
1998
IEEE
15 years 7 months ago
1998
IEEE
102
Voted
PPDP
1999
Springer
15 years 7 months ago
1999
Springer
86
Voted
IFIP
1994
Springer
15 years 6 months ago
1994
Springer
104
Voted
POPL
1994
ACM
15 years 6 months ago
1994
ACM
133
Voted
ENTCS
2008
15 years 2 months ago
2008
In this paper, we describe a proof-theoretic foundation for bottom-up logic programming based on uniform proofs in the setting of the logical framework LF. We present a forward un...