Constructive decision via redundancy-free proof-search
type: Item
instance of: scholarly article
title: Constructive decision via redundancy-free proof-search
zbMATH Open document ID: 1468.03014
DOI: 10.1007/978-3-319-94205-6_28
author: Dominique Larchey-Wendling
published in: Automated Reasoning
publication date: 2018-10-18T00:00:00Z
Mathematics Subject Classification ID: 03B35
Mathematics Subject Classification ID: 03B25
Mathematics Subject Classification ID: 03B47
Mathematics Subject Classification ID: 03F03
Mathematics Subject Classification ID: 68V20
zbMATH DE Number: 6958114
zbMATH Keywords: constructive decidability
zbMATH Keywords: relevance logic
zbMATH Keywords: redundancy-free proof-search
zbMATH Keywords: almost full relations
describes a project that uses: Coq
MaRDI profile type: MaRDI publication profile
full work available at URL: 978-3-319-94205-6 28
OpenAlex ID: W2811017412
Recommended article: Constructive decision via redundancy-free proof-search
Recommended article: Q4934557
Recommended article: Formal Methods for Hardware Verification
Recommended article: Q4992896
Recommended article: A constructive investigation of satisfiability
Recommended article: Q4829322
Recommended article: Proof search algorithm in pure logical framework
Recommended article: Building Decision Procedures in the Calculus of Inductive Constructions
Recommended article: Proof optimization for partial redundancy elimination
Recommended article: Q3758805
description: scientific article; zbMATH DE number 6958114