Oracle semantics for Prologa

Algebraic and Logic Programming - Lecture Notes in Computer Science ◽

10.1007/bfb0013822 ◽

2005 ◽

pp. 100-114 ◽

Cited By ~ 2

Author(s):

Roberto Barbuti ◽

Michael Codish ◽

Roberto Giacobazzi ◽

Michael Maher

Download Full-text