Logic implemented functionally

Lecture Notes in Computer Science - Programming Languages: Implementations, Logics, and Programs ◽

10.1007/bfb0033855 ◽

1997 ◽

pp. 351-368

Author(s):

Norbert Eisinger ◽

Tim Geisler ◽

Sven Panne

Download Full-text