Local soundness for QBF calculi
type: Item
instance of: scholarly article
title: Local soundness for QBF calculi
DOI: 10.1007/978-3-319-94144-8_14
author: Martin Suda
author: Bernhard Gleiss
publication date: 2018-08-10T00:00:00Z
Mathematics Subject Classification ID: 03B35
zbMATH DE Number: 6916309
MaRDI profile type: Publication
full work available at URL: 978-3-319-94144-8 14
OpenAlex ID: W2810670605
Recommended article: On Local Reasoning in Verification
Recommended article: Local quantifier elimination
Recommended article: A Local System for Intuitionistic Logic
Recommended article: On Stronger Calculi for QBFs
Recommended article: Q4284237
Recommended article: Locally checkable proofs
Recommended article: Note on globally sound analytic calculi for quantifier macros
Recommended article: Local model checking in the modal mu-calculus
Recommended article: Q2958533
description: scientific article; zbMATH DE number 6916309