View in EDS HTML Full Text PDF Full Text

Programming and verifying a declarative first-order prover in Isabelle/HOL.

Saved in:
Bibliographic Details
Title: Programming and verifying a declarative first-order prover in Isabelle/HOL.
Authors: Jensen, Alexander Birch1, aleje@dtu.dk, Larsen, John Bruntse1, Schlichtkrull, Anders1, Villadsen, Jørgen1, jovi@dtu.dk, Fontaine, Kaliszyk, Schulz, Urban
Source: AI Communications; 2018, Vol. 31 Issue 3, p281-299, 19p
Database: Applied Science & Technology Source
Full text is not displayed to guests.
Description
ISSN:09217126
DOI:10.3233/AIC-180764