default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDSearch dblp for Publications
export results for "stream:streams/conf/kgc:"
download as .bib file
@inproceedings{DBLP:conf/kgc/Bachmair97,
author = {Leo Bachmair},
editor = {Georg Gottlob and
Alexander Leitsch and
Daniele Mundici},
title = {Paramodulation, Superposition, and Simplification},
booktitle = {Computational Logic and Proof Theory, 5th Kurt G{\"{o}}del Colloquium,
KGC'97, Vienna, Austria, August 25-29, 1997, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1289},
pages = {1--3},
publisher = {Springer},
year = {1997},
url = {https://doi.org/10.1007/3-540-63385-5\_28},
doi = {10.1007/3-540-63385-5\_28},
timestamp = {Tue, 14 May 2019 10:00:52 +0200},
biburl = {https://dblp.org/rec/conf/kgc/Bachmair97.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/kgc/BasinMV97,
author = {David A. Basin and
Se{\'{a}}n Matthews and
Luca Vigan{\`{o}}},
editor = {Georg Gottlob and
Alexander Leitsch and
Daniele Mundici},
title = {A New Method for Bounding the Complexity of Modal Logics},
booktitle = {Computational Logic and Proof Theory, 5th Kurt G{\"{o}}del Colloquium,
KGC'97, Vienna, Austria, August 25-29, 1997, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1289},
pages = {89--102},
publisher = {Springer},
year = {1997},
url = {https://doi.org/10.1007/3-540-63385-5\_35},
doi = {10.1007/3-540-63385-5\_35},
timestamp = {Mon, 22 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/kgc/BasinMV97.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/kgc/Beklemishev97,
author = {Lev D. Beklemishev},
editor = {Georg Gottlob and
Alexander Leitsch and
Daniele Mundici},
title = {Parameter Free Induction and Reflection},
booktitle = {Computational Logic and Proof Theory, 5th Kurt G{\"{o}}del Colloquium,
KGC'97, Vienna, Austria, August 25-29, 1997, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1289},
pages = {103--113},
publisher = {Springer},
year = {1997},
url = {https://doi.org/10.1007/3-540-63385-5\_36},
doi = {10.1007/3-540-63385-5\_36},
timestamp = {Mon, 22 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/kgc/Beklemishev97.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/kgc/BorchertS97,
author = {Bernd Borchert and
Frank Stephan},
editor = {Georg Gottlob and
Alexander Leitsch and
Daniele Mundici},
title = {Looking for an Analogue of Rice's Theorem in Circuit Complexity Theory},
booktitle = {Computational Logic and Proof Theory, 5th Kurt G{\"{o}}del Colloquium,
KGC'97, Vienna, Austria, August 25-29, 1997, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1289},
pages = {114--127},
publisher = {Springer},
year = {1997},
url = {https://doi.org/10.1007/3-540-63385-5\_37},
doi = {10.1007/3-540-63385-5\_37},
timestamp = {Mon, 22 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/kgc/BorchertS97.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/kgc/Buchholz97,
author = {Wilfried Buchholz},
editor = {Georg Gottlob and
Alexander Leitsch and
Daniele Mundici},
title = {Explaining Gentzen's Consistency Proof within Infinitary Proof Theory},
booktitle = {Computational Logic and Proof Theory, 5th Kurt G{\"{o}}del Colloquium,
KGC'97, Vienna, Austria, August 25-29, 1997, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1289},
pages = {4--17},
publisher = {Springer},
year = {1997},
url = {https://doi.org/10.1007/3-540-63385-5\_29},
doi = {10.1007/3-540-63385-5\_29},
timestamp = {Mon, 22 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/kgc/Buchholz97.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/kgc/Buss97,
author = {Samuel R. Buss},
editor = {Georg Gottlob and
Alexander Leitsch and
Daniele Mundici},
title = {Alogtime Algorithms for Tree Isomorphism, Comparison, and Canonization},
booktitle = {Computational Logic and Proof Theory, 5th Kurt G{\"{o}}del Colloquium,
KGC'97, Vienna, Austria, August 25-29, 1997, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1289},
pages = {18--33},
publisher = {Springer},
year = {1997},
url = {https://doi.org/10.1007/3-540-63385-5\_30},
doi = {10.1007/3-540-63385-5\_30},
timestamp = {Mon, 22 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/kgc/Buss97.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/kgc/CarnielliV97,
author = {Walter Alexandre Carnielli and
Paulo A. S. Veloso},
editor = {Georg Gottlob and
Alexander Leitsch and
Daniele Mundici},
title = {Ultrafilter Logic and Generic Reasoning},
booktitle = {Computational Logic and Proof Theory, 5th Kurt G{\"{o}}del Colloquium,
KGC'97, Vienna, Austria, August 25-29, 1997, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1289},
pages = {34--53},
publisher = {Springer},
year = {1997},
url = {https://doi.org/10.1007/3-540-63385-5\_31},
doi = {10.1007/3-540-63385-5\_31},
timestamp = {Mon, 22 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/kgc/CarnielliV97.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/kgc/CiabattoniL97,
author = {Agata Ciabattoni and
Duccio Luchi},
editor = {Georg Gottlob and
Alexander Leitsch and
Daniele Mundici},
title = {Two Connections Between Linear Logic and Lukasiewicz Logics},
booktitle = {Computational Logic and Proof Theory, 5th Kurt G{\"{o}}del Colloquium,
KGC'97, Vienna, Austria, August 25-29, 1997, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1289},
pages = {128--139},
publisher = {Springer},
year = {1997},
url = {https://doi.org/10.1007/3-540-63385-5\_38},
doi = {10.1007/3-540-63385-5\_38},
timestamp = {Sun, 25 Oct 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/kgc/CiabattoniL97.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/kgc/EglyG97,
author = {Uwe Egly and
Karin Genther},
editor = {Georg Gottlob and
Alexander Leitsch and
Daniele Mundici},
title = {Structuring of Computer-Generated Proofs by Cut Introduction},
booktitle = {Computational Logic and Proof Theory, 5th Kurt G{\"{o}}del Colloquium,
KGC'97, Vienna, Austria, August 25-29, 1997, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1289},
pages = {140--152},
publisher = {Springer},
year = {1997},
url = {https://doi.org/10.1007/3-540-63385-5\_39},
doi = {10.1007/3-540-63385-5\_39},
timestamp = {Mon, 22 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/kgc/EglyG97.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/kgc/Falco97,
author = {Lorenzo Tortora de Falco},
editor = {Georg Gottlob and
Alexander Leitsch and
Daniele Mundici},
title = {Denotational Semantics for Polarized (But-non-constrainted) {LK} by
Means of the Additives},
booktitle = {Computational Logic and Proof Theory, 5th Kurt G{\"{o}}del Colloquium,
KGC'97, Vienna, Austria, August 25-29, 1997, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1289},
pages = {290--304},
publisher = {Springer},
year = {1997},
url = {https://doi.org/10.1007/3-540-63385-5\_51},
doi = {10.1007/3-540-63385-5\_51},
timestamp = {Mon, 22 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/kgc/Falco97.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/kgc/Gilmore97,
author = {Paul C. Gilmore},
editor = {Georg Gottlob and
Alexander Leitsch and
Daniele Mundici},
title = {NaDSyL and some Applications},
booktitle = {Computational Logic and Proof Theory, 5th Kurt G{\"{o}}del Colloquium,
KGC'97, Vienna, Austria, August 25-29, 1997, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1289},
pages = {153--166},
publisher = {Springer},
year = {1997},
url = {https://doi.org/10.1007/3-540-63385-5\_40},
doi = {10.1007/3-540-63385-5\_40},
timestamp = {Mon, 22 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/kgc/Gilmore97.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/kgc/Kh97,
author = {Khakhanian V. Kh},
editor = {Georg Gottlob and
Alexander Leitsch and
Daniele Mundici},
title = {Markov's Rule Is Admissible in the Set Theory with Intuitionistic
Logic},
booktitle = {Computational Logic and Proof Theory, 5th Kurt G{\"{o}}del Colloquium,
KGC'97, Vienna, Austria, August 25-29, 1997, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1289},
pages = {167--171},
publisher = {Springer},
year = {1997},
url = {https://doi.org/10.1007/3-540-63385-5\_41},
doi = {10.1007/3-540-63385-5\_41},
timestamp = {Mon, 22 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/kgc/Kh97.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/kgc/LisitsaS97,
author = {Alexei Lisitsa and
Vladimir Yu. Sazonov},
editor = {Georg Gottlob and
Alexander Leitsch and
Daniele Mundici},
title = {Bounded Hyperset Theory and Web-like Data Bases},
booktitle = {Computational Logic and Proof Theory, 5th Kurt G{\"{o}}del Colloquium,
KGC'97, Vienna, Austria, August 25-29, 1997, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1289},
pages = {172--185},
publisher = {Springer},
year = {1997},
url = {https://doi.org/10.1007/3-540-63385-5\_42},
doi = {10.1007/3-540-63385-5\_42},
timestamp = {Fri, 03 Jun 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/kgc/LisitsaS97.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/kgc/Makowsky97,
author = {Johann A. Makowsky},
editor = {Georg Gottlob and
Alexander Leitsch and
Daniele Mundici},
title = {Invariant Definability (Extended Abstract)},
booktitle = {Computational Logic and Proof Theory, 5th Kurt G{\"{o}}del Colloquium,
KGC'97, Vienna, Austria, August 25-29, 1997, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1289},
pages = {186--202},
publisher = {Springer},
year = {1997},
url = {https://doi.org/10.1007/3-540-63385-5\_43},
doi = {10.1007/3-540-63385-5\_43},
timestamp = {Mon, 22 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/kgc/Makowsky97.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/kgc/Matzinger97,
author = {Robert Matzinger},
editor = {Georg Gottlob and
Alexander Leitsch and
Daniele Mundici},
title = {Comparing Computational Representations of Herbrand Models},
booktitle = {Computational Logic and Proof Theory, 5th Kurt G{\"{o}}del Colloquium,
KGC'97, Vienna, Austria, August 25-29, 1997, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1289},
pages = {203--218},
publisher = {Springer},
year = {1997},
url = {https://doi.org/10.1007/3-540-63385-5\_44},
doi = {10.1007/3-540-63385-5\_44},
timestamp = {Mon, 22 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/kgc/Matzinger97.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/kgc/PapeH97,
author = {Christian Pape and
Reiner H{\"{a}}hnle},
editor = {Georg Gottlob and
Alexander Leitsch and
Daniele Mundici},
title = {Restart Tableaux with Selection Function},
booktitle = {Computational Logic and Proof Theory, 5th Kurt G{\"{o}}del Colloquium,
KGC'97, Vienna, Austria, August 25-29, 1997, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1289},
pages = {219--232},
publisher = {Springer},
year = {1997},
url = {https://doi.org/10.1007/3-540-63385-5\_45},
doi = {10.1007/3-540-63385-5\_45},
timestamp = {Fri, 02 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/kgc/PapeH97.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/kgc/Plisko97,
author = {Valery Plisko},
editor = {Georg Gottlob and
Alexander Leitsch and
Daniele Mundici},
title = {Two Semantics and Logics Based on the G{\"{o}}del Interpretation},
booktitle = {Computational Logic and Proof Theory, 5th Kurt G{\"{o}}del Colloquium,
KGC'97, Vienna, Austria, August 25-29, 1997, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1289},
pages = {233--240},
publisher = {Springer},
year = {1997},
url = {https://doi.org/10.1007/3-540-63385-5\_46},
doi = {10.1007/3-540-63385-5\_46},
timestamp = {Mon, 20 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/kgc/Plisko97.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/kgc/Pliuskevicius97,
author = {Regimantas Pliuskevicius},
editor = {Georg Gottlob and
Alexander Leitsch and
Daniele Mundici},
title = {On the Completeness and Decidability of a Restricted First Order Linear
Temporal Logic},
booktitle = {Computational Logic and Proof Theory, 5th Kurt G{\"{o}}del Colloquium,
KGC'97, Vienna, Austria, August 25-29, 1997, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1289},
pages = {241--254},
publisher = {Springer},
year = {1997},
url = {https://doi.org/10.1007/3-540-63385-5\_47},
doi = {10.1007/3-540-63385-5\_47},
timestamp = {Mon, 22 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/kgc/Pliuskevicius97.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/kgc/Polacik97,
author = {Tomasz Polacik},
editor = {Georg Gottlob and
Alexander Leitsch and
Daniele Mundici},
title = {Propositional Quantification in Intuitionistic Logic},
booktitle = {Computational Logic and Proof Theory, 5th Kurt G{\"{o}}del Colloquium,
KGC'97, Vienna, Austria, August 25-29, 1997, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1289},
pages = {255--263},
publisher = {Springer},
year = {1997},
url = {https://doi.org/10.1007/3-540-63385-5\_48},
doi = {10.1007/3-540-63385-5\_48},
timestamp = {Mon, 22 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/kgc/Polacik97.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/kgc/Preining97,
author = {Norbert Preining},
editor = {Georg Gottlob and
Alexander Leitsch and
Daniele Mundici},
title = {Sketch-as-Proof},
booktitle = {Computational Logic and Proof Theory, 5th Kurt G{\"{o}}del Colloquium,
KGC'97, Vienna, Austria, August 25-29, 1997, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1289},
pages = {264--277},
publisher = {Springer},
year = {1997},
url = {https://doi.org/10.1007/3-540-63385-5\_49},
doi = {10.1007/3-540-63385-5\_49},
timestamp = {Mon, 22 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/kgc/Preining97.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/kgc/Robinson97,
author = {John Alan Robinson},
editor = {Georg Gottlob and
Alexander Leitsch and
Daniele Mundici},
title = {Informal Rigor and Mathematical Understanding},
booktitle = {Computational Logic and Proof Theory, 5th Kurt G{\"{o}}del Colloquium,
KGC'97, Vienna, Austria, August 25-29, 1997, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1289},
pages = {54--64},
publisher = {Springer},
year = {1997},
url = {https://doi.org/10.1007/3-540-63385-5\_32},
doi = {10.1007/3-540-63385-5\_32},
timestamp = {Mon, 22 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/kgc/Robinson97.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/kgc/Setzer97,
author = {Anton Setzer},
editor = {Georg Gottlob and
Alexander Leitsch and
Daniele Mundici},
title = {Translating Set Theoretical Proofs into Type Theoretical Programs},
booktitle = {Computational Logic and Proof Theory, 5th Kurt G{\"{o}}del Colloquium,
KGC'97, Vienna, Austria, August 25-29, 1997, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1289},
pages = {278--289},
publisher = {Springer},
year = {1997},
url = {https://doi.org/10.1007/3-540-63385-5\_50},
doi = {10.1007/3-540-63385-5\_50},
timestamp = {Mon, 22 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/kgc/Setzer97.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/kgc/Tammet97,
author = {Tanel Tammet},
editor = {Georg Gottlob and
Alexander Leitsch and
Daniele Mundici},
title = {Resolution, Inverse Method and the Sequent Calculus},
booktitle = {Computational Logic and Proof Theory, 5th Kurt G{\"{o}}del Colloquium,
KGC'97, Vienna, Austria, August 25-29, 1997, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1289},
pages = {65--83},
publisher = {Springer},
year = {1997},
url = {https://doi.org/10.1007/3-540-63385-5\_33},
doi = {10.1007/3-540-63385-5\_33},
timestamp = {Mon, 22 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/kgc/Tammet97.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/kgc/Tiuryn97,
author = {Jerzy Tiuryn},
editor = {Georg Gottlob and
Alexander Leitsch and
Daniele Mundici},
title = {Subtyping over a Lattice (Abstract)},
booktitle = {Computational Logic and Proof Theory, 5th Kurt G{\"{o}}del Colloquium,
KGC'97, Vienna, Austria, August 25-29, 1997, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1289},
pages = {84--88},
publisher = {Springer},
year = {1997},
url = {https://doi.org/10.1007/3-540-63385-5\_34},
doi = {10.1007/3-540-63385-5\_34},
timestamp = {Mon, 22 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/kgc/Tiuryn97.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/kgc/Veanes97,
author = {Margus Veanes},
editor = {Georg Gottlob and
Alexander Leitsch and
Daniele Mundici},
title = {The Undecidability of Simultaneous Rigid E-Unification with Two Variables},
booktitle = {Computational Logic and Proof Theory, 5th Kurt G{\"{o}}del Colloquium,
KGC'97, Vienna, Austria, August 25-29, 1997, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1289},
pages = {305--318},
publisher = {Springer},
year = {1997},
url = {https://doi.org/10.1007/3-540-63385-5\_52},
doi = {10.1007/3-540-63385-5\_52},
timestamp = {Mon, 22 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/kgc/Veanes97.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/kgc/Willard97,
author = {Dan E. Willard},
editor = {Georg Gottlob and
Alexander Leitsch and
Daniele Mundici},
title = {The Tangibility Reflection Principle for Self-Verifying Axiom Systems},
booktitle = {Computational Logic and Proof Theory, 5th Kurt G{\"{o}}del Colloquium,
KGC'97, Vienna, Austria, August 25-29, 1997, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1289},
pages = {319--334},
publisher = {Springer},
year = {1997},
url = {https://doi.org/10.1007/3-540-63385-5\_53},
doi = {10.1007/3-540-63385-5\_53},
timestamp = {Mon, 22 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/kgc/Willard97.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/kgc/Xi97,
author = {Hongwei Xi},
editor = {Georg Gottlob and
Alexander Leitsch and
Daniele Mundici},
title = {Upper Bounds for Standardizations and an Application},
booktitle = {Computational Logic and Proof Theory, 5th Kurt G{\"{o}}del Colloquium,
KGC'97, Vienna, Austria, August 25-29, 1997, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1289},
pages = {335--348},
publisher = {Springer},
year = {1997},
url = {https://doi.org/10.1007/3-540-63385-5\_54},
doi = {10.1007/3-540-63385-5\_54},
timestamp = {Mon, 22 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/kgc/Xi97.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/kgc/1997,
editor = {Georg Gottlob and
Alexander Leitsch and
Daniele Mundici},
title = {Computational Logic and Proof Theory, 5th Kurt G{\"{o}}del Colloquium,
KGC'97, Vienna, Austria, August 25-29, 1997, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1289},
publisher = {Springer},
year = {1997},
url = {https://doi.org/10.1007/3-540-63385-5},
doi = {10.1007/3-540-63385-5},
isbn = {3-540-63385-5},
timestamp = {Tue, 14 May 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/kgc/1997.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/kgc/ArtemovS93,
author = {Sergei N. Art{\"{e}}mov and
Tyko Stra{\ss}en},
editor = {Georg Gottlob and
Alexander Leitsch and
Daniele Mundici},
title = {The Logic of the G{\"{o}}del Proof Predicate},
booktitle = {Computational Logic and Proof Theory, Third Kurt G{\"{o}}del
Colloquium, KGC'93, Brno, Czech Republic, August 24-27, 1993, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {713},
pages = {71--82},
publisher = {Springer},
year = {1993},
url = {https://doi.org/10.1007/BFb0022556},
doi = {10.1007/BFB0022556},
timestamp = {Tue, 14 May 2019 10:00:52 +0200},
biburl = {https://dblp.org/rec/conf/kgc/ArtemovS93.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/kgc/BachmairGW93,
author = {Leo Bachmair and
Harald Ganzinger and
Uwe Waldmann},
editor = {Georg Gottlob and
Alexander Leitsch and
Daniele Mundici},
title = {Superposition with Simplification as a Desision Procedure for the
Monadic Class with Equality},
booktitle = {Computational Logic and Proof Theory, Third Kurt G{\"{o}}del
Colloquium, KGC'93, Brno, Czech Republic, August 24-27, 1993, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {713},
pages = {83--96},
publisher = {Springer},
year = {1993},
url = {https://doi.org/10.1007/BFb0022557},
doi = {10.1007/BFB0022557},
timestamp = {Sat, 20 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/kgc/BachmairGW93.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/kgc/Bamber93,
author = {N. P. Bamber},
editor = {Georg Gottlob and
Alexander Leitsch and
Daniele Mundici},
title = {Computation with Access to the Reals, but Using only Classical Machines},
booktitle = {Computational Logic and Proof Theory, Third Kurt G{\"{o}}del
Colloquium, KGC'93, Brno, Czech Republic, August 24-27, 1993, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {713},
pages = {97--107},
publisher = {Springer},
year = {1993},
url = {https://doi.org/10.1007/BFb0022558},
doi = {10.1007/BFB0022558},
timestamp = {Sat, 20 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/kgc/Bamber93.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/kgc/BeckertHS93,
author = {Bernhard Beckert and
Reiner H{\"{a}}hnle and
Peter H. Schmitt},
editor = {Georg Gottlob and
Alexander Leitsch and
Daniele Mundici},
title = {The Even More Liberalized delta-Rule in Free Variable Semantic Tableaux},
booktitle = {Computational Logic and Proof Theory, Third Kurt G{\"{o}}del
Colloquium, KGC'93, Brno, Czech Republic, August 24-27, 1993, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {713},
pages = {108--119},
publisher = {Springer},
year = {1993},
url = {https://doi.org/10.1007/BFb0022559},
doi = {10.1007/BFB0022559},
timestamp = {Fri, 30 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/kgc/BeckertHS93.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/kgc/Benevides93,
author = {Mario R. F. Benevides},
editor = {Georg Gottlob and
Alexander Leitsch and
Daniele Mundici},
title = {Differentiating Assumptions from Extra-Logical Axioms in Natural Deduction},
booktitle = {Computational Logic and Proof Theory, Third Kurt G{\"{o}}del
Colloquium, KGC'93, Brno, Czech Republic, August 24-27, 1993, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {713},
pages = {120--131},
publisher = {Springer},
year = {1993},
url = {https://doi.org/10.1007/BFb0022560},
doi = {10.1007/BFB0022560},
timestamp = {Sat, 19 Oct 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/kgc/Benevides93.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/kgc/BorgerR93,
author = {Egon B{\"{o}}rger and
Dean Rosenzweig},
editor = {Georg Gottlob and
Alexander Leitsch and
Daniele Mundici},
title = {The Mathematics of Set Predicates in Prolog},
booktitle = {Computational Logic and Proof Theory, Third Kurt G{\"{o}}del
Colloquium, KGC'93, Brno, Czech Republic, August 24-27, 1993, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {713},
pages = {1--13},
publisher = {Springer},
year = {1993},
url = {https://doi.org/10.1007/BFb0022547},
doi = {10.1007/BFB0022547},
timestamp = {Sat, 20 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/kgc/BorgerR93.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/kgc/BottoniL93,
author = {Alberto Bottoni and
Giorgio Levi},
editor = {Georg Gottlob and
Alexander Leitsch and
Daniele Mundici},
title = {The Inverse of Fitting's Functional},
booktitle = {Computational Logic and Proof Theory, Third Kurt G{\"{o}}del
Colloquium, KGC'93, Brno, Czech Republic, August 24-27, 1993, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {713},
pages = {132--143},
publisher = {Springer},
year = {1993},
url = {https://doi.org/10.1007/BFb0022561},
doi = {10.1007/BFB0022561},
timestamp = {Sat, 20 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/kgc/BottoniL93.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/kgc/Bruning93,
author = {Stefan Br{\"{u}}ning},
editor = {Georg Gottlob and
Alexander Leitsch and
Daniele Mundici},
title = {On Loop Detection in Connection Calculi},
booktitle = {Computational Logic and Proof Theory, Third Kurt G{\"{o}}del
Colloquium, KGC'93, Brno, Czech Republic, August 24-27, 1993, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {713},
pages = {144--151},
publisher = {Springer},
year = {1993},
url = {https://doi.org/10.1007/BFb0022562},
doi = {10.1007/BFB0022562},
timestamp = {Sat, 20 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/kgc/Bruning93.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/kgc/CostaD93,
author = {Newton C. A. da Costa and
Francisco A. Doria},
editor = {Georg Gottlob and
Alexander Leitsch and
Daniele Mundici},
title = {On Arnold's Hilbert Symposium Problems},
booktitle = {Computational Logic and Proof Theory, Third Kurt G{\"{o}}del
Colloquium, KGC'93, Brno, Czech Republic, August 24-27, 1993, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {713},
pages = {152--158},
publisher = {Springer},
year = {1993},
url = {https://doi.org/10.1007/BFb0022563},
doi = {10.1007/BFB0022563},
timestamp = {Sat, 20 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/kgc/CostaD93.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/kgc/Cowen93,
author = {Robert Cowen},
editor = {Georg Gottlob and
Alexander Leitsch and
Daniele Mundici},
title = {Some Connections Between Set Theory and Computer Science},
booktitle = {Computational Logic and Proof Theory, Third Kurt G{\"{o}}del
Colloquium, KGC'93, Brno, Czech Republic, August 24-27, 1993, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {713},
pages = {14--22},
publisher = {Springer},
year = {1993},
url = {https://doi.org/10.1007/BFb0022548},
doi = {10.1007/BFB0022548},
timestamp = {Sat, 20 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/kgc/Cowen93.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/kgc/DanosJS93,
author = {Vincent Danos and
Jean{-}Baptiste Joinet and
Harold Schellinx},
editor = {Georg Gottlob and
Alexander Leitsch and
Daniele Mundici},
title = {The Structure of Exponentials: Uncovering the Dynamics of Linear Logic
Proofs},
booktitle = {Computational Logic and Proof Theory, Third Kurt G{\"{o}}del
Colloquium, KGC'93, Brno, Czech Republic, August 24-27, 1993, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {713},
pages = {159--171},
publisher = {Springer},
year = {1993},
url = {https://doi.org/10.1007/BFb0022564},
doi = {10.1007/BFB0022564},
timestamp = {Sat, 20 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/kgc/DanosJS93.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/kgc/Egly93,
author = {Uwe Egly},
editor = {Georg Gottlob and
Alexander Leitsch and
Daniele Mundici},
title = {On Different Concepts of Function Introduction},
booktitle = {Computational Logic and Proof Theory, Third Kurt G{\"{o}}del
Colloquium, KGC'93, Brno, Czech Republic, August 24-27, 1993, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {713},
pages = {172--183},
publisher = {Springer},
year = {1993},
url = {https://doi.org/10.1007/BFb0022565},
doi = {10.1007/BFB0022565},
timestamp = {Sat, 20 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/kgc/Egly93.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/kgc/Faglia93,
author = {Giovanni Faglia},
editor = {Georg Gottlob and
Alexander Leitsch and
Daniele Mundici},
title = {Double Exponential Inseparability Of Robinson Subsystem {Q+} From
The Unsatisfiable Sentences In The Language Of Addition},
booktitle = {Computational Logic and Proof Theory, Third Kurt G{\"{o}}del
Colloquium, KGC'93, Brno, Czech Republic, August 24-27, 1993, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {713},
pages = {184--186},
publisher = {Springer},
year = {1993},
url = {https://doi.org/10.1007/BFb0022566},
doi = {10.1007/BFB0022566},
timestamp = {Sat, 20 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/kgc/Faglia93.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/kgc/FagliaY93,
author = {Giovanni Faglia and
Paul Young},
editor = {Georg Gottlob and
Alexander Leitsch and
Daniele Mundici},
title = {In The Meaning Of Essentially Unprovable Theorems In The Presburger
Theory Of Addition},
booktitle = {Computational Logic and Proof Theory, Third Kurt G{\"{o}}del
Colloquium, KGC'93, Brno, Czech Republic, August 24-27, 1993, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {713},
pages = {187--189},
publisher = {Springer},
year = {1993},
url = {https://doi.org/10.1007/BFb0022567},
doi = {10.1007/BFB0022567},
timestamp = {Sat, 20 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/kgc/FagliaY93.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/kgc/Feferman93,
author = {Solomon Feferman},
editor = {Georg Gottlob and
Alexander Leitsch and
Daniele Mundici},
title = {G{\"{o}}del's Dialectica Interpretation and Its Two-Way Stretch},
booktitle = {Computational Logic and Proof Theory, Third Kurt G{\"{o}}del
Colloquium, KGC'93, Brno, Czech Republic, August 24-27, 1993, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {713},
pages = {23--40},
publisher = {Springer},
year = {1993},
url = {https://doi.org/10.1007/BFb0022549},
doi = {10.1007/BFB0022549},
timestamp = {Sat, 20 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/kgc/Feferman93.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/kgc/Gilmore93,
author = {Paul C. Gilmore},
editor = {Georg Gottlob and
Alexander Leitsch and
Daniele Mundici},
title = {A Syntactic Consistency Proof for NaDSet},
booktitle = {Computational Logic and Proof Theory, Third Kurt G{\"{o}}del
Colloquium, KGC'93, Brno, Czech Republic, August 24-27, 1993, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {713},
pages = {190--201},
publisher = {Springer},
year = {1993},
url = {https://doi.org/10.1007/BFb0022568},
doi = {10.1007/BFB0022568},
timestamp = {Sat, 20 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/kgc/Gilmore93.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/kgc/Goubault93,
author = {Jean Goubault},
editor = {Georg Gottlob and
Alexander Leitsch and
Daniele Mundici},
title = {A Rule-based Algorithm for Rigid E-Unification},
booktitle = {Computational Logic and Proof Theory, Third Kurt G{\"{o}}del
Colloquium, KGC'93, Brno, Czech Republic, August 24-27, 1993, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {713},
pages = {202--210},
publisher = {Springer},
year = {1993},
url = {https://doi.org/10.1007/BFb0022569},
doi = {10.1007/BFB0022569},
timestamp = {Sat, 20 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/kgc/Goubault93.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/kgc/Hajek93,
author = {Petr H{\'{a}}jek},
editor = {Georg Gottlob and
Alexander Leitsch and
Daniele Mundici},
title = {Epistemic Entrenchment and Arthmetical Hierarchy (Abstract)},
booktitle = {Computational Logic and Proof Theory, Third Kurt G{\"{o}}del
Colloquium, KGC'93, Brno, Czech Republic, August 24-27, 1993, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {713},
pages = {41--42},
publisher = {Springer},
year = {1993},
url = {https://doi.org/10.1007/BFb0022550},
doi = {10.1007/BFB0022550},
timestamp = {Sat, 20 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/kgc/Hajek93.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/kgc/Halpern93,
author = {Joseph Y. Halpern},
editor = {Georg Gottlob and
Alexander Leitsch and
Daniele Mundici},
title = {A Critical Reexamination of Default Logic, Autoepistemic Logic, and
Only Knowing},
booktitle = {Computational Logic and Proof Theory, Third Kurt G{\"{o}}del
Colloquium, KGC'93, Brno, Czech Republic, August 24-27, 1993, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {713},
pages = {43--60},
publisher = {Springer},
year = {1993},
url = {https://doi.org/10.1007/BFb0022551},
doi = {10.1007/BFB0022551},
timestamp = {Sat, 20 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/kgc/Halpern93.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/kgc/JanhunenN93,
author = {Tomi Janhunen and
Ilkka Niemel{\"{a}}},
editor = {Georg Gottlob and
Alexander Leitsch and
Daniele Mundici},
title = {A Scheme for Weakened Negative Introspection in Autoepistemic Reasoning},
booktitle = {Computational Logic and Proof Theory, Third Kurt G{\"{o}}del
Colloquium, KGC'93, Brno, Czech Republic, August 24-27, 1993, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {713},
pages = {211--222},
publisher = {Springer},
year = {1993},
url = {https://doi.org/10.1007/BFb0022570},
doi = {10.1007/BFB0022570},
timestamp = {Sat, 20 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/kgc/JanhunenN93.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/kgc/Johannsen93,
author = {Jan Johannsen},
editor = {Georg Gottlob and
Alexander Leitsch and
Daniele Mundici},
title = {On the Weakness of Sharply Bounded Polynomial Induction},
booktitle = {Computational Logic and Proof Theory, Third Kurt G{\"{o}}del
Colloquium, KGC'93, Brno, Czech Republic, August 24-27, 1993, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {713},
pages = {223--230},
publisher = {Springer},
year = {1993},
url = {https://doi.org/10.1007/BFb0022571},
doi = {10.1007/BFB0022571},
timestamp = {Sat, 20 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/kgc/Johannsen93.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/kgc/Kolany93,
author = {Adam Kolany},
editor = {Georg Gottlob and
Alexander Leitsch and
Daniele Mundici},
title = {On the Logic of Hypergraphs},
booktitle = {Computational Logic and Proof Theory, Third Kurt G{\"{o}}del
Colloquium, KGC'93, Brno, Czech Republic, August 24-27, 1993, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {713},
pages = {231--242},
publisher = {Springer},
year = {1993},
url = {https://doi.org/10.1007/BFb0022572},
doi = {10.1007/BFB0022572},
timestamp = {Sat, 20 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/kgc/Kolany93.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/kgc/KummerS93,
author = {Martin Kummer and
Frank Stephan},
editor = {Georg Gottlob and
Alexander Leitsch and
Daniele Mundici},
title = {Recursion Theoretic Properties of Frequency Computation and Bounded
Queries (Extended Abstract)},
booktitle = {Computational Logic and Proof Theory, Third Kurt G{\"{o}}del
Colloquium, KGC'93, Brno, Czech Republic, August 24-27, 1993, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {713},
pages = {243--254},
publisher = {Springer},
year = {1993},
url = {https://doi.org/10.1007/BFb0022573},
doi = {10.1007/BFB0022573},
timestamp = {Sat, 20 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/kgc/KummerS93.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/kgc/Marek93,
author = {V. Wiktor Marek},
editor = {Georg Gottlob and
Alexander Leitsch and
Daniele Mundici},
title = {Complexity Issues in Nonmonotonic Logic and Logic Programming (Abstract)},
booktitle = {Computational Logic and Proof Theory, Third Kurt G{\"{o}}del
Colloquium, KGC'93, Brno, Czech Republic, August 24-27, 1993, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {713},
pages = {61},
publisher = {Springer},
year = {1993},
url = {https://doi.org/10.1007/BFb0022552},
doi = {10.1007/BFB0022552},
timestamp = {Sat, 20 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/kgc/Marek93.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/kgc/Mints93,
author = {Grigori Mints},
editor = {Georg Gottlob and
Alexander Leitsch and
Daniele Mundici},
title = {Strategies for Resolution Method in Non-classical Logics (Abstract)},
booktitle = {Computational Logic and Proof Theory, Third Kurt G{\"{o}}del
Colloquium, KGC'93, Brno, Czech Republic, August 24-27, 1993, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {713},
pages = {62},
publisher = {Springer},
year = {1993},
url = {https://doi.org/10.1007/BFb0022553},
doi = {10.1007/BFB0022553},
timestamp = {Sat, 20 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/kgc/Mints93.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/kgc/Nies93,
author = {Andr{\'{e}} Nies},
editor = {Georg Gottlob and
Alexander Leitsch and
Daniele Mundici},
title = {Interpreting True Arithmetic in Degree Structures},
booktitle = {Computational Logic and Proof Theory, Third Kurt G{\"{o}}del
Colloquium, KGC'93, Brno, Czech Republic, August 24-27, 1993, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {713},
pages = {255--262},
publisher = {Springer},
year = {1993},
url = {https://doi.org/10.1007/BFb0022574},
doi = {10.1007/BFB0022574},
timestamp = {Sat, 20 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/kgc/Nies93.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/kgc/Pacholski93,
author = {Leszek Pacholski},
editor = {Georg Gottlob and
Alexander Leitsch and
Daniele Mundici},
title = {Undecidability of Implication Problems in Logic Programming, Database
Theory and Classical Logic},
booktitle = {Computational Logic and Proof Theory, Third Kurt G{\"{o}}del
Colloquium, KGC'93, Brno, Czech Republic, August 24-27, 1993, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {713},
pages = {63--68},
publisher = {Springer},
year = {1993},
url = {https://doi.org/10.1007/BFb0022554},
doi = {10.1007/BFB0022554},
timestamp = {Sat, 20 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/kgc/Pacholski93.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/kgc/Parigot93,
author = {Michel Parigot},
editor = {Georg Gottlob and
Alexander Leitsch and
Daniele Mundici},
title = {Classical Proofs as Programs},
booktitle = {Computational Logic and Proof Theory, Third Kurt G{\"{o}}del
Colloquium, KGC'93, Brno, Czech Republic, August 24-27, 1993, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {713},
pages = {263--276},
publisher = {Springer},
year = {1993},
url = {https://doi.org/10.1007/BFb0022575},
doi = {10.1007/BFB0022575},
timestamp = {Sat, 20 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/kgc/Parigot93.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/kgc/Petermann93,
author = {Uwe Petermann},
editor = {Georg Gottlob and
Alexander Leitsch and
Daniele Mundici},
title = {Completeness of the Pool Calculus with an Open Built-in Theory},
booktitle = {Computational Logic and Proof Theory, Third Kurt G{\"{o}}del
Colloquium, KGC'93, Brno, Czech Republic, August 24-27, 1993, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {713},
pages = {277--288},
publisher = {Springer},
year = {1993},
url = {https://doi.org/10.1007/BFb0022576},
doi = {10.1007/BFB0022576},
timestamp = {Sat, 20 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/kgc/Petermann93.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/kgc/Pliuskevicius93,
author = {Regimantas Pliuskevicius},
editor = {Georg Gottlob and
Alexander Leitsch and
Daniele Mundici},
title = {On the Saturation Principle for a Linear Temporal Logic},
booktitle = {Computational Logic and Proof Theory, Third Kurt G{\"{o}}del
Colloquium, KGC'93, Brno, Czech Republic, August 24-27, 1993, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {713},
pages = {289--300},
publisher = {Springer},
year = {1993},
url = {https://doi.org/10.1007/BFb0022577},
doi = {10.1007/BFB0022577},
timestamp = {Sat, 20 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/kgc/Pliuskevicius93.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/kgc/SambinV93,
author = {Giovanni Sambin and
Silvio Valentini},
editor = {Georg Gottlob and
Alexander Leitsch and
Daniele Mundici},
title = {Building up a Tool-Box for Matrin-L{\"{o}}f's Type Theory (Abstract)},
booktitle = {Computational Logic and Proof Theory, Third Kurt G{\"{o}}del
Colloquium, KGC'93, Brno, Czech Republic, August 24-27, 1993, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {713},
pages = {69--70},
publisher = {Springer},
year = {1993},
url = {https://doi.org/10.1007/BFb0022555},
doi = {10.1007/BFB0022555},
timestamp = {Sat, 20 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/kgc/SambinV93.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/kgc/SazonovV93,
author = {Vladimir Yu. Sazonov and
Andrei Voronkov},
editor = {Georg Gottlob and
Alexander Leitsch and
Daniele Mundici},
title = {A Construction of Typed Lambda Models Related to Feasible Computability},
booktitle = {Computational Logic and Proof Theory, Third Kurt G{\"{o}}del
Colloquium, KGC'93, Brno, Czech Republic, August 24-27, 1993, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {713},
pages = {301--312},
publisher = {Springer},
year = {1993},
url = {https://doi.org/10.1007/BFb0022578},
doi = {10.1007/BFB0022578},
timestamp = {Sat, 20 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/kgc/SazonovV93.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/kgc/SchwarzT93,
author = {Grigori Schwarz and
Miroslaw Truszczynski},
editor = {Georg Gottlob and
Alexander Leitsch and
Daniele Mundici},
title = {Nonmonotonic Reasoning is Sometimes Simpler},
booktitle = {Computational Logic and Proof Theory, Third Kurt G{\"{o}}del
Colloquium, KGC'93, Brno, Czech Republic, August 24-27, 1993, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {713},
pages = {313--324},
publisher = {Springer},
year = {1993},
url = {https://doi.org/10.1007/BFb0022579},
doi = {10.1007/BFB0022579},
timestamp = {Sat, 20 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/kgc/SchwarzT93.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/kgc/Willard93,
author = {Dan E. Willard},
editor = {Georg Gottlob and
Alexander Leitsch and
Daniele Mundici},
title = {Self-Verifying Axiom Systems},
booktitle = {Computational Logic and Proof Theory, Third Kurt G{\"{o}}del
Colloquium, KGC'93, Brno, Czech Republic, August 24-27, 1993, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {713},
pages = {325--336},
publisher = {Springer},
year = {1993},
url = {https://doi.org/10.1007/BFb0022580},
doi = {10.1007/BFB0022580},
timestamp = {Sat, 20 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/kgc/Willard93.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/kgc/Zlatuska93,
author = {Jir{\'{\i}} Zlatuska},
editor = {Georg Gottlob and
Alexander Leitsch and
Daniele Mundici},
title = {Committed-Choice Concurrent Logic Programming in Linear Logic},
booktitle = {Computational Logic and Proof Theory, Third Kurt G{\"{o}}del
Colloquium, KGC'93, Brno, Czech Republic, August 24-27, 1993, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {713},
pages = {337--348},
publisher = {Springer},
year = {1993},
url = {https://doi.org/10.1007/BFb0022581},
doi = {10.1007/BFB0022581},
timestamp = {Sat, 20 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/kgc/Zlatuska93.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/kgc/1993,
editor = {Georg Gottlob and
Alexander Leitsch and
Daniele Mundici},
title = {Computational Logic and Proof Theory, Third Kurt G{\"{o}}del
Colloquium, KGC'93, Brno, Czech Republic, August 24-27, 1993, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {713},
publisher = {Springer},
year = {1993},
url = {https://doi.org/10.1007/BFb0022546},
doi = {10.1007/BFB0022546},
isbn = {3-540-57184-1},
timestamp = {Tue, 14 May 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/kgc/1993.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-09-24 07:17 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:
