11. TABLEAUX 2002:
Copenhagen, Denmark
share record
short URL:
https://dblp.org/rec/conf/tableaux/2002 Uwe Egly ,
Christian G. Fermüller :
Automated Reasoning with Analytic Tableaux and Related Methods, International Conference, TABLEAUX 2002, Copenhagen, Denmark, July 30 - August 1, 2002, Proceedings. Lecture Notes in Computer Science 2381,
Springer 2002 , ISBN
3-540-43929-3
share record
short URL:
https://dblp.org/rec/conf/tableaux/Baaz02 share record
short URL:
https://dblp.org/rec/conf/tableaux/MillerP02
share record
short URL:
https://dblp.org/rec/conf/tableaux/BaazC02 export record
dblp key:
conf/tableaux/BlackburnM02 share record
short URL:
https://dblp.org/rec/conf/tableaux/BlackburnM02 export record
dblp key:
conf/tableaux/Chetcuti-Sperandio02 share record
short URL:
https://dblp.org/rec/conf/tableaux/Chetcuti-Sperandio02 share record
short URL:
https://dblp.org/rec/conf/tableaux/MayerL02 export record
dblp key:
conf/tableaux/DegtyarevFK02 share record
short URL:
https://dblp.org/rec/conf/tableaux/DegtyarevFK02 share record
short URL:
https://dblp.org/rec/conf/tableaux/EiterKTW02 export record
dblp key:
conf/tableaux/FerrariFF02 share record
short URL:
https://dblp.org/rec/conf/tableaux/FerrariFF02 share record
short URL:
https://dblp.org/rec/conf/tableaux/Giese02 Martin Giese :
A Model Generation Style Completeness Proof for Constraint Tableaux with Superposition. 130-144 share record
short URL:
https://dblp.org/rec/conf/tableaux/Hladik02 Jan Hladik :
Implementation and Optimisation of a Tableau Algorithm for the Guarded Fragment. 145-159 share record
short URL:
https://dblp.org/rec/conf/tableaux/Letz02 Reinhold Letz :
Lemma and Model Caching in Decision Procedures for Quantified Boolean Formulas. 160-175 share record
short URL:
https://dblp.org/rec/conf/tableaux/LetzS02 export record
dblp key:
conf/tableaux/MetcalfeOG02 share record
short URL:
https://dblp.org/rec/conf/tableaux/MetcalfeOG02 share record
short URL:
https://dblp.org/rec/conf/tableaux/Nguyen02 Linh Anh Nguyen :
Analytic Tableau Systems for Propositional Bimodal Logics of Knowledge and Belief. 206-220 export record
dblp key:
conf/tableaux/Petermann02 share record
short URL:
https://dblp.org/rec/conf/tableaux/Petermann02 export record
dblp key:
conf/tableaux/Sofronie-Stokkermans02 share record
short URL:
https://dblp.org/rec/conf/tableaux/Sofronie-Stokkermans02 share record
short URL:
https://dblp.org/rec/conf/tableaux/CateS02 share record
short URL:
https://dblp.org/rec/conf/tableaux/ThionCM02 share record
short URL:
https://dblp.org/rec/conf/tableaux/Willard02 Dan E. Willard :
Some New Exceptions for the Semantic Tableaux Version of the Second Incompleteness Theorem. 281-297 share record
short URL:
https://dblp.org/rec/conf/tableaux/Wirth02 share record
short URL:
https://dblp.org/rec/conf/tableaux/Zarba02
System Descriptions Papers
share record
short URL:
https://dblp.org/rec/conf/tableaux/HabertNG02 share record
short URL:
https://dblp.org/rec/conf/tableaux/Stenz02
maintained by
, founded at