default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDSearch dblp for Publications
export results for "toc:db/conf/tableaux/tableaux95.bht:"
download as .bib file
@inproceedings{DBLP:conf/tableaux/BaazF95,
author = {Matthias Baaz and
Christian G. Ferm{\"{u}}ller},
editor = {Peter Baumgartner and
Reiner H{\"{a}}hnle and
Joachim Posegga},
title = {Non-elementary Speedups between Different Versions of Tableaux},
booktitle = {Theorem Proving with Analytic Tableaux and Related Methods, 4th International
Workshop, {TABLEAUX} '95, Schlo{\ss} Rheinfels, St. Goar, Germany,
May 7-10, 1995, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {918},
pages = {217--230},
publisher = {Springer},
year = {1995},
url = {https://doi.org/10.1007/3-540-59338-1\_38},
doi = {10.1007/3-540-59338-1\_38},
timestamp = {Tue, 14 May 2019 10:00:54 +0200},
biburl = {https://dblp.org/rec/conf/tableaux/BaazF95.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tableaux/BaumgartnerS95,
author = {Peter Baumgartner and
Frieder Stolzenburg},
editor = {Peter Baumgartner and
Reiner H{\"{a}}hnle and
Joachim Posegga},
title = {Constraint Model Elimination and a PTTP-Implementation},
booktitle = {Theorem Proving with Analytic Tableaux and Related Methods, 4th International
Workshop, {TABLEAUX} '95, Schlo{\ss} Rheinfels, St. Goar, Germany,
May 7-10, 1995, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {918},
pages = {201--216},
publisher = {Springer},
year = {1995},
url = {https://doi.org/10.1007/3-540-59338-1\_37},
doi = {10.1007/3-540-59338-1\_37},
timestamp = {Sun, 12 Nov 2017 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/tableaux/BaumgartnerS95.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tableaux/BibelBEKR95,
author = {Wolfgang Bibel and
Stefan Br{\"{u}}ning and
Uwe Egly and
Daniel S. Korn and
Thomas Rath},
editor = {Peter Baumgartner and
Reiner H{\"{a}}hnle and
Joachim Posegga},
title = {Issues in Theorem Proving Based on the Connection Method},
booktitle = {Theorem Proving with Analytic Tableaux and Related Methods, 4th International
Workshop, {TABLEAUX} '95, Schlo{\ss} Rheinfels, St. Goar, Germany,
May 7-10, 1995, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {918},
pages = {1--16},
publisher = {Springer},
year = {1995},
url = {https://doi.org/10.1007/3-540-59338-1\_24},
doi = {10.1007/3-540-59338-1\_24},
timestamp = {Mon, 22 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/tableaux/BibelBEKR95.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tableaux/CaferraP95,
author = {Ricardo Caferra and
Nicolas Peltier},
editor = {Peter Baumgartner and
Reiner H{\"{a}}hnle and
Joachim Posegga},
title = {Model Building and Interactive Theory Discovery},
booktitle = {Theorem Proving with Analytic Tableaux and Related Methods, 4th International
Workshop, {TABLEAUX} '95, Schlo{\ss} Rheinfels, St. Goar, Germany,
May 7-10, 1995, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {918},
pages = {154--168},
publisher = {Springer},
year = {1995},
url = {https://doi.org/10.1007/3-540-59338-1\_34},
doi = {10.1007/3-540-59338-1\_34},
timestamp = {Mon, 22 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/tableaux/CaferraP95.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tableaux/Demri95,
author = {St{\'{e}}phane Demri},
editor = {Peter Baumgartner and
Reiner H{\"{a}}hnle and
Joachim Posegga},
title = {Using Connection Method in Modal Logics: Some Advantages},
booktitle = {Theorem Proving with Analytic Tableaux and Related Methods, 4th International
Workshop, {TABLEAUX} '95, Schlo{\ss} Rheinfels, St. Goar, Germany,
May 7-10, 1995, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {918},
pages = {63--78},
publisher = {Springer},
year = {1995},
url = {https://doi.org/10.1007/3-540-59338-1\_28},
doi = {10.1007/3-540-59338-1\_28},
timestamp = {Mon, 22 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/tableaux/Demri95.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tableaux/Governatori95,
author = {Guido Governatori},
editor = {Peter Baumgartner and
Reiner H{\"{a}}hnle and
Joachim Posegga},
title = {Labelled Tableaux for Multi-Modal Logics},
booktitle = {Theorem Proving with Analytic Tableaux and Related Methods, 4th International
Workshop, {TABLEAUX} '95, Schlo{\ss} Rheinfels, St. Goar, Germany,
May 7-10, 1995, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {918},
pages = {79--94},
publisher = {Springer},
year = {1995},
url = {https://doi.org/10.1007/3-540-59338-1\_29},
doi = {10.1007/3-540-59338-1\_29},
timestamp = {Wed, 14 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/tableaux/Governatori95.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tableaux/Groote95,
author = {Philippe de Groote},
editor = {Peter Baumgartner and
Reiner H{\"{a}}hnle and
Joachim Posegga},
title = {Linear Logic with Isabelle: Pruning the Proof Search Tree},
booktitle = {Theorem Proving with Analytic Tableaux and Related Methods, 4th International
Workshop, {TABLEAUX} '95, Schlo{\ss} Rheinfels, St. Goar, Germany,
May 7-10, 1995, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {918},
pages = {263--277},
publisher = {Springer},
year = {1995},
url = {https://doi.org/10.1007/3-540-59338-1\_41},
doi = {10.1007/3-540-59338-1\_41},
timestamp = {Mon, 22 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/tableaux/Groote95.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tableaux/HeuerdingJSS95,
author = {Alain Heuerding and
Gerhard J{\"{a}}ger and
Stefan Schwendimann and
Michael Seyfried},
editor = {Peter Baumgartner and
Reiner H{\"{a}}hnle and
Joachim Posegga},
title = {Propositional Logics on the Computer},
booktitle = {Theorem Proving with Analytic Tableaux and Related Methods, 4th International
Workshop, {TABLEAUX} '95, Schlo{\ss} Rheinfels, St. Goar, Germany,
May 7-10, 1995, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {918},
pages = {310--323},
publisher = {Springer},
year = {1995},
url = {https://doi.org/10.1007/3-540-59338-1\_44},
doi = {10.1007/3-540-59338-1\_44},
timestamp = {Mon, 22 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/tableaux/HeuerdingJSS95.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tableaux/HudelmaierS95,
author = {J{\"{o}}rg Hudelmaier and
Peter Schroeder{-}Heister},
editor = {Peter Baumgartner and
Reiner H{\"{a}}hnle and
Joachim Posegga},
title = {Classical Lambek Logic},
booktitle = {Theorem Proving with Analytic Tableaux and Related Methods, 4th International
Workshop, {TABLEAUX} '95, Schlo{\ss} Rheinfels, St. Goar, Germany,
May 7-10, 1995, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {918},
pages = {247--262},
publisher = {Springer},
year = {1995},
url = {https://doi.org/10.1007/3-540-59338-1\_40},
doi = {10.1007/3-540-59338-1\_40},
timestamp = {Mon, 22 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/tableaux/HudelmaierS95.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tableaux/Klingenbeck95,
author = {Stefan Klingenbeck},
editor = {Peter Baumgartner and
Reiner H{\"{a}}hnle and
Joachim Posegga},
title = {Generating Finite Counter Examples with Semantic Tableaux},
booktitle = {Theorem Proving with Analytic Tableaux and Related Methods, 4th International
Workshop, {TABLEAUX} '95, Schlo{\ss} Rheinfels, St. Goar, Germany,
May 7-10, 1995, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {918},
pages = {31--46},
publisher = {Springer},
year = {1995},
url = {https://doi.org/10.1007/3-540-59338-1\_26},
doi = {10.1007/3-540-59338-1\_26},
timestamp = {Mon, 22 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/tableaux/Klingenbeck95.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tableaux/Kogel95,
author = {Eric de Kogel},
editor = {Peter Baumgartner and
Reiner H{\"{a}}hnle and
Joachim Posegga},
title = {Rigid \emph{E}-Unification Simplified},
booktitle = {Theorem Proving with Analytic Tableaux and Related Methods, 4th International
Workshop, {TABLEAUX} '95, Schlo{\ss} Rheinfels, St. Goar, Germany,
May 7-10, 1995, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {918},
pages = {17--30},
publisher = {Springer},
year = {1995},
url = {https://doi.org/10.1007/3-540-59338-1\_25},
doi = {10.1007/3-540-59338-1\_25},
timestamp = {Mon, 22 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/tableaux/Kogel95.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tableaux/Kohlhase95,
author = {Michael Kohlhase},
editor = {Peter Baumgartner and
Reiner H{\"{a}}hnle and
Joachim Posegga},
title = {Higher-Order Tableaux},
booktitle = {Theorem Proving with Analytic Tableaux and Related Methods, 4th International
Workshop, {TABLEAUX} '95, Schlo{\ss} Rheinfels, St. Goar, Germany,
May 7-10, 1995, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {918},
pages = {294--309},
publisher = {Springer},
year = {1995},
url = {https://doi.org/10.1007/3-540-59338-1\_43},
doi = {10.1007/3-540-59338-1\_43},
timestamp = {Mon, 22 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/tableaux/Kohlhase95.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tableaux/KomaraV95,
author = {J{\'{a}}n Komara and
Paul J. Voda},
editor = {Peter Baumgartner and
Reiner H{\"{a}}hnle and
Joachim Posegga},
title = {Syntactic Reduction of Predicate Tableaux to Propositional Tableaux},
booktitle = {Theorem Proving with Analytic Tableaux and Related Methods, 4th International
Workshop, {TABLEAUX} '95, Schlo{\ss} Rheinfels, St. Goar, Germany,
May 7-10, 1995, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {918},
pages = {231--246},
publisher = {Springer},
year = {1995},
url = {https://doi.org/10.1007/3-540-59338-1\_39},
doi = {10.1007/3-540-59338-1\_39},
timestamp = {Mon, 22 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/tableaux/KomaraV95.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tableaux/Mayr95,
author = {Klaus Mayr},
editor = {Peter Baumgartner and
Reiner H{\"{a}}hnle and
Joachim Posegga},
title = {Link Deletion in Model Elimination},
booktitle = {Theorem Proving with Analytic Tableaux and Related Methods, 4th International
Workshop, {TABLEAUX} '95, Schlo{\ss} Rheinfels, St. Goar, Germany,
May 7-10, 1995, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {918},
pages = {169--184},
publisher = {Springer},
year = {1995},
url = {https://doi.org/10.1007/3-540-59338-1\_35},
doi = {10.1007/3-540-59338-1\_35},
timestamp = {Mon, 22 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/tableaux/Mayr95.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tableaux/MeyerMB95,
author = {Robert K. Meyer and
Michael A. McRobbie and
Nuel Belnap},
editor = {Peter Baumgartner and
Reiner H{\"{a}}hnle and
Joachim Posegga},
title = {Linear Analytic Tableaux},
booktitle = {Theorem Proving with Analytic Tableaux and Related Methods, 4th International
Workshop, {TABLEAUX} '95, Schlo{\ss} Rheinfels, St. Goar, Germany,
May 7-10, 1995, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {918},
pages = {278--293},
publisher = {Springer},
year = {1995},
url = {https://doi.org/10.1007/3-540-59338-1\_42},
doi = {10.1007/3-540-59338-1\_42},
timestamp = {Mon, 22 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/tableaux/MeyerMB95.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tableaux/MiglioliMO95,
author = {Pierangelo Miglioli and
Ugo Moscato and
Mario Ornaghi},
editor = {Peter Baumgartner and
Reiner H{\"{a}}hnle and
Joachim Posegga},
title = {Refutation Systems for Propositional Modal Logics},
booktitle = {Theorem Proving with Analytic Tableaux and Related Methods, 4th International
Workshop, {TABLEAUX} '95, Schlo{\ss} Rheinfels, St. Goar, Germany,
May 7-10, 1995, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {918},
pages = {95--105},
publisher = {Springer},
year = {1995},
url = {https://doi.org/10.1007/3-540-59338-1\_30},
doi = {10.1007/3-540-59338-1\_30},
timestamp = {Mon, 22 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/tableaux/MiglioliMO95.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tableaux/NeugebauerP95,
author = {Gerd Neugebauer and
Uwe Petermann},
editor = {Peter Baumgartner and
Reiner H{\"{a}}hnle and
Joachim Posegga},
title = {Specifications of Inference Rules and Their Automatic Translation},
booktitle = {Theorem Proving with Analytic Tableaux and Related Methods, 4th International
Workshop, {TABLEAUX} '95, Schlo{\ss} Rheinfels, St. Goar, Germany,
May 7-10, 1995, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {918},
pages = {185--200},
publisher = {Springer},
year = {1995},
url = {https://doi.org/10.1007/3-540-59338-1\_36},
doi = {10.1007/3-540-59338-1\_36},
timestamp = {Mon, 22 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/tableaux/NeugebauerP95.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tableaux/Neumann95,
author = {Ingrid Neumann},
editor = {Peter Baumgartner and
Reiner H{\"{a}}hnle and
Joachim Posegga},
title = {Semantic Tableaus for Inheritance Nets},
booktitle = {Theorem Proving with Analytic Tableaux and Related Methods, 4th International
Workshop, {TABLEAUX} '95, Schlo{\ss} Rheinfels, St. Goar, Germany,
May 7-10, 1995, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {918},
pages = {47--62},
publisher = {Springer},
year = {1995},
url = {https://doi.org/10.1007/3-540-59338-1\_27},
doi = {10.1007/3-540-59338-1\_27},
timestamp = {Mon, 22 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/tableaux/Neumann95.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tableaux/Otten95,
author = {Jens Otten},
editor = {Peter Baumgartner and
Reiner H{\"{a}}hnle and
Joachim Posegga},
title = {A Connection Based Proof Method for Intuitionistic Logic},
booktitle = {Theorem Proving with Analytic Tableaux and Related Methods, 4th International
Workshop, {TABLEAUX} '95, Schlo{\ss} Rheinfels, St. Goar, Germany,
May 7-10, 1995, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {918},
pages = {122--137},
publisher = {Springer},
year = {1995},
url = {https://doi.org/10.1007/3-540-59338-1\_32},
doi = {10.1007/3-540-59338-1\_32},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/tableaux/Otten95.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tableaux/Pitt95,
author = {Jeremy V. Pitt},
editor = {Peter Baumgartner and
Reiner H{\"{a}}hnle and
Joachim Posegga},
title = {MacKE: Yet Another Proof Assistant {\&} Automated Pedagogic Tool},
booktitle = {Theorem Proving with Analytic Tableaux and Related Methods, 4th International
Workshop, {TABLEAUX} '95, Schlo{\ss} Rheinfels, St. Goar, Germany,
May 7-10, 1995, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {918},
pages = {324--337},
publisher = {Springer},
year = {1995},
url = {https://doi.org/10.1007/3-540-59338-1\_45},
doi = {10.1007/3-540-59338-1\_45},
timestamp = {Mon, 22 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/tableaux/Pitt95.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tableaux/SchmittK95,
author = {Stephan Schmitt and
Christoph Kreitz},
editor = {Peter Baumgartner and
Reiner H{\"{a}}hnle and
Joachim Posegga},
title = {On Transforming Intuitionistic Matrix Proofs into Standard-Sequent
Proofs},
booktitle = {Theorem Proving with Analytic Tableaux and Related Methods, 4th International
Workshop, {TABLEAUX} '95, Schlo{\ss} Rheinfels, St. Goar, Germany,
May 7-10, 1995, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {918},
pages = {106--121},
publisher = {Springer},
year = {1995},
url = {https://doi.org/10.1007/3-540-59338-1\_31},
doi = {10.1007/3-540-59338-1\_31},
timestamp = {Mon, 22 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/tableaux/SchmittK95.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tableaux/Schumann95,
author = {Johann Schumann},
editor = {Peter Baumgartner and
Reiner H{\"{a}}hnle and
Joachim Posegga},
title = {Using the Theorem Prover {SETHEO} for Verifying the Development of
a Communication Protocol in {FOCUS:} {A} Case Study},
booktitle = {Theorem Proving with Analytic Tableaux and Related Methods, 4th International
Workshop, {TABLEAUX} '95, Schlo{\ss} Rheinfels, St. Goar, Germany,
May 7-10, 1995, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {918},
pages = {338--352},
publisher = {Springer},
year = {1995},
url = {https://doi.org/10.1007/3-540-59338-1\_46},
doi = {10.1007/3-540-59338-1\_46},
timestamp = {Mon, 22 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/tableaux/Schumann95.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tableaux/Underwood95,
author = {Judith L. Underwood},
editor = {Peter Baumgartner and
Reiner H{\"{a}}hnle and
Joachim Posegga},
title = {Tableaux for Intuitionistic Predicate Logic as Metatheory},
booktitle = {Theorem Proving with Analytic Tableaux and Related Methods, 4th International
Workshop, {TABLEAUX} '95, Schlo{\ss} Rheinfels, St. Goar, Germany,
May 7-10, 1995, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {918},
pages = {138--153},
publisher = {Springer},
year = {1995},
url = {https://doi.org/10.1007/3-540-59338-1\_33},
doi = {10.1007/3-540-59338-1\_33},
timestamp = {Mon, 22 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/tableaux/Underwood95.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/tableaux/1995,
editor = {Peter Baumgartner and
Reiner H{\"{a}}hnle and
Joachim Posegga},
title = {Theorem Proving with Analytic Tableaux and Related Methods, 4th International
Workshop, {TABLEAUX} '95, Schlo{\ss} Rheinfels, St. Goar, Germany,
May 7-10, 1995, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {918},
publisher = {Springer},
year = {1995},
url = {https://doi.org/10.1007/3-540-59338-1},
doi = {10.1007/3-540-59338-1},
isbn = {3-540-59338-1},
timestamp = {Tue, 14 May 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/tableaux/1995.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-10-03 03:23 CEST 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:
