Old Web
English
Sign In
Acemap
>
Paper
>
Operational Techniques in PVS - A Preliminary Evaluation
Operational Techniques in PVS - A Preliminary Evaluation
2001
Jonathan M. Ford
Ian A. Mason
Keywords:
Abstract data type
Discrete mathematics
Operational semantics
Lambda calculus
Algorithm
Automated theorem proving
Mathematics
Correction
Cite
Save
Machine Reading By IdeaReader
17
References
8
Citations
NaN
KQI
[]