Implicit resolution
type: Item
instance of: scholarly article
zbMATH Open document ID: 1297.03029
DOI: 10.2168/LMCS-9(4:7)2013
author: Zi Chao Wang
published in: Logical Methods in Computer Science
publication date: 2013-10-16T00:00:00Z
full work available at URL: https://arxiv.org/abs/1308.5608
Mathematics Subject Classification ID: 03F20
zbMATH DE Number: 6215588
zbMATH Keywords: implicit proofs
zbMATH Keywords: resolution
zbMATH Keywords: Extended Frege
MaRDI profile type: Publication
arXiv ID: 1308.5608
title: Implicit resolution
description: scientific article; zbMATH DE number 6215588