Search alternatives:
"pragmatics" » "pragmatic"
Cover Image
Read Now

1
Published 1994
Springer Berlin Heidelberg
Table of Contents: “... pragmatics in IMPS -- A mechanization of strong Kleene logic for partial functions -- Algebraic factoring...”