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/tableaux98.bht:"
download as .bib file
@inproceedings{DBLP:conf/tableaux/BaldoniGM98,
author = {Matteo Baldoni and
Laura Giordano and
Alberto Martelli},
editor = {Harrie C. M. de Swart},
title = {A Tableau for Multimodal Logics and Some (Un)Decidability Results},
booktitle = {Automated Reasoning with Analytic Tableaux and Related Methods, International
Conference, {TABLEAUX} '98, Oisterwijk, The Netherlands, May 5-8,
1998, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1397},
pages = {44--59},
publisher = {Springer},
year = {1998},
url = {https://doi.org/10.1007/3-540-69778-0\_13},
doi = {10.1007/3-540-69778-0\_13},
timestamp = {Tue, 14 May 2019 10:00:54 +0200},
biburl = {https://dblp.org/rec/conf/tableaux/BaldoniGM98.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tableaux/BalsigerH98,
author = {Peter Balsiger and
Alain Heuerding},
editor = {Harrie C. M. de Swart},
title = {Comparison of Theorem Provers for Modal Logics - Introduction and
Summary},
booktitle = {Automated Reasoning with Analytic Tableaux and Related Methods, International
Conference, {TABLEAUX} '98, Oisterwijk, The Netherlands, May 5-8,
1998, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1397},
pages = {25--26},
publisher = {Springer},
year = {1998},
url = {https://doi.org/10.1007/3-540-69778-0\_4},
doi = {10.1007/3-540-69778-0\_4},
timestamp = {Tue, 23 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/tableaux/BalsigerH98.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tableaux/BalsigerHS98,
author = {Peter Balsiger and
Alain Heuerding and
Stefan Schwendimann},
editor = {Harrie C. M. de Swart},
title = {Logics Workbench 1.0},
booktitle = {Automated Reasoning with Analytic Tableaux and Related Methods, International
Conference, {TABLEAUX} '98, Oisterwijk, The Netherlands, May 5-8,
1998, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1397},
pages = {35--37},
publisher = {Springer},
year = {1998},
url = {https://doi.org/10.1007/3-540-69778-0\_8},
doi = {10.1007/3-540-69778-0\_8},
timestamp = {Tue, 23 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/tableaux/BalsigerHS98.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tableaux/Baumgartner98,
author = {Peter Baumgartner},
editor = {Harrie C. M. de Swart},
title = {Hyper Tableau - The Next Generation},
booktitle = {Automated Reasoning with Analytic Tableaux and Related Methods, International
Conference, {TABLEAUX} '98, Oisterwijk, The Netherlands, May 5-8,
1998, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1397},
pages = {60--76},
publisher = {Springer},
year = {1998},
url = {https://doi.org/10.1007/3-540-69778-0\_14},
doi = {10.1007/3-540-69778-0\_14},
timestamp = {Sun, 12 Nov 2017 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/tableaux/Baumgartner98.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tableaux/BeckertG98,
author = {Bernhard Beckert and
Rajeev Gor{\'{e}}},
editor = {Harrie C. M. de Swart},
title = {leanK 2.0},
booktitle = {Automated Reasoning with Analytic Tableaux and Related Methods, International
Conference, {TABLEAUX} '98, Oisterwijk, The Netherlands, May 5-8,
1998, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1397},
pages = {33--34},
publisher = {Springer},
year = {1998},
url = {https://doi.org/10.1007/3-540-69778-0\_7},
doi = {10.1007/3-540-69778-0\_7},
timestamp = {Tue, 23 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/tableaux/BeckertG98.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tableaux/BeckertG98a,
author = {Bernhard Beckert and
Dov M. Gabbay},
editor = {Harrie C. M. de Swart},
title = {Fibring Semantic Tableaux},
booktitle = {Automated Reasoning with Analytic Tableaux and Related Methods, International
Conference, {TABLEAUX} '98, Oisterwijk, The Netherlands, May 5-8,
1998, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1397},
pages = {77--92},
publisher = {Springer},
year = {1998},
url = {https://doi.org/10.1007/3-540-69778-0\_15},
doi = {10.1007/3-540-69778-0\_15},
timestamp = {Tue, 23 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/tableaux/BeckertG98a.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tableaux/BeckertH98,
author = {Bernhard Beckert and
Ulrike Hartmer},
editor = {Harrie C. M. de Swart},
title = {A Tableau Calculus for Quantifier-Free Set Theoretic Formulae},
booktitle = {Automated Reasoning with Analytic Tableaux and Related Methods, International
Conference, {TABLEAUX} '98, Oisterwijk, The Netherlands, May 5-8,
1998, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1397},
pages = {93--107},
publisher = {Springer},
year = {1998},
url = {https://doi.org/10.1007/3-540-69778-0\_16},
doi = {10.1007/3-540-69778-0\_16},
timestamp = {Tue, 23 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/tableaux/BeckertH98.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tableaux/BowmanT98,
author = {Howard Bowman and
Simon J. Thompson},
editor = {Harrie C. M. de Swart},
title = {A Tableau Method for Interval Temporal Logic with Projection},
booktitle = {Automated Reasoning with Analytic Tableaux and Related Methods, International
Conference, {TABLEAUX} '98, Oisterwijk, The Netherlands, May 5-8,
1998, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1397},
pages = {108--123},
publisher = {Springer},
year = {1998},
url = {https://doi.org/10.1007/3-540-69778-0\_17},
doi = {10.1007/3-540-69778-0\_17},
timestamp = {Tue, 23 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/tableaux/BowmanT98.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tableaux/Bruijn98,
author = {N. G. de Bruijn},
editor = {Harrie C. M. de Swart},
title = {Philosophical Aspects of Computerized Verification of Mathematics},
booktitle = {Automated Reasoning with Analytic Tableaux and Related Methods, International
Conference, {TABLEAUX} '98, Oisterwijk, The Netherlands, May 5-8,
1998, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1397},
pages = {1--9},
publisher = {Springer},
year = {1998},
url = {https://doi.org/10.1007/3-540-69778-0\_1},
doi = {10.1007/3-540-69778-0\_1},
timestamp = {Tue, 23 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/tableaux/Bruijn98.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tableaux/Bundy98,
author = {Alan Bundy},
editor = {Harrie C. M. de Swart},
title = {A Science of Reasoning (Extended Abstract)},
booktitle = {Automated Reasoning with Analytic Tableaux and Related Methods, International
Conference, {TABLEAUX} '98, Oisterwijk, The Netherlands, May 5-8,
1998, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1397},
pages = {10--17},
publisher = {Springer},
year = {1998},
url = {https://doi.org/10.1007/3-540-69778-0\_2},
doi = {10.1007/3-540-69778-0\_2},
timestamp = {Tue, 23 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/tableaux/Bundy98.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tableaux/CerritoM98,
author = {Serenella Cerrito and
Marta Cialdea Mayer},
editor = {Harrie C. M. de Swart},
title = {Bounded Model Search in Linear Temporal Logic and Its Application
to Planning},
booktitle = {Automated Reasoning with Analytic Tableaux and Related Methods, International
Conference, {TABLEAUX} '98, Oisterwijk, The Netherlands, May 5-8,
1998, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1397},
pages = {124--140},
publisher = {Springer},
year = {1998},
url = {https://doi.org/10.1007/3-540-69778-0\_18},
doi = {10.1007/3-540-69778-0\_18},
timestamp = {Tue, 23 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/tableaux/CerritoM98.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tableaux/ClarkeB98,
author = {Edmund M. Clarke and
Sergey Berezin},
editor = {Harrie C. M. de Swart},
title = {Model Checking: Historical Perspective and Example (Extended Abstract)},
booktitle = {Automated Reasoning with Analytic Tableaux and Related Methods, International
Conference, {TABLEAUX} '98, Oisterwijk, The Netherlands, May 5-8,
1998, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1397},
pages = {18--24},
publisher = {Springer},
year = {1998},
url = {https://doi.org/10.1007/3-540-69778-0\_3},
doi = {10.1007/3-540-69778-0\_3},
timestamp = {Tue, 23 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/tableaux/ClarkeB98.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tableaux/EglyT98,
author = {Uwe Egly and
Hans Tompits},
editor = {Harrie C. M. de Swart},
title = {On Proof Complexity of Circumscription},
booktitle = {Automated Reasoning with Analytic Tableaux and Related Methods, International
Conference, {TABLEAUX} '98, Oisterwijk, The Netherlands, May 5-8,
1998, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1397},
pages = {141--155},
publisher = {Springer},
year = {1998},
url = {https://doi.org/10.1007/3-540-69778-0\_19},
doi = {10.1007/3-540-69778-0\_19},
timestamp = {Tue, 23 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/tableaux/EglyT98.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tableaux/FermullerL98,
author = {Christian G. Ferm{\"{u}}ller and
Herbert Langsteiner},
editor = {Harrie C. M. de Swart},
title = {Tableaux for Finite-Valued Logics with Arbitrary Distribution Modalities},
booktitle = {Automated Reasoning with Analytic Tableaux and Related Methods, International
Conference, {TABLEAUX} '98, Oisterwijk, The Netherlands, May 5-8,
1998, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1397},
pages = {156--171},
publisher = {Springer},
year = {1998},
url = {https://doi.org/10.1007/3-540-69778-0\_20},
doi = {10.1007/3-540-69778-0\_20},
timestamp = {Tue, 23 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/tableaux/FermullerL98.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tableaux/HahnleMR98,
author = {Reiner H{\"{a}}hnle and
Neil V. Murray and
Erik Rosenthal},
editor = {Harrie C. M. de Swart},
title = {Some Remarks on Completeness, Connection Graph Resolution and Link
Deletion},
booktitle = {Automated Reasoning with Analytic Tableaux and Related Methods, International
Conference, {TABLEAUX} '98, Oisterwijk, The Netherlands, May 5-8,
1998, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1397},
pages = {173--186},
publisher = {Springer},
year = {1998},
url = {https://doi.org/10.1007/3-540-69778-0\_21},
doi = {10.1007/3-540-69778-0\_21},
timestamp = {Fri, 02 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/tableaux/HahnleMR98.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tableaux/Horrocks98,
author = {Ian Horrocks},
editor = {Harrie C. M. de Swart},
title = {The FaCT System},
booktitle = {Automated Reasoning with Analytic Tableaux and Related Methods, International
Conference, {TABLEAUX} '98, Oisterwijk, The Netherlands, May 5-8,
1998, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1397},
pages = {307--312},
publisher = {Springer},
year = {1998},
url = {https://doi.org/10.1007/3-540-69778-0\_30},
doi = {10.1007/3-540-69778-0\_30},
timestamp = {Tue, 12 Apr 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/tableaux/Horrocks98.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tableaux/HorrocksP98,
author = {Ian Horrocks and
Peter F. Patel{-}Schneider},
editor = {Harrie C. M. de Swart},
title = {FaCT and {DLP}},
booktitle = {Automated Reasoning with Analytic Tableaux and Related Methods, International
Conference, {TABLEAUX} '98, Oisterwijk, The Netherlands, May 5-8,
1998, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1397},
pages = {27--30},
publisher = {Springer},
year = {1998},
url = {https://doi.org/10.1007/3-540-69778-0\_5},
doi = {10.1007/3-540-69778-0\_5},
timestamp = {Tue, 12 Apr 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/tableaux/HorrocksP98.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tableaux/HustadtS98,
author = {Ullrich Hustadt and
Renate A. Schmidt},
editor = {Harrie C. M. de Swart},
title = {Simplification and Backjumping in Modal Tableau},
booktitle = {Automated Reasoning with Analytic Tableaux and Related Methods, International
Conference, {TABLEAUX} '98, Oisterwijk, The Netherlands, May 5-8,
1998, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1397},
pages = {187--201},
publisher = {Springer},
year = {1998},
url = {https://doi.org/10.1007/3-540-69778-0\_22},
doi = {10.1007/3-540-69778-0\_22},
timestamp = {Thu, 15 Jun 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/tableaux/HustadtS98.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tableaux/Janssen98,
author = {G. L. J. M. Janssen},
editor = {Harrie C. M. de Swart},
title = {Implementation of Propositional Temporal Logics Using BDDs},
booktitle = {Automated Reasoning with Analytic Tableaux and Related Methods, International
Conference, {TABLEAUX} '98, Oisterwijk, The Netherlands, May 5-8,
1998, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1397},
pages = {40--41},
publisher = {Springer},
year = {1998},
url = {https://doi.org/10.1007/3-540-69778-0\_11},
doi = {10.1007/3-540-69778-0\_11},
timestamp = {Tue, 23 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/tableaux/Janssen98.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tableaux/KomaraV98,
author = {J{\'{a}}n Komara and
Paul J. Voda},
editor = {Harrie C. M. de Swart},
title = {Computer Programming as Mathematics in a Programming Language and
Proof System {CL}},
booktitle = {Automated Reasoning with Analytic Tableaux and Related Methods, International
Conference, {TABLEAUX} '98, Oisterwijk, The Netherlands, May 5-8,
1998, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1397},
pages = {42--43},
publisher = {Springer},
year = {1998},
url = {https://doi.org/10.1007/3-540-69778-0\_12},
doi = {10.1007/3-540-69778-0\_12},
timestamp = {Tue, 23 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/tableaux/KomaraV98.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tableaux/Levy98,
author = {Michel Levy},
editor = {Harrie C. M. de Swart},
title = {Prover {KT4}},
booktitle = {Automated Reasoning with Analytic Tableaux and Related Methods, International
Conference, {TABLEAUX} '98, Oisterwijk, The Netherlands, May 5-8,
1998, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1397},
pages = {31--32},
publisher = {Springer},
year = {1998},
url = {https://doi.org/10.1007/3-540-69778-0\_6},
doi = {10.1007/3-540-69778-0\_6},
timestamp = {Tue, 23 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/tableaux/Levy98.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tableaux/MartinGL98,
author = {Pedro J. Mart{\'{\i}}n and
Antonio Gavilanes and
Javier Leach},
editor = {Harrie C. M. de Swart},
title = {Free Variable Tableaux for a Logic with Term Declarations},
booktitle = {Automated Reasoning with Analytic Tableaux and Related Methods, International
Conference, {TABLEAUX} '98, Oisterwijk, The Netherlands, May 5-8,
1998, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1397},
pages = {202--216},
publisher = {Springer},
year = {1998},
url = {https://doi.org/10.1007/3-540-69778-0\_23},
doi = {10.1007/3-540-69778-0\_23},
timestamp = {Tue, 23 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/tableaux/MartinGL98.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tableaux/Massacci98,
author = {Fabio Massacci},
editor = {Harrie C. M. de Swart},
title = {Simplification: {A} General Constraint Propagation Technique for Propositional
and Modal Tableaux},
booktitle = {Automated Reasoning with Analytic Tableaux and Related Methods, International
Conference, {TABLEAUX} '98, Oisterwijk, The Netherlands, May 5-8,
1998, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1397},
pages = {217--231},
publisher = {Springer},
year = {1998},
url = {https://doi.org/10.1007/3-540-69778-0\_24},
doi = {10.1007/3-540-69778-0\_24},
timestamp = {Tue, 23 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/tableaux/Massacci98.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tableaux/MonzR98,
author = {Christof Monz and
Maarten de Rijke},
editor = {Harrie C. M. de Swart},
title = {A Tableaux Calculus for Ambiguous Quantification},
booktitle = {Automated Reasoning with Analytic Tableaux and Related Methods, International
Conference, {TABLEAUX} '98, Oisterwijk, The Netherlands, May 5-8,
1998, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1397},
pages = {232--246},
publisher = {Springer},
year = {1998},
url = {https://doi.org/10.1007/3-540-69778-0\_25},
doi = {10.1007/3-540-69778-0\_25},
timestamp = {Tue, 23 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/tableaux/MonzR98.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tableaux/NegriP98,
author = {Sara Negri and
Jan von Plato},
editor = {Harrie C. M. de Swart},
title = {From Kripke Models to Algebraic Counter-Valuations},
booktitle = {Automated Reasoning with Analytic Tableaux and Related Methods, International
Conference, {TABLEAUX} '98, Oisterwijk, The Netherlands, May 5-8,
1998, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1397},
pages = {247--261},
publisher = {Springer},
year = {1998},
url = {https://doi.org/10.1007/3-540-69778-0\_26},
doi = {10.1007/3-540-69778-0\_26},
timestamp = {Tue, 23 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/tableaux/NegriP98.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tableaux/Pitt98,
author = {Jeremy V. Pitt},
editor = {Harrie C. M. de Swart},
title = {Benchmark Evaluation of Square-KE},
booktitle = {Automated Reasoning with Analytic Tableaux and Related Methods, International
Conference, {TABLEAUX} '98, Oisterwijk, The Netherlands, May 5-8,
1998, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1397},
pages = {38--39},
publisher = {Springer},
year = {1998},
url = {https://doi.org/10.1007/3-540-69778-0\_10},
doi = {10.1007/3-540-69778-0\_10},
timestamp = {Tue, 23 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/tableaux/Pitt98.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tableaux/SchmittK98,
author = {Stephan Schmitt and
Christoph Kreitz},
editor = {Harrie C. M. de Swart},
title = {Deleting Redundancy in Proof Reconstruction},
booktitle = {Automated Reasoning with Analytic Tableaux and Related Methods, International
Conference, {TABLEAUX} '98, Oisterwijk, The Netherlands, May 5-8,
1998, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1397},
pages = {262--276},
publisher = {Springer},
year = {1998},
url = {https://doi.org/10.1007/3-540-69778-0\_27},
doi = {10.1007/3-540-69778-0\_27},
timestamp = {Tue, 23 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/tableaux/SchmittK98.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tableaux/Schwendimann98,
author = {Stefan Schwendimann},
editor = {Harrie C. M. de Swart},
title = {A New One-Pass Tableau Calculus for {PLTL}},
booktitle = {Automated Reasoning with Analytic Tableaux and Related Methods, International
Conference, {TABLEAUX} '98, Oisterwijk, The Netherlands, May 5-8,
1998, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1397},
pages = {277--292},
publisher = {Springer},
year = {1998},
url = {https://doi.org/10.1007/3-540-69778-0\_28},
doi = {10.1007/3-540-69778-0\_28},
timestamp = {Tue, 23 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/tableaux/Schwendimann98.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tableaux/Urban98,
author = {Christian Urban},
editor = {Harrie C. M. de Swart},
title = {Implementation of Proof Search in the Imperative Programming Language
Pizza},
booktitle = {Automated Reasoning with Analytic Tableaux and Related Methods, International
Conference, {TABLEAUX} '98, Oisterwijk, The Netherlands, May 5-8,
1998, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1397},
pages = {313--319},
publisher = {Springer},
year = {1998},
url = {https://doi.org/10.1007/3-540-69778-0\_31},
doi = {10.1007/3-540-69778-0\_31},
timestamp = {Tue, 23 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/tableaux/Urban98.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tableaux/Weich98,
author = {Klaus Weich},
editor = {Harrie C. M. de Swart},
title = {Decision Procedures for Intuitionistic Propositional Logic by Program
Extraction},
booktitle = {Automated Reasoning with Analytic Tableaux and Related Methods, International
Conference, {TABLEAUX} '98, Oisterwijk, The Netherlands, May 5-8,
1998, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1397},
pages = {292--306},
publisher = {Springer},
year = {1998},
url = {https://doi.org/10.1007/3-540-69778-0\_29},
doi = {10.1007/3-540-69778-0\_29},
timestamp = {Tue, 23 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/tableaux/Weich98.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tableaux/Wolf98,
author = {Andreas Wolf},
editor = {Harrie C. M. de Swart},
title = {p-SETHEO: Strategy Parallelism in Automated Theorem Proving},
booktitle = {Automated Reasoning with Analytic Tableaux and Related Methods, International
Conference, {TABLEAUX} '98, Oisterwijk, The Netherlands, May 5-8,
1998, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1397},
pages = {320--324},
publisher = {Springer},
year = {1998},
url = {https://doi.org/10.1007/3-540-69778-0\_32},
doi = {10.1007/3-540-69778-0\_32},
timestamp = {Tue, 23 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/tableaux/Wolf98.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/tableaux/1998,
editor = {Harrie C. M. de Swart},
title = {Automated Reasoning with Analytic Tableaux and Related Methods, International
Conference, {TABLEAUX} '98, Oisterwijk, The Netherlands, May 5-8,
1998, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1397},
publisher = {Springer},
year = {1998},
url = {https://doi.org/10.1007/3-540-69778-0},
doi = {10.1007/3-540-69778-0},
isbn = {3-540-64406-7},
timestamp = {Tue, 14 May 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/tableaux/1998.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-28 13:45 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:
