Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDSearch dblp for Publications
export results for "toc:db/conf/tableaux/tableaux92.bht:"
download as .bib file
@inproceedings{DBLP:conf/tableaux/Araragi92,
author = {Tadashi Araragi},
editor = {Bertram Fronh{\"{o}}fer and
Reiner H{\"{a}}hnle and
Thomas K{\"{a}}ufl},
title = {A Uniform Prefixed Tableau Method for Positive First-Order Definable
Systems},
booktitle = {Workshop Theorem Proving with Analytic Tableaux and Related Methods,
Lautenbach. Universit{\"{a}}t Karlsruhe, Fakult{\"{a}}t
f{\"{u}}r Informatik, Institut f{\"{u}}r Logik, Komplexit{\"{a}}t
und Deduktionssysteme, Interner Bericht 8/92, March 18-20, 1992},
pages = {4--6},
year = {1992},
timestamp = {Tue, 15 May 2012 18:19:31 +0200},
biburl = {https://dblp.org/rec/conf/tableaux/Araragi92.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tableaux/Baumgartner92,
author = {Peter Baumgartner},
editor = {Bertram Fronh{\"{o}}fer and
Reiner H{\"{a}}hnle and
Thomas K{\"{a}}ufl},
title = {A Model Elimination Calculus with Built-in Theories (Extended Abstract)},
booktitle = {Workshop Theorem Proving with Analytic Tableaux and Related Methods,
Lautenbach. Universit{\"{a}}t Karlsruhe, Fakult{\"{a}}t
f{\"{u}}r Informatik, Institut f{\"{u}}r Logik, Komplexit{\"{a}}t
und Deduktionssysteme, Interner Bericht 8/92, March 18-20, 1992},
pages = {7--10},
year = {1992},
timestamp = {Sun, 12 Nov 2017 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/tableaux/Baumgartner92.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tableaux/BaumgartnerF92,
author = {Peter Baumgartner and
Ulrich Furbach},
editor = {Bertram Fronh{\"{o}}fer and
Reiner H{\"{a}}hnle and
Thomas K{\"{a}}ufl},
title = {Consolution as a Framework for Comparing Calculi},
booktitle = {Workshop Theorem Proving with Analytic Tableaux and Related Methods,
Lautenbach. Universit{\"{a}}t Karlsruhe, Fakult{\"{a}}t
f{\"{u}}r Informatik, Institut f{\"{u}}r Logik, Komplexit{\"{a}}t
und Deduktionssysteme, Interner Bericht 8/92, March 18-20, 1992},
pages = {11--14},
year = {1992},
timestamp = {Sun, 12 Nov 2017 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/tableaux/BaumgartnerF92.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tableaux/Bittel92,
author = {Oliver Bittel},
editor = {Bertram Fronh{\"{o}}fer and
Reiner H{\"{a}}hnle and
Thomas K{\"{a}}ufl},
title = {The Lambda-Tableau Calculus: {A} New Approach to Theorem Proving in
the Intuitionistic Logic (Extended Abstract)},
booktitle = {Workshop Theorem Proving with Analytic Tableaux and Related Methods,
Lautenbach. Universit{\"{a}}t Karlsruhe, Fakult{\"{a}}t
f{\"{u}}r Informatik, Institut f{\"{u}}r Logik, Komplexit{\"{a}}t
und Deduktionssysteme, Interner Bericht 8/92, March 18-20, 1992},
pages = {15--18},
year = {1992},
timestamp = {Tue, 15 May 2012 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/tableaux/Bittel92.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tableaux/Bollinger92,
author = {Toni Bollinger},
editor = {Bertram Fronh{\"{o}}fer and
Reiner H{\"{a}}hnle and
Thomas K{\"{a}}ufl},
title = {A Model Elimination Calculus for Generalized Clauses},
booktitle = {Workshop Theorem Proving with Analytic Tableaux and Related Methods,
Lautenbach. Universit{\"{a}}t Karlsruhe, Fakult{\"{a}}t
f{\"{u}}r Informatik, Institut f{\"{u}}r Logik, Komplexit{\"{a}}t
und Deduktionssysteme, Interner Bericht 8/92, March 18-20, 1992},
pages = {19--22},
year = {1992},
timestamp = {Tue, 15 May 2012 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/tableaux/Bollinger92.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tableaux/CunninghamDP92,
author = {Jim Cunningham and
Marcello D'Agostino and
Jeremy V. Pitt},
editor = {Bertram Fronh{\"{o}}fer and
Reiner H{\"{a}}hnle and
Thomas K{\"{a}}ufl},
title = {Towards Tableau Theorem-Proving with Analytic Cut},
booktitle = {Workshop Theorem Proving with Analytic Tableaux and Related Methods,
Lautenbach. Universit{\"{a}}t Karlsruhe, Fakult{\"{a}}t
f{\"{u}}r Informatik, Institut f{\"{u}}r Logik, Komplexit{\"{a}}t
und Deduktionssysteme, Interner Bericht 8/92, March 18-20, 1992},
pages = {23--25},
year = {1992},
timestamp = {Tue, 15 May 2012 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/tableaux/CunninghamDP92.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tableaux/DAgostinoM92,
author = {Marcello D'Agostino and
Marco Mondadori},
editor = {Bertram Fronh{\"{o}}fer and
Reiner H{\"{a}}hnle and
Thomas K{\"{a}}ufl},
title = {An Improvement of Analytic Tableaux},
booktitle = {Workshop Theorem Proving with Analytic Tableaux and Related Methods,
Lautenbach. Universit{\"{a}}t Karlsruhe, Fakult{\"{a}}t
f{\"{u}}r Informatik, Institut f{\"{u}}r Logik, Komplexit{\"{a}}t
und Deduktionssysteme, Interner Bericht 8/92, March 18-20, 1992},
pages = {1--3},
year = {1992},
timestamp = {Tue, 15 May 2012 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/tableaux/DAgostinoM92.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tableaux/Girle92,
author = {Roderic A. Girle},
editor = {Bertram Fronh{\"{o}}fer and
Reiner H{\"{a}}hnle and
Thomas K{\"{a}}ufl},
title = {Possible Worlds Tableaux without Explicit Accessibility},
booktitle = {Workshop Theorem Proving with Analytic Tableaux and Related Methods,
Lautenbach. Universit{\"{a}}t Karlsruhe, Fakult{\"{a}}t
f{\"{u}}r Informatik, Institut f{\"{u}}r Logik, Komplexit{\"{a}}t
und Deduktionssysteme, Interner Bericht 8/92, March 18-20, 1992},
pages = {27--28},
year = {1992},
timestamp = {Tue, 15 May 2012 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/tableaux/Girle92.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tableaux/Grundy92,
author = {Mark Grundy},
editor = {Bertram Fronh{\"{o}}fer and
Reiner H{\"{a}}hnle and
Thomas K{\"{a}}ufl},
title = {Toward an Efficient Tableau Metaprover (Extended Abstract)},
booktitle = {Workshop Theorem Proving with Analytic Tableaux and Related Methods,
Lautenbach. Universit{\"{a}}t Karlsruhe, Fakult{\"{a}}t
f{\"{u}}r Informatik, Institut f{\"{u}}r Logik, Komplexit{\"{a}}t
und Deduktionssysteme, Interner Bericht 8/92, March 18-20, 1992},
pages = {29--31},
year = {1992},
timestamp = {Tue, 15 May 2012 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/tableaux/Grundy92.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tableaux/Hahnle92,
author = {Reiner H{\"{a}}hnle},
editor = {Bertram Fronh{\"{o}}fer and
Reiner H{\"{a}}hnle and
Thomas K{\"{a}}ufl},
title = {Analytic Tableau and Integer Programming (Extended Abstract)},
booktitle = {Workshop Theorem Proving with Analytic Tableaux and Related Methods,
Lautenbach. Universit{\"{a}}t Karlsruhe, Fakult{\"{a}}t
f{\"{u}}r Informatik, Institut f{\"{u}}r Logik, Komplexit{\"{a}}t
und Deduktionssysteme, Interner Bericht 8/92, March 18-20, 1992},
pages = {33--35},
year = {1992},
timestamp = {Tue, 15 May 2012 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/tableaux/Hahnle92.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tableaux/JohnsonR92,
author = {Robert Johnson and
Steve Reeves},
editor = {Bertram Fronh{\"{o}}fer and
Reiner H{\"{a}}hnle and
Thomas K{\"{a}}ufl},
title = {Necessary and Possible Set Reconciliation and Unification in Semantic
Tableau Systems (Extended Abstract)},
booktitle = {Workshop Theorem Proving with Analytic Tableaux and Related Methods,
Lautenbach. Universit{\"{a}}t Karlsruhe, Fakult{\"{a}}t
f{\"{u}}r Informatik, Institut f{\"{u}}r Logik, Komplexit{\"{a}}t
und Deduktionssysteme, Interner Bericht 8/92, March 18-20, 1992},
pages = {37--39},
year = {1992},
timestamp = {Tue, 15 May 2012 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/tableaux/JohnsonR92.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tableaux/Kaufl92,
author = {Thomas K{\"{a}}ufl},
editor = {Bertram Fronh{\"{o}}fer and
Reiner H{\"{a}}hnle and
Thomas K{\"{a}}ufl},
title = {The Prover of the Program Verification System Tatzelwurm},
booktitle = {Workshop Theorem Proving with Analytic Tableaux and Related Methods,
Lautenbach. Universit{\"{a}}t Karlsruhe, Fakult{\"{a}}t
f{\"{u}}r Informatik, Institut f{\"{u}}r Logik, Komplexit{\"{a}}t
und Deduktionssysteme, Interner Bericht 8/92, March 18-20, 1992},
pages = {40--42},
year = {1992},
timestamp = {Tue, 15 May 2012 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/tableaux/Kaufl92.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tableaux/KrapezKOP92,
author = {Aleksandar Krapez and
Miodrag Kapetanovic and
Zoran Ognjanovic and
Tatjana Petrovic},
editor = {Bertram Fronh{\"{o}}fer and
Reiner H{\"{a}}hnle and
Thomas K{\"{a}}ufl},
title = {Prover 91 - {A} Parallel Theorem Prover (Extended Abstract)},
booktitle = {Workshop Theorem Proving with Analytic Tableaux and Related Methods,
Lautenbach. Universit{\"{a}}t Karlsruhe, Fakult{\"{a}}t
f{\"{u}}r Informatik, Institut f{\"{u}}r Logik, Komplexit{\"{a}}t
und Deduktionssysteme, Interner Bericht 8/92, March 18-20, 1992},
pages = {43--45},
year = {1992},
timestamp = {Tue, 15 May 2012 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/tableaux/KrapezKOP92.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tableaux/Lamarre92,
author = {Philippe Lamarre},
editor = {Bertram Fronh{\"{o}}fer and
Reiner H{\"{a}}hnle and
Thomas K{\"{a}}ufl},
title = {A Tableau Like Theorem Prover for Conditional Logics (Extended Abstract)},
booktitle = {Workshop Theorem Proving with Analytic Tableaux and Related Methods,
Lautenbach. Universit{\"{a}}t Karlsruhe, Fakult{\"{a}}t
f{\"{u}}r Informatik, Institut f{\"{u}}r Logik, Komplexit{\"{a}}t
und Deduktionssysteme, Interner Bericht 8/92, March 18-20, 1992},
pages = {52--55},
year = {1992},
timestamp = {Tue, 15 May 2012 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/tableaux/Lamarre92.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tableaux/Lehmann92,
author = {J{\"{u}}rgen Lehmann},
editor = {Bertram Fronh{\"{o}}fer and
Reiner H{\"{a}}hnle and
Thomas K{\"{a}}ufl},
title = {A Workbench for Model Elimination (Abstract)},
booktitle = {Workshop Theorem Proving with Analytic Tableaux and Related Methods,
Lautenbach. Universit{\"{a}}t Karlsruhe, Fakult{\"{a}}t
f{\"{u}}r Informatik, Institut f{\"{u}}r Logik, Komplexit{\"{a}}t
und Deduktionssysteme, Interner Bericht 8/92, March 18-20, 1992},
pages = {46--48},
year = {1992},
timestamp = {Tue, 15 May 2012 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/tableaux/Lehmann92.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tableaux/LetzM92,
author = {Reinhold Letz and
Klaus Mayr},
editor = {Bertram Fronh{\"{o}}fer and
Reiner H{\"{a}}hnle and
Thomas K{\"{a}}ufl},
title = {{SETHEO} {II} - The System and its Calculi},
booktitle = {Workshop Theorem Proving with Analytic Tableaux and Related Methods,
Lautenbach. Universit{\"{a}}t Karlsruhe, Fakult{\"{a}}t
f{\"{u}}r Informatik, Institut f{\"{u}}r Logik, Komplexit{\"{a}}t
und Deduktionssysteme, Interner Bericht 8/92, March 18-20, 1992},
pages = {49--51},
year = {1992},
timestamp = {Tue, 15 May 2012 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/tableaux/LetzM92.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tableaux/Morgan92,
author = {Charles G. Morgan},
editor = {Bertram Fronh{\"{o}}fer and
Reiner H{\"{a}}hnle and
Thomas K{\"{a}}ufl},
title = {An Automated Theorem Prover for Relational Logic (Abstract)},
booktitle = {Workshop Theorem Proving with Analytic Tableaux and Related Methods,
Lautenbach. Universit{\"{a}}t Karlsruhe, Fakult{\"{a}}t
f{\"{u}}r Informatik, Institut f{\"{u}}r Logik, Komplexit{\"{a}}t
und Deduktionssysteme, Interner Bericht 8/92, March 18-20, 1992},
pages = {56--58},
year = {1992},
timestamp = {Tue, 15 May 2012 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/tableaux/Morgan92.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tableaux/Neitz92,
author = {Wilfried Neitz},
editor = {Bertram Fronh{\"{o}}fer and
Reiner H{\"{a}}hnle and
Thomas K{\"{a}}ufl},
title = {A Connection Method based Theorem Prover with Selective Backtracking
(Extended Abstract)},
booktitle = {Workshop Theorem Proving with Analytic Tableaux and Related Methods,
Lautenbach. Universit{\"{a}}t Karlsruhe, Fakult{\"{a}}t
f{\"{u}}r Informatik, Institut f{\"{u}}r Logik, Komplexit{\"{a}}t
und Deduktionssysteme, Interner Bericht 8/92, March 18-20, 1992},
pages = {59--60},
year = {1992},
timestamp = {Tue, 15 May 2012 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/tableaux/Neitz92.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tableaux/OgnjanovicUPR92,
author = {Zoran Ognjanovic and
Dragan Urosevic and
Tatjana Petrovic and
Zorana Ristovic},
editor = {Bertram Fronh{\"{o}}fer and
Reiner H{\"{a}}hnle and
Thomas K{\"{a}}ufl},
title = {A Tableaux Retlated Method for Modal Theorem Proving (Extended Abstract)},
booktitle = {Workshop Theorem Proving with Analytic Tableaux and Related Methods,
Lautenbach. Universit{\"{a}}t Karlsruhe, Fakult{\"{a}}t
f{\"{u}}r Informatik, Institut f{\"{u}}r Logik, Komplexit{\"{a}}t
und Deduktionssysteme, Interner Bericht 8/92, March 18-20, 1992},
pages = {61--63},
year = {1992},
timestamp = {Tue, 15 May 2012 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/tableaux/OgnjanovicUPR92.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tableaux/Petermann92,
author = {Uwe Petermann},
editor = {Bertram Fronh{\"{o}}fer and
Reiner H{\"{a}}hnle and
Thomas K{\"{a}}ufl},
title = {Proving Completeness of Connection and Other First-Order Calculi with
Built-In Theories (Extended Abstract)},
booktitle = {Workshop Theorem Proving with Analytic Tableaux and Related Methods,
Lautenbach. Universit{\"{a}}t Karlsruhe, Fakult{\"{a}}t
f{\"{u}}r Informatik, Institut f{\"{u}}r Logik, Komplexit{\"{a}}t
und Deduktionssysteme, Interner Bericht 8/92, March 18-20, 1992},
pages = {64--66},
year = {1992},
timestamp = {Tue, 15 May 2012 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/tableaux/Petermann92.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tableaux/Pliuskevicius92,
author = {Regimantas Pliuskevicius},
editor = {Bertram Fronh{\"{o}}fer and
Reiner H{\"{a}}hnle and
Thomas K{\"{a}}ufl},
title = {The Analityc Tableaux for Linear Temporal Logic},
booktitle = {Workshop Theorem Proving with Analytic Tableaux and Related Methods,
Lautenbach. Universit{\"{a}}t Karlsruhe, Fakult{\"{a}}t
f{\"{u}}r Informatik, Institut f{\"{u}}r Logik, Komplexit{\"{a}}t
und Deduktionssysteme, Interner Bericht 8/92, March 18-20, 1992},
pages = {70--72},
year = {1992},
timestamp = {Tue, 15 May 2012 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/tableaux/Pliuskevicius92.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tableaux/Posegga92,
author = {Joachim Posegga},
editor = {Bertram Fronh{\"{o}}fer and
Reiner H{\"{a}}hnle and
Thomas K{\"{a}}ufl},
title = {First-Order Shannon Graphs (Extended Abstract)},
booktitle = {Workshop Theorem Proving with Analytic Tableaux and Related Methods,
Lautenbach. Universit{\"{a}}t Karlsruhe, Fakult{\"{a}}t
f{\"{u}}r Informatik, Institut f{\"{u}}r Logik, Komplexit{\"{a}}t
und Deduktionssysteme, Interner Bericht 8/92, March 18-20, 1992},
pages = {67--69},
year = {1992},
timestamp = {Tue, 15 May 2012 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/tableaux/Posegga92.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tableaux/RameshBM92,
author = {Anavai Ramesh and
George Becker and
Neil V. Murray},
editor = {Bertram Fronh{\"{o}}fer and
Reiner H{\"{a}}hnle and
Thomas K{\"{a}}ufl},
title = {On Computing Prime Implicants and Prime Implicates},
booktitle = {Workshop Theorem Proving with Analytic Tableaux and Related Methods,
Lautenbach. Universit{\"{a}}t Karlsruhe, Fakult{\"{a}}t
f{\"{u}}r Informatik, Institut f{\"{u}}r Logik, Komplexit{\"{a}}t
und Deduktionssysteme, Interner Bericht 8/92, March 18-20, 1992},
pages = {73--75},
year = {1992},
timestamp = {Tue, 15 May 2012 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/tableaux/RameshBM92.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tableaux/RischS92,
author = {Vincent Risch and
Camilla Schwind},
editor = {Bertram Fronh{\"{o}}fer and
Reiner H{\"{a}}hnle and
Thomas K{\"{a}}ufl},
title = {Tableaux-Based Theorem Proving and Non-Standard Reasoning},
booktitle = {Workshop Theorem Proving with Analytic Tableaux and Related Methods,
Lautenbach. Universit{\"{a}}t Karlsruhe, Fakult{\"{a}}t
f{\"{u}}r Informatik, Institut f{\"{u}}r Logik, Komplexit{\"{a}}t
und Deduktionssysteme, Interner Bericht 8/92, March 18-20, 1992},
pages = {76--78},
year = {1992},
timestamp = {Tue, 15 May 2012 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/tableaux/RischS92.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tableaux/Vorch92,
author = {Raoul Vorc'h},
editor = {Bertram Fronh{\"{o}}fer and
Reiner H{\"{a}}hnle and
Thomas K{\"{a}}ufl},
title = {Generalization and Abstraction Using Tableaux-Based Proof Systems},
booktitle = {Workshop Theorem Proving with Analytic Tableaux and Related Methods,
Lautenbach. Universit{\"{a}}t Karlsruhe, Fakult{\"{a}}t
f{\"{u}}r Informatik, Institut f{\"{u}}r Logik, Komplexit{\"{a}}t
und Deduktionssysteme, Interner Bericht 8/92, March 18-20, 1992},
pages = {79--81},
year = {1992},
timestamp = {Tue, 15 May 2012 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/tableaux/Vorch92.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tableaux/Wernecke92,
author = {Wolfgang Wernecke},
editor = {Bertram Fronh{\"{o}}fer and
Reiner H{\"{a}}hnle and
Thomas K{\"{a}}ufl},
title = {Tableau Calculus and Equational Reasoning (Extended Abstract)},
booktitle = {Workshop Theorem Proving with Analytic Tableaux and Related Methods,
Lautenbach. Universit{\"{a}}t Karlsruhe, Fakult{\"{a}}t
f{\"{u}}r Informatik, Institut f{\"{u}}r Logik, Komplexit{\"{a}}t
und Deduktionssysteme, Interner Bericht 8/92, March 18-20, 1992},
pages = {82--84},
year = {1992},
timestamp = {Tue, 15 May 2012 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/tableaux/Wernecke92.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tableaux/Wrightson92,
author = {Graham Wrightson},
editor = {Bertram Fronh{\"{o}}fer and
Reiner H{\"{a}}hnle and
Thomas K{\"{a}}ufl},
title = {Research into Analytic Tableaux},
booktitle = {Workshop Theorem Proving with Analytic Tableaux and Related Methods,
Lautenbach. Universit{\"{a}}t Karlsruhe, Fakult{\"{a}}t
f{\"{u}}r Informatik, Institut f{\"{u}}r Logik, Komplexit{\"{a}}t
und Deduktionssysteme, Interner Bericht 8/92, March 18-20, 1992},
pages = {85--87},
year = {1992},
timestamp = {Tue, 15 May 2012 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/tableaux/Wrightson92.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tableaux/Zabel92,
author = {Nicolas Zabel},
editor = {Bertram Fronh{\"{o}}fer and
Reiner H{\"{a}}hnle and
Thomas K{\"{a}}ufl},
title = {Deciding Fragments of the First Order Logic within an Extended Tableau
Method},
booktitle = {Workshop Theorem Proving with Analytic Tableaux and Related Methods,
Lautenbach. Universit{\"{a}}t Karlsruhe, Fakult{\"{a}}t
f{\"{u}}r Informatik, Institut f{\"{u}}r Logik, Komplexit{\"{a}}t
und Deduktionssysteme, Interner Bericht 8/92, March 18-20, 1992},
pages = {88--91},
year = {1992},
timestamp = {Tue, 15 May 2012 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/tableaux/Zabel92.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/tableaux/1992,
editor = {Bertram Fronh{\"{o}}fer and
Reiner H{\"{a}}hnle and
Thomas K{\"{a}}ufl},
title = {Workshop Theorem Proving with Analytic Tableaux and Related Methods,
Lautenbach. Universit{\"{a}}t Karlsruhe, Fakult{\"{a}}t
f{\"{u}}r Informatik, Institut f{\"{u}}r Logik, Komplexit{\"{a}}t
und Deduktionssysteme, Interner Bericht 8/92, March 18-20, 1992},
year = {1992},
timestamp = {Tue, 15 May 2012 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/tableaux/1992.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
a service of 
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-05-27 04:18 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:
