Perpetuality and uniform normalization

Algebraic and Logic Programming - Lecture Notes in Computer Science ◽

10.1007/bfb0027014 ◽

1997 ◽

pp. 240-255 ◽

Cited By ~ 4

Author(s):

Zurab Khasidashvili ◽

Mizuhito Ogawa