On a complexity of the formula \((A\bigvee B) \Rightarrow C\)
type: Item
instance of: scholarly article
title: On a complexity of the formula \((A\bigvee B) \Rightarrow C\)
zbMATH Open document ID: 0912.68078
DOI: 10.1016/S0304-3975(98)00074-7
published in: Theoretical Computer Science
publication date: 1999-01-12T00:00:00Z
Mathematics Subject Classification ID: 68Q30
zbMATH DE Number: 1238748
zbMATH Keywords: algorithmic information theory
zbMATH Keywords: complexity of formulae
zbMATH Keywords: game approach
author: Konstantin Yu. Gorbunov
MaRDI profile type: Publication
cites work: Thermodynamics of computation and information distance
cites work: Q3749046
full work available at URL: s0304-3975(98)00074-7
OpenAlex ID: W2143728000
description: scientific article; zbMATH DE number 1238748