Explicit substitutions/
Other Authors: | Abadi, Martin |
---|---|
Format: | Book |
Language: | English |
Published: |
California:
Digital Systems Research Center,
c1990
|
Series: | Digital Systems Research Center reports ;
54 |
Subjects: |
Similar Items
-
Logic programming : formal methods and practical applications /
Published: (1995) -
Temporal logic of programs /
by: Kröger, Fred, 1945-
Published: (1987) -
Temporal logic : mathematical foundations and computational aspects /
by: Gabbay, Dov M., 1945-
Published: (1994) -
Logic for applications
by: Nerode, Anil
Published: (1997) -
Solving higher-order equations :from logic to programming /
by: Prehofer, Christian 1967-
Published: (1998)