Open AccessComputation-as-deduction in Abella: work in progress
Author(s) -
Kaustuv Chaudhuri,
Ulysse Gérard,
Dale Miller
Publication year - 2018
Publication title -
hal (le centre pour la communication scientifique directe)
Language(s) - English
Resource type - Conference proceedings
Subject(s) - automated theorem proving , gas meter prover , computer science , backtracking , computation , theoretical computer science , programming language , relation (database) , proof assistant , mathematics , mathematical proof , geometry , database