Titel

Merkliste
1 Ergebnisse

The Complexity of Analytic Tableaux:

Arai, Noriko H. ; Pitassi, Toniann ; Urquhart, Alasdair
The Journal of Symbolic Logic. 71 (2006) 3 - p. 777-790 , 2006

Link: https://www.jstor.org/stable/27588481

RT Journal
T1 <Title>The Complexity of Analytic Tableaux</Title>

UL https://suche.suub.uni-bremen.de/peid=jstor-27588481&Exemplar=1&LAN=DE
				
A1 Arai, Noriko H.
A1 Pitassi, Toniann
A1 Urquhart, Alasdair
PB Association for Symbolic Logic, Inc.
YR 2006
SN 0022-4812
K1 Arts
K1 Performing arts
K1 Theater
K1 Theater history
K1 Theatrical genres
K1 Tableaux
K1 Social sciences
K1 Communications
K1 Rhetoric
K1 Discourse
K1 Argumentation
K1 Refutation
K1 Philosophy
K1 Logic
K1 Logical proofs
K1 Semantic tableaux
K1 Biological sciences
K1 Biology
K1 Botany
K1 Plant morphology
K1 Plant vegetation
K1 Plant roots
K1 Leaves
K1 Mathematics
K1 Pure mathematics
K1 Algebra
K1 Polynomials
K1 Mathematical analysis
K1 Recursion
K1 Stems
K1 Branches
K1 Logical topics
K1 Formal logic
K1 Mathematical logic
K1 Automated theorem proving
JF The Journal of Symbolic Logic
VO 71
IS 3
SP 777
OP 790
LK http://dx.doi.org/https://www.jstor.org/stable/27588481
DO https://www.jstor.org/stable/27588481
SF ELIB - SuUB Bremen

Export

RefWorks (nur Desktop-Version!)
Flow (Zuerst in Flow einloggen, dann importieren)