Logical and computational invariants of programs

Extensions of Logic Programming - Lecture Notes in Computer Science ◽

10.1007/bfb0013608 ◽

2005 ◽

pp. 181-191

Author(s):

Lars Hallnäs

Download Full-text