Bounded Quantifiers Have Interval Models

Simon Martini. Bounded Quantifiers Have Interval Models. In LISP and Functional Programming. pages 164-173, 1988. [doi]

No reviews for this publication, yet.