12. TABLEAUX 2003:
Rome, Italy
share record
short URL:
https://dblp.org/rec/conf/tableaux/2003
Short Abstracts of Invitd Lectures
share record
short URL:
https://dblp.org/rec/conf/tableaux/Abrusci03 share record
short URL:
https://dblp.org/rec/conf/tableaux/Coquand03 share record
short URL:
https://dblp.org/rec/conf/tableaux/Schumann03 Johann Schumann :
Automated Theorem Proving in Generation, Verification, and Certification of Safety Critical Code. 3
share record
short URL:
https://dblp.org/rec/conf/tableaux/Avron03 Arnon Avron :
Tableaux with Four Signs as a Unified Framework. 4-16 share record
short URL:
https://dblp.org/rec/conf/tableaux/Brunet03 Olivier Brunet :
A Labelled Sequent-Calculus for Observation Logic. 17-31 export record
dblp key:
conf/tableaux/CiabattoniM03 share record
short URL:
https://dblp.org/rec/conf/tableaux/CiabattoniM03 export record
dblp key:
conf/tableaux/Fermuller03 share record
short URL:
https://dblp.org/rec/conf/tableaux/Fermuller03 share record
short URL:
https://dblp.org/rec/conf/tableaux/Giese03 Martin Giese :
Simplification Rules for Constrained Formula Tableaux. 65-80 export record
dblp key:
conf/tableaux/GiordanoGOS03 share record
short URL:
https://dblp.org/rec/conf/tableaux/GiordanoGOS03 export record
dblp key:
conf/tableaux/GorankoMS03 share record
short URL:
https://dblp.org/rec/conf/tableaux/GorankoMS03 share record
short URL:
https://dblp.org/rec/conf/tableaux/LetzS03 share record
short URL:
https://dblp.org/rec/conf/tableaux/LutzWZ03 share record
short URL:
https://dblp.org/rec/conf/tableaux/Marx03 Maarten Marx :
XPath and Modal Logics of Finite DAG's. 150-164 share record
short URL:
https://dblp.org/rec/conf/tableaux/MurrayR03 share record
short URL:
https://dblp.org/rec/conf/tableaux/Peltier03 Nicolas Peltier :
A More Efficient Tableaux Procedure for Simultaneous Search for Refutations and Finite Models. 181-195 share record
short URL:
https://dblp.org/rec/conf/tableaux/Velev03 Miroslav N. Velev :
Automatic Abstraction of Equations in a Logic of Equality. 196-213 share record
short URL:
https://dblp.org/rec/conf/tableaux/WaalerA03
share record
short URL:
https://dblp.org/rec/conf/tableaux/AbateG03 share record
short URL:
https://dblp.org/rec/conf/tableaux/Brown03 Frank M. Brown :
Decision Procedures for the Propositional Cases of Second Order Logic and Z Modal Logic Representations. 237-245 share record
short URL:
https://dblp.org/rec/conf/tableaux/Brown03a Frank M. Brown :
Logistica 2.0: A Technology for Implementing Automatic Deduction Systems. 246-251 share record
short URL:
https://dblp.org/rec/conf/tableaux/HanleS03 export record
dblp key:
conf/tableaux/NabeshimaII03 share record
short URL:
https://dblp.org/rec/conf/tableaux/NabeshimaII03 export record
dblp key:
conf/tableaux/OlivettiP03 share record
short URL:
https://dblp.org/rec/conf/tableaux/OlivettiP03
maintained by
, founded at