Automated proof construction in type theory using resolution
type: Item
instance of: scholarly article
title: Automated proof construction in type theory using resolution
zbMATH Open document ID: 1015.03018
DOI: 10.1023/A:1021939521172
author: Marc Bezem
author: Dimitri Hendriks
author: Hans de Nivelle
published in: Journal of Automated Reasoning
publication date: 2003-04-27T00:00:00Z
Mathematics Subject Classification ID: 03B35
Mathematics Subject Classification ID: 03B40
zbMATH DE Number: 1901556
zbMATH Keywords: type theory
zbMATH Keywords: proof construction
zbMATH Keywords: resolution theorem proving
zbMATH Keywords: typed lambda calculus
describes a project that uses: Coq
describes a project that uses: OMEGA
describes a project that uses: Bliksem
describes a project that uses: Gandalf
describes a project that uses: Ivy
MaRDI profile type: Publication
full work available at URL: a:1021939521172
OpenAlex ID: W2168281995
description: scientific article; zbMATH DE number 1901556