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/kgc/kgc93.bht:"
download as .bib file
@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}
}
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 08:38 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:
