Operators on lattices of ω-Herbrand interpretations

Logical Foundations of Computer Science — Tver '92 - Lecture Notes in Computer Science ◽

10.1007/bfb0023889 ◽

1992 ◽

pp. 358-369 ◽

Cited By ~ 1

Author(s):

Jan A. Plaza

Download Full-text