Help Design Your New ACM Digital Library
We're upgrading the ACM DL, and would like your input. Please sign up to review new features, functionality and page designs.
Leave an email address:
or
Follow @ACMDL
or
[
Not interested
]
SIGN IN
SIGN UP
Check out the beta version of the
next
ACM DL
PX: a computational logic
Authors:
Susumu Hayashi
Kyoto Univ., Kyoto, Japan
Hiroshi Nakano
Kyoto Univ., Kyoto, Japan
Publication:
· Book
PX: a computational logic
MIT Press
Cambridge, MA
, USA
©1988
ISBN:0-262-08174-1
1989 Book
Bibliometrics
· Citation Count: 29
· Downloads (cumulative): n/a
· Downloads (12 Months): n/a
· Downloads (6 Weeks): n/a
Tools and Resources
Save to Binder
Export Formats:
BibTeX
EndNote
ACM Ref
Share:
|
Author Tags
algorithms
design
language types
languages
logic
program reasoning
program semantics
programming logic
theory
verification
Contact Us
|
Switch to
single page view
(no tabs)
**Javascript is not enabled and is required for the "tabbed view" or switch to the
single page view
**
Powered by