Searching for "Higher-Order Computational Logic." – sorted by Relevance.
-
Higher-order Computational Logic
- Higher-order Computational Logic J.W. Lloyd Computer Sciences Laboratory Research School
- Cited by 1 (0 self) – Add To MetaCart
-
Toward a General Theory of Computation and Specification over Abstract Data Types
- ] for background material on algebra. Higher-order computation and logic over a structure A can be represented
- Cited by 2 (0 self) – Add To MetaCart
-
Thémis: A Database Programming Language Handling Integrity Constraints
- . The system uses a mechanical theorem prover in higher order computational logic to build a formal theory
- Cited by 22 (11 self) – Add To MetaCart
-
Integrity constraint checking optimization based on abstract databases generation and program analisys
- formal proof of the property. The system uses a mechanical theorem prover in higher order computational
- Cited by 2 (2 self) – Add To MetaCart

