Logic programming revisited: logic programs as inductive definitions (2001)
Cached
Download Links
- [www.cs.uky.edu]
- [www.cs.engr.uky.edu]
- [www.cs.kuleuven.be]
- [www.cs.kuleuven.ac.be]
- DBLP
Other Repositories/Bibliography
by
Marc Denecker
,
Maurice Bruynooghe
,
Victor Marek
| Venue: | ACM Transactions on Computational Logic |
| Citations: | 33 - 20 self |
Document Versions
| Logic programming revisited: logic programs as inductive definitions –Marc Denecker, Maurice Bruynooghe, Victor Marek — 2001 — ACM Transactions on Computational Logic |
| Logic programming revisited: logic programs as inductive definitions –Marc Denecker, Maurice Bruynooghe, Victor Marek — 2001 — ACM Transactions on Computational Logic |
| Logic Programming Revisited: Logic Programs as Inductive Definitions –Marc Denecker, Maurice Bruynooghe, Victor Marek — 2001 — ACM Transactions on Computational Logic |
