Coinductive Logic Programming
Lecture notes in computer science2006pp. 330–345
Citations Over TimeTop 10% of 2006 papers
Related Papers
- → A comparative study of two formal semantics of the SIGNAL language(2013)9 cited
- → Operational and denotational semantics of prolog(1987)33 cited
- → Comparative metric semantics for concurrent prolog(1990)17 cited
- An operational semantics of lazy evaluation for analysis(1993)
- Collecting operational abstract interpreters(2020)