default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDSearch dblp for Publications
export results for "toc:db/conf/tableaux/tableaux2005.bht:"
download as .bib file
@inproceedings{DBLP:conf/tableaux/AntonsenW05,
author = {Roger Antonsen and
Arild Waaler},
editor = {Bernhard Beckert},
title = {Consistency of Variable Splitting in Free Variable Systems of First-Order
Logic},
booktitle = {Automated Reasoning with Analytic Tableaux and Related Methods, International
Conference, {TABLEAUX} 2005, Koblenz, Germany, September 14-17, 2005,
Proceedings},
series = {Lecture Notes in Computer Science},
volume = {3702},
pages = {33--47},
publisher = {Springer},
year = {2005},
url = {https://doi.org/10.1007/11554554\_5},
doi = {10.1007/11554554\_5},
timestamp = {Tue, 14 May 2019 10:00:54 +0200},
biburl = {https://dblp.org/rec/conf/tableaux/AntonsenW05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tableaux/Autexier05,
author = {Serge Autexier},
editor = {Bernhard Beckert},
title = {On the Dynamic Increase of Multiplicities in Matrix Proof Methods
for Classical Higher-Order Logic},
booktitle = {Automated Reasoning with Analytic Tableaux and Related Methods, International
Conference, {TABLEAUX} 2005, Koblenz, Germany, September 14-17, 2005,
Proceedings},
series = {Lecture Notes in Computer Science},
volume = {3702},
pages = {48--62},
publisher = {Springer},
year = {2005},
url = {https://doi.org/10.1007/11554554\_6},
doi = {10.1007/11554554\_6},
timestamp = {Sat, 09 Apr 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/tableaux/Autexier05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tableaux/BresolinM05,
author = {Davide Bresolin and
Angelo Montanari},
editor = {Bernhard Beckert},
title = {A Tableau-Based Decision Procedure for Right Propositional Neighborhood
Logic},
booktitle = {Automated Reasoning with Analytic Tableaux and Related Methods, International
Conference, {TABLEAUX} 2005, Koblenz, Germany, September 14-17, 2005,
Proceedings},
series = {Lecture Notes in Computer Science},
volume = {3702},
pages = {63--77},
publisher = {Springer},
year = {2005},
url = {https://doi.org/10.1007/11554554\_7},
doi = {10.1007/11554554\_7},
timestamp = {Mon, 05 Jun 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/tableaux/BresolinM05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tableaux/Brotherston05,
author = {James Brotherston},
editor = {Bernhard Beckert},
title = {Cyclic Proofs for First-Order Logic with Inductive Definitions},
booktitle = {Automated Reasoning with Analytic Tableaux and Related Methods, International
Conference, {TABLEAUX} 2005, Koblenz, Germany, September 14-17, 2005,
Proceedings},
series = {Lecture Notes in Computer Science},
volume = {3702},
pages = {78--92},
publisher = {Springer},
year = {2005},
url = {https://doi.org/10.1007/11554554\_8},
doi = {10.1007/11554554\_8},
timestamp = {Fri, 26 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/tableaux/Brotherston05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tableaux/Calvanese05,
author = {Diego Calvanese},
editor = {Bernhard Beckert},
title = {Query Processing in Peer-to-Peer Systems: An Epistemic Logic Approach},
booktitle = {Automated Reasoning with Analytic Tableaux and Related Methods, International
Conference, {TABLEAUX} 2005, Koblenz, Germany, September 14-17, 2005,
Proceedings},
series = {Lecture Notes in Computer Science},
volume = {3702},
pages = {1},
publisher = {Springer},
year = {2005},
url = {https://doi.org/10.1007/11554554\_1},
doi = {10.1007/11554554\_1},
timestamp = {Mon, 29 Jul 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/tableaux/Calvanese05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tableaux/CantoneZ05,
author = {Domenico Cantone and
Calogero G. Zarba},
editor = {Bernhard Beckert},
title = {A Tableau-Based Decision Procedure for a Fragment of Graph Theory
Involving Reachability and Acyclicity},
booktitle = {Automated Reasoning with Analytic Tableaux and Related Methods, International
Conference, {TABLEAUX} 2005, Koblenz, Germany, September 14-17, 2005,
Proceedings},
series = {Lecture Notes in Computer Science},
volume = {3702},
pages = {93--107},
publisher = {Springer},
year = {2005},
url = {https://doi.org/10.1007/11554554\_9},
doi = {10.1007/11554554\_9},
timestamp = {Mon, 05 Jun 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/tableaux/CantoneZ05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tableaux/CorrellS05,
author = {Philipp Correll and
Gernot Stenz},
editor = {Bernhard Beckert},
title = {Proof Output and Transformation for Disconnection Tableaux},
booktitle = {Automated Reasoning with Analytic Tableaux and Related Methods, International
Conference, {TABLEAUX} 2005, Koblenz, Germany, September 14-17, 2005,
Proceedings},
series = {Lecture Notes in Computer Science},
volume = {3702},
pages = {312--317},
publisher = {Springer},
year = {2005},
url = {https://doi.org/10.1007/11554554\_24},
doi = {10.1007/11554554\_24},
timestamp = {Fri, 26 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/tableaux/CorrellS05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tableaux/GasquetHLS05,
author = {Olivier Gasquet and
Andreas Herzig and
Dominique Longin and
Mohamad Sahade},
editor = {Bernhard Beckert},
title = {LoTREC: Logical Tableaux Research Engineering Companion},
booktitle = {Automated Reasoning with Analytic Tableaux and Related Methods, International
Conference, {TABLEAUX} 2005, Koblenz, Germany, September 14-17, 2005,
Proceedings},
series = {Lecture Notes in Computer Science},
volume = {3702},
pages = {318--322},
publisher = {Springer},
year = {2005},
url = {https://doi.org/10.1007/11554554\_25},
doi = {10.1007/11554554\_25},
timestamp = {Fri, 26 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/tableaux/GasquetHLS05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tableaux/Gedell05,
author = {Tobias Gedell},
editor = {Bernhard Beckert},
title = {Embedding Static Analysis into Tableaux and Sequent Based Frameworks},
booktitle = {Automated Reasoning with Analytic Tableaux and Related Methods, International
Conference, {TABLEAUX} 2005, Koblenz, Germany, September 14-17, 2005,
Proceedings},
series = {Lecture Notes in Computer Science},
volume = {3702},
pages = {108--122},
publisher = {Springer},
year = {2005},
url = {https://doi.org/10.1007/11554554\_10},
doi = {10.1007/11554554\_10},
timestamp = {Fri, 26 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/tableaux/Gedell05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tableaux/Giese05,
author = {Martin Giese},
editor = {Bernhard Beckert},
title = {A Calculus for Type Predicates and Type Coercion},
booktitle = {Automated Reasoning with Analytic Tableaux and Related Methods, International
Conference, {TABLEAUX} 2005, Koblenz, Germany, September 14-17, 2005,
Proceedings},
series = {Lecture Notes in Computer Science},
volume = {3702},
pages = {123--137},
publisher = {Springer},
year = {2005},
url = {https://doi.org/10.1007/11554554\_11},
doi = {10.1007/11554554\_11},
timestamp = {Fri, 26 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/tableaux/Giese05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tableaux/GoreN05,
author = {Rajeev Gor{\'{e}} and
Linh Anh Nguyen},
editor = {Bernhard Beckert},
title = {A Tableau Calculus with Automaton-Labelled Formulae for Regular Grammar
Logics},
booktitle = {Automated Reasoning with Analytic Tableaux and Related Methods, International
Conference, {TABLEAUX} 2005, Koblenz, Germany, September 14-17, 2005,
Proceedings},
series = {Lecture Notes in Computer Science},
volume = {3702},
pages = {138--152},
publisher = {Springer},
year = {2005},
url = {https://doi.org/10.1007/11554554\_12},
doi = {10.1007/11554554\_12},
timestamp = {Fri, 26 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/tableaux/GoreN05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tableaux/Horrocks05,
author = {Ian Horrocks},
editor = {Bernhard Beckert},
title = {Description Logics in Ontology Applications},
booktitle = {Automated Reasoning with Analytic Tableaux and Related Methods, International
Conference, {TABLEAUX} 2005, Koblenz, Germany, September 14-17, 2005,
Proceedings},
series = {Lecture Notes in Computer Science},
volume = {3702},
pages = {2--13},
publisher = {Springer},
year = {2005},
url = {https://doi.org/10.1007/11554554\_2},
doi = {10.1007/11554554\_2},
timestamp = {Tue, 12 Apr 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/tableaux/Horrocks05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tableaux/JacobsW05,
author = {Swen Jacobs and
Uwe Waldmann},
editor = {Bernhard Beckert},
title = {Comparing Instance Generation Methods for Automated Reasoning},
booktitle = {Automated Reasoning with Analytic Tableaux and Related Methods, International
Conference, {TABLEAUX} 2005, Koblenz, Germany, September 14-17, 2005,
Proceedings},
series = {Lecture Notes in Computer Science},
volume = {3702},
pages = {153--168},
publisher = {Springer},
year = {2005},
url = {https://doi.org/10.1007/11554554\_13},
doi = {10.1007/11554554\_13},
timestamp = {Mon, 05 Jun 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/tableaux/JacobsW05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tableaux/KaneiwaM05,
author = {Ken Kaneiwa and
Riichiro Mizoguchi},
editor = {Bernhard Beckert},
title = {An Order-Sorted Quantified Modal Logic for Meta-ontology},
booktitle = {Automated Reasoning with Analytic Tableaux and Related Methods, International
Conference, {TABLEAUX} 2005, Koblenz, Germany, September 14-17, 2005,
Proceedings},
series = {Lecture Notes in Computer Science},
volume = {3702},
pages = {169--184},
publisher = {Springer},
year = {2005},
url = {https://doi.org/10.1007/11554554\_14},
doi = {10.1007/11554554\_14},
timestamp = {Fri, 26 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/tableaux/KaneiwaM05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tableaux/LiebigH05,
author = {Thorsten Liebig and
Michael Halfmann},
editor = {Bernhard Beckert},
title = {A Tableau-Based Explainer for {DL} Subsumption},
booktitle = {Automated Reasoning with Analytic Tableaux and Related Methods, International
Conference, {TABLEAUX} 2005, Koblenz, Germany, September 14-17, 2005,
Proceedings},
series = {Lecture Notes in Computer Science},
volume = {3702},
pages = {323--327},
publisher = {Springer},
year = {2005},
url = {https://doi.org/10.1007/11554554\_26},
doi = {10.1007/11554554\_26},
timestamp = {Fri, 26 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/tableaux/LiebigH05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tableaux/LutovacH05,
author = {Tatjana Lutovac and
James Harland},
editor = {Bernhard Beckert},
title = {A Redundancy Analysis of Sequent Proofs},
booktitle = {Automated Reasoning with Analytic Tableaux and Related Methods, International
Conference, {TABLEAUX} 2005, Koblenz, Germany, September 14-17, 2005,
Proceedings},
series = {Lecture Notes in Computer Science},
volume = {3702},
pages = {185--200},
publisher = {Springer},
year = {2005},
url = {https://doi.org/10.1007/11554554\_15},
doi = {10.1007/11554554\_15},
timestamp = {Tue, 07 May 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/tableaux/LutovacH05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tableaux/LutzM05,
author = {Carsten Lutz and
Maja Milicic},
editor = {Bernhard Beckert},
title = {A Tableau Algorithm for Description Logics with Concrete Domains and
GCIs},
booktitle = {Automated Reasoning with Analytic Tableaux and Related Methods, International
Conference, {TABLEAUX} 2005, Koblenz, Germany, September 14-17, 2005,
Proceedings},
series = {Lecture Notes in Computer Science},
volume = {3702},
pages = {201--216},
publisher = {Springer},
year = {2005},
url = {https://doi.org/10.1007/11554554\_16},
doi = {10.1007/11554554\_16},
timestamp = {Thu, 15 Jun 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/tableaux/LutzM05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tableaux/MayerLOP05,
author = {Marta Cialdea Mayer and
Carla Limongelli and
Andrea Orlandini and
Valentina Poggioni},
editor = {Bernhard Beckert},
title = {Pdk: The System and Its Language},
booktitle = {Automated Reasoning with Analytic Tableaux and Related Methods, International
Conference, {TABLEAUX} 2005, Koblenz, Germany, September 14-17, 2005,
Proceedings},
series = {Lecture Notes in Computer Science},
volume = {3702},
pages = {307--311},
publisher = {Springer},
year = {2005},
url = {https://doi.org/10.1007/11554554\_23},
doi = {10.1007/11554554\_23},
timestamp = {Sat, 24 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/tableaux/MayerLOP05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tableaux/MillerP05,
author = {Swaha Miller and
David A. Plaisted},
editor = {Bernhard Beckert},
title = {The Space Efficiency of {OSHL}},
booktitle = {Automated Reasoning with Analytic Tableaux and Related Methods, International
Conference, {TABLEAUX} 2005, Koblenz, Germany, September 14-17, 2005,
Proceedings},
series = {Lecture Notes in Computer Science},
volume = {3702},
pages = {217--230},
publisher = {Springer},
year = {2005},
url = {https://doi.org/10.1007/11554554\_17},
doi = {10.1007/11554554\_17},
timestamp = {Fri, 26 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/tableaux/MillerP05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tableaux/MurrayR05,
author = {Neil V. Murray and
Erik Rosenthal},
editor = {Bernhard Beckert},
title = {Efficient Query Processing with Compiled Knowledge Bases},
booktitle = {Automated Reasoning with Analytic Tableaux and Related Methods, International
Conference, {TABLEAUX} 2005, Koblenz, Germany, September 14-17, 2005,
Proceedings},
series = {Lecture Notes in Computer Science},
volume = {3702},
pages = {231--244},
publisher = {Springer},
year = {2005},
url = {https://doi.org/10.1007/11554554\_18},
doi = {10.1007/11554554\_18},
timestamp = {Fri, 26 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/tableaux/MurrayR05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tableaux/Ohlbach05,
author = {Hans J{\"{u}}rgen Ohlbach},
editor = {Bernhard Beckert},
title = {Automated Reasoning in the Context of the Semantic Web},
booktitle = {Automated Reasoning with Analytic Tableaux and Related Methods, International
Conference, {TABLEAUX} 2005, Koblenz, Germany, September 14-17, 2005,
Proceedings},
series = {Lecture Notes in Computer Science},
volume = {3702},
pages = {14--14},
publisher = {Springer},
year = {2005},
url = {https://doi.org/10.1007/11554554\_3},
doi = {10.1007/11554554\_3},
timestamp = {Fri, 26 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/tableaux/Ohlbach05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tableaux/OlivettiP05,
author = {Nicola Olivetti and
Gian Luca Pozzato},
editor = {Bernhard Beckert},
title = {CondLean 3.0: Improving CondLean for Stronger Conditional Logics},
booktitle = {Automated Reasoning with Analytic Tableaux and Related Methods, International
Conference, {TABLEAUX} 2005, Koblenz, Germany, September 14-17, 2005,
Proceedings},
series = {Lecture Notes in Computer Science},
volume = {3702},
pages = {328--332},
publisher = {Springer},
year = {2005},
url = {https://doi.org/10.1007/11554554\_27},
doi = {10.1007/11554554\_27},
timestamp = {Mon, 05 Jun 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/tableaux/OlivettiP05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tableaux/Otten05,
author = {Jens Otten},
editor = {Bernhard Beckert},
title = {Clausal Connection-Based Theorem Proving in Intuitionistic First-Order
Logic},
booktitle = {Automated Reasoning with Analytic Tableaux and Related Methods, International
Conference, {TABLEAUX} 2005, Koblenz, Germany, September 14-17, 2005,
Proceedings},
series = {Lecture Notes in Computer Science},
volume = {3702},
pages = {245--261},
publisher = {Springer},
year = {2005},
url = {https://doi.org/10.1007/11554554\_19},
doi = {10.1007/11554554\_19},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/tableaux/Otten05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tableaux/RathsOK05,
author = {Thomas Raths and
Jens Otten and
Christoph Kreitz},
editor = {Bernhard Beckert},
title = {The {ILTP} Library: Benchmarking Automated Theorem Provers for Intuitionistic
Logic},
booktitle = {Automated Reasoning with Analytic Tableaux and Related Methods, International
Conference, {TABLEAUX} 2005, Koblenz, Germany, September 14-17, 2005,
Proceedings},
series = {Lecture Notes in Computer Science},
volume = {3702},
pages = {333--337},
publisher = {Springer},
year = {2005},
url = {https://doi.org/10.1007/11554554\_28},
doi = {10.1007/11554554\_28},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/tableaux/RathsOK05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tableaux/Rosenthal05,
author = {Erik Rosenthal},
editor = {Bernhard Beckert},
title = {Formal Versus Rigorous Mathematics: How to Get Your Papers Published},
booktitle = {Automated Reasoning with Analytic Tableaux and Related Methods, International
Conference, {TABLEAUX} 2005, Koblenz, Germany, September 14-17, 2005,
Proceedings},
series = {Lecture Notes in Computer Science},
volume = {3702},
pages = {15--32},
publisher = {Springer},
year = {2005},
url = {https://doi.org/10.1007/11554554\_4},
doi = {10.1007/11554554\_4},
timestamp = {Fri, 26 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/tableaux/Rosenthal05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tableaux/Stenz05,
author = {Gernot Stenz},
editor = {Bernhard Beckert},
title = {Unit Propagation in a Tableau Framework},
booktitle = {Automated Reasoning with Analytic Tableaux and Related Methods, International
Conference, {TABLEAUX} 2005, Koblenz, Germany, September 14-17, 2005,
Proceedings},
series = {Lecture Notes in Computer Science},
volume = {3702},
pages = {338--342},
publisher = {Springer},
year = {2005},
url = {https://doi.org/10.1007/11554554\_29},
doi = {10.1007/11554554\_29},
timestamp = {Fri, 26 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/tableaux/Stenz05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tableaux/Stratulat05,
author = {Sorin Stratulat},
editor = {Bernhard Beckert},
title = {Automatic 'Descente Infinie' Induction Reasoning},
booktitle = {Automated Reasoning with Analytic Tableaux and Related Methods, International
Conference, {TABLEAUX} 2005, Koblenz, Germany, September 14-17, 2005,
Proceedings},
series = {Lecture Notes in Computer Science},
volume = {3702},
pages = {262--276},
publisher = {Springer},
year = {2005},
url = {https://doi.org/10.1007/11554554\_20},
doi = {10.1007/11554554\_20},
timestamp = {Fri, 26 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/tableaux/Stratulat05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tableaux/TanabeTYTH05,
author = {Yoshinori Tanabe and
Koichi Takahashi and
Mitsuharu Yamamoto and
Akihiko Tozawa and
Masami Hagiya},
editor = {Bernhard Beckert},
title = {A Decision Procedure for the Alternation-Free Two-Way Modal {\(\mathrm{\mu}\)}-Calculus},
booktitle = {Automated Reasoning with Analytic Tableaux and Related Methods, International
Conference, {TABLEAUX} 2005, Koblenz, Germany, September 14-17, 2005,
Proceedings},
series = {Lecture Notes in Computer Science},
volume = {3702},
pages = {277--291},
publisher = {Springer},
year = {2005},
url = {https://doi.org/10.1007/11554554\_21},
doi = {10.1007/11554554\_21},
timestamp = {Fri, 26 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/tableaux/TanabeTYTH05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tableaux/Willard05,
author = {Dan E. Willard},
editor = {Bernhard Beckert},
title = {On the Partial Respects in Which a Real Valued Arithmetic System Can
Verify Its Tableaux Consistency},
booktitle = {Automated Reasoning with Analytic Tableaux and Related Methods, International
Conference, {TABLEAUX} 2005, Koblenz, Germany, September 14-17, 2005,
Proceedings},
series = {Lecture Notes in Computer Science},
volume = {3702},
pages = {292--306},
publisher = {Springer},
year = {2005},
url = {https://doi.org/10.1007/11554554\_22},
doi = {10.1007/11554554\_22},
timestamp = {Fri, 26 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/tableaux/Willard05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/tableaux/2005,
editor = {Bernhard Beckert},
title = {Automated Reasoning with Analytic Tableaux and Related Methods, International
Conference, {TABLEAUX} 2005, Koblenz, Germany, September 14-17, 2005,
Proceedings},
series = {Lecture Notes in Computer Science},
volume = {3702},
publisher = {Springer},
year = {2005},
url = {https://doi.org/10.1007/11554554},
doi = {10.1007/11554554},
isbn = {3-540-28931-3},
timestamp = {Tue, 14 May 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/tableaux/2005.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
retrieved on 2024-11-04 06:56 CET from data curated by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
