Finite constants: characterizations of a new decidable set of constants

Theoretical Computer Science - Tập 80 - Trang 303-318 - 1991
Bernhard Steffen1
1Laboratory for Foundations of Computer Science, University of Edinburgh UK

Tài liệu tham khảo