MetaCart Sign in to MyCiteSeerX

Documents
Authors
Tables !

Searching for "Higher-Order Computational Logic." – sorted by Relevance.

Order by: Citations | Year (Descending) | Year (Ascending) | Recency

Try your query at: Scholar | Yahoo! | Ask | Bing | CSB

4 documents found, showing 1 through 4.

ATOM

Higher-order Computational Logic
by Lloyd Computer Sciences, J. W. Lloyd — 2002 — Computational Logic: From Logic Programming into the Future
…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
by J.V. Tucker, J. I. Zucker — 1990 — Advances in Computing and Information ICCI '90, International Conference on Computing and Information, Niagara Falls
…] 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
by Vronique Benzaken, Anne Doucet — 1995 — VLDB Journal
…. 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
by V. Benzaken, A. Doucet, X. Schaefer — 1995
… formal proof of the property. The system uses a mechanical theorem prover in higher order computational…
Cited by 2 (2 self) – Add To MetaCart

Showing 1 through 4.

ATOM

Try your query at: Scholar | Yahoo! | Ask | Bing | CSB