default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDSearch dblp for Publications
export results for "toc:db/conf/csl/csl96.bht:"
download as .bib file
@proceedings{DBLP:conf/csl/1996,
editor = {Dirk van Dalen and
Marc Bezem},
title = {Computer Science Logic, 10th International Workshop, {CSL} '96, Annual
Conference of the EACSL, Utrecht, The Netherlands, September 21-27,
1996, Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {1258},
publisher = {Springer},
year = {1997},
url = {https://doi.org/10.1007/3-540-63172-0},
doi = {10.1007/3-540-63172-0},
isbn = {3-540-63172-0},
timestamp = {Tue, 14 May 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/csl/1996.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/csl/ArieliA96,
author = {Ofer Arieli and
Arnon Avron},
editor = {Dirk van Dalen and
Marc Bezem},
title = {Four-Valued Diagnoses for Stratified Knowledge-Bases},
booktitle = {Computer Science Logic, 10th International Workshop, {CSL} '96, Annual
Conference of the EACSL, Utrecht, The Netherlands, September 21-27,
1996, Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {1258},
pages = {1--17},
publisher = {Springer},
year = {1996},
url = {https://doi.org/10.1007/3-540-63172-0\_29},
doi = {10.1007/3-540-63172-0\_29},
timestamp = {Tue, 14 May 2019 10:00:42 +0200},
biburl = {https://dblp.org/rec/conf/csl/ArieliA96.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/csl/BaazL96,
author = {Matthias Baaz and
Alexander Leitsch},
editor = {Dirk van Dalen and
Marc Bezem},
title = {Fast Cut-Elimination by Projection},
booktitle = {Computer Science Logic, 10th International Workshop, {CSL} '96, Annual
Conference of the EACSL, Utrecht, The Netherlands, September 21-27,
1996, Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {1258},
pages = {18--33},
publisher = {Springer},
year = {1996},
url = {https://doi.org/10.1007/3-540-63172-0\_30},
doi = {10.1007/3-540-63172-0\_30},
timestamp = {Mon, 22 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/csl/BaazL96.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/csl/BartheM96,
author = {Gilles Barthe and
Paul{-}Andr{\'{e}} Melli{\`{e}}s},
editor = {Dirk van Dalen and
Marc Bezem},
title = {On the Subject Reduction Property for Algebraic Type Systems},
booktitle = {Computer Science Logic, 10th International Workshop, {CSL} '96, Annual
Conference of the EACSL, Utrecht, The Netherlands, September 21-27,
1996, Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {1258},
pages = {34--57},
publisher = {Springer},
year = {1996},
url = {https://doi.org/10.1007/3-540-63172-0\_31},
doi = {10.1007/3-540-63172-0\_31},
timestamp = {Mon, 22 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/csl/BartheM96.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/csl/CattaniW96,
author = {Gian Luca Cattani and
Glynn Winskel},
editor = {Dirk van Dalen and
Marc Bezem},
title = {Presheaf Models for Concurrency},
booktitle = {Computer Science Logic, 10th International Workshop, {CSL} '96, Annual
Conference of the EACSL, Utrecht, The Netherlands, September 21-27,
1996, Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {1258},
pages = {58--75},
publisher = {Springer},
year = {1996},
url = {https://doi.org/10.1007/3-540-63172-0\_32},
doi = {10.1007/3-540-63172-0\_32},
timestamp = {Mon, 22 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/csl/CattaniW96.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/csl/DanosPR96,
author = {Vincent Danos and
Marco Pedicini and
Laurent Regnier},
editor = {Dirk van Dalen and
Marc Bezem},
title = {Directed Virtual Reductions},
booktitle = {Computer Science Logic, 10th International Workshop, {CSL} '96, Annual
Conference of the EACSL, Utrecht, The Netherlands, September 21-27,
1996, Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {1258},
pages = {76--88},
publisher = {Springer},
year = {1996},
url = {https://doi.org/10.1007/3-540-63172-0\_33},
doi = {10.1007/3-540-63172-0\_33},
timestamp = {Sat, 16 Sep 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/csl/DanosPR96.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/csl/Dziembowski96,
author = {Stefan Dziembowski},
editor = {Dirk van Dalen and
Marc Bezem},
title = {Bounded-Variable Fixpoint Queries are PSPACE-complete},
booktitle = {Computer Science Logic, 10th International Workshop, {CSL} '96, Annual
Conference of the EACSL, Utrecht, The Netherlands, September 21-27,
1996, Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {1258},
pages = {89--105},
publisher = {Springer},
year = {1996},
url = {https://doi.org/10.1007/3-540-63172-0\_34},
doi = {10.1007/3-540-63172-0\_34},
timestamp = {Mon, 22 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/csl/Dziembowski96.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/csl/EekelenSP96,
author = {Marko C. J. D. van Eekelen and
Sjaak Smetsers and
Marinus J. Plasmeijer},
editor = {Dirk van Dalen and
Marc Bezem},
title = {Graph Rewriting Semantics for Functional Programming Languages},
booktitle = {Computer Science Logic, 10th International Workshop, {CSL} '96, Annual
Conference of the EACSL, Utrecht, The Netherlands, September 21-27,
1996, Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {1258},
pages = {106--128},
publisher = {Springer},
year = {1996},
url = {https://doi.org/10.1007/3-540-63172-0\_35},
doi = {10.1007/3-540-63172-0\_35},
timestamp = {Mon, 22 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/csl/EekelenSP96.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/csl/FioreP96,
author = {Marcelo P. Fiore and
Gordon D. Plotkin},
editor = {Dirk van Dalen and
Marc Bezem},
title = {An Extension of Models of Axiomatic Domain Theory to Models of Synthetic
Domain Theory},
booktitle = {Computer Science Logic, 10th International Workshop, {CSL} '96, Annual
Conference of the EACSL, Utrecht, The Netherlands, September 21-27,
1996, Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {1258},
pages = {129--149},
publisher = {Springer},
year = {1996},
url = {https://doi.org/10.1007/3-540-63172-0\_36},
doi = {10.1007/3-540-63172-0\_36},
timestamp = {Mon, 22 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/csl/FioreP96.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/csl/GeserMOZ96,
author = {Alfons Geser and
Aart Middeldorp and
Enno Ohlebusch and
Hans Zantema},
editor = {Dirk van Dalen and
Marc Bezem},
title = {Relative Undecidability in Term Rewriting},
booktitle = {Computer Science Logic, 10th International Workshop, {CSL} '96, Annual
Conference of the EACSL, Utrecht, The Netherlands, September 21-27,
1996, Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {1258},
pages = {150--166},
publisher = {Springer},
year = {1996},
url = {https://doi.org/10.1007/3-540-63172-0\_37},
doi = {10.1007/3-540-63172-0\_37},
timestamp = {Fri, 02 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/csl/GeserMOZ96.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/csl/Geuvers96,
author = {Herman Geuvers},
editor = {Dirk van Dalen and
Marc Bezem},
title = {Extending Models of Second Order Predicate Logic to Models of Second
Dependent Type Theory},
booktitle = {Computer Science Logic, 10th International Workshop, {CSL} '96, Annual
Conference of the EACSL, Utrecht, The Netherlands, September 21-27,
1996, Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {1258},
pages = {167--181},
publisher = {Springer},
year = {1996},
url = {https://doi.org/10.1007/3-540-63172-0\_38},
doi = {10.1007/3-540-63172-0\_38},
timestamp = {Mon, 22 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/csl/Geuvers96.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/csl/Ghani96,
author = {Neil Ghani},
editor = {Dirk van Dalen and
Marc Bezem},
title = {Eta-Expansions in F\({}^{\mbox{omega}}\)},
booktitle = {Computer Science Logic, 10th International Workshop, {CSL} '96, Annual
Conference of the EACSL, Utrecht, The Netherlands, September 21-27,
1996, Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {1258},
pages = {182--197},
publisher = {Springer},
year = {1996},
url = {https://doi.org/10.1007/3-540-63172-0\_39},
doi = {10.1007/3-540-63172-0\_39},
timestamp = {Mon, 22 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/csl/Ghani96.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/csl/Gore96,
author = {Rajeev Gor{\'{e}}},
editor = {Dirk van Dalen and
Marc Bezem},
title = {Cut-free Display Calculi for Relation Algebras},
booktitle = {Computer Science Logic, 10th International Workshop, {CSL} '96, Annual
Conference of the EACSL, Utrecht, The Netherlands, September 21-27,
1996, Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {1258},
pages = {198--210},
publisher = {Springer},
year = {1996},
url = {https://doi.org/10.1007/3-540-63172-0\_40},
doi = {10.1007/3-540-63172-0\_40},
timestamp = {Mon, 22 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/csl/Gore96.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/csl/Imhof96,
author = {Henrik Imhof},
editor = {Dirk van Dalen and
Marc Bezem},
title = {Computational Aspects of Arity Hierarchies},
booktitle = {Computer Science Logic, 10th International Workshop, {CSL} '96, Annual
Conference of the EACSL, Utrecht, The Netherlands, September 21-27,
1996, Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {1258},
pages = {211--225},
publisher = {Springer},
year = {1996},
url = {https://doi.org/10.1007/3-540-63172-0\_41},
doi = {10.1007/3-540-63172-0\_41},
timestamp = {Mon, 22 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/csl/Imhof96.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/csl/Ingolfsdottir96,
author = {Anna Ing{\'{o}}lfsd{\'{o}}ttir},
editor = {Dirk van Dalen and
Marc Bezem},
title = {Weak Semantics Based on Lighted Button Pressing Experiments},
booktitle = {Computer Science Logic, 10th International Workshop, {CSL} '96, Annual
Conference of the EACSL, Utrecht, The Netherlands, September 21-27,
1996, Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {1258},
pages = {226--243},
publisher = {Springer},
year = {1996},
url = {https://doi.org/10.1007/3-540-63172-0\_42},
doi = {10.1007/3-540-63172-0\_42},
timestamp = {Mon, 22 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/csl/Ingolfsdottir96.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/csl/KozenS96,
author = {Dexter Kozen and
Frederick Smith},
editor = {Dirk van Dalen and
Marc Bezem},
title = {Kleene Algebra with Tests: Completeness and Decidability},
booktitle = {Computer Science Logic, 10th International Workshop, {CSL} '96, Annual
Conference of the EACSL, Utrecht, The Netherlands, September 21-27,
1996, Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {1258},
pages = {244--259},
publisher = {Springer},
year = {1996},
url = {https://doi.org/10.1007/3-540-63172-0\_43},
doi = {10.1007/3-540-63172-0\_43},
timestamp = {Mon, 22 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/csl/KozenS96.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/csl/KreidlerS96,
author = {Martin Kreidler and
Detlef Seese},
editor = {Dirk van Dalen and
Marc Bezem},
title = {Monadic {NP} and Built-in Trees},
booktitle = {Computer Science Logic, 10th International Workshop, {CSL} '96, Annual
Conference of the EACSL, Utrecht, The Netherlands, September 21-27,
1996, Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {1258},
pages = {260--275},
publisher = {Springer},
year = {1996},
url = {https://doi.org/10.1007/3-540-63172-0\_44},
doi = {10.1007/3-540-63172-0\_44},
timestamp = {Mon, 22 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/csl/KreidlerS96.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/csl/Luo96,
author = {Zhaohui Luo},
editor = {Dirk van Dalen and
Marc Bezem},
title = {Coercive Subtyping in Type Theory},
booktitle = {Computer Science Logic, 10th International Workshop, {CSL} '96, Annual
Conference of the EACSL, Utrecht, The Netherlands, September 21-27,
1996, Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {1258},
pages = {276--296},
publisher = {Springer},
year = {1996},
url = {https://doi.org/10.1007/3-540-63172-0\_45},
doi = {10.1007/3-540-63172-0\_45},
timestamp = {Mon, 22 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/csl/Luo96.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/csl/Malecki96,
author = {Sophie Malecki},
editor = {Dirk van Dalen and
Marc Bezem},
title = {Proofs in System F\({}_{\mbox{omega}}\) Can Be Done in System F\({}_{\mbox{omega}}\)\({}^{\mbox{1}}\)},
booktitle = {Computer Science Logic, 10th International Workshop, {CSL} '96, Annual
Conference of the EACSL, Utrecht, The Netherlands, September 21-27,
1996, Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {1258},
pages = {297--315},
publisher = {Springer},
year = {1996},
url = {https://doi.org/10.1007/3-540-63172-0\_46},
doi = {10.1007/3-540-63172-0\_46},
timestamp = {Mon, 22 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/csl/Malecki96.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/csl/Malmstrom96,
author = {Anders Malmstr{\"{o}}m},
editor = {Dirk van Dalen and
Marc Bezem},
title = {Optimization Problems with Approximation Schemes},
booktitle = {Computer Science Logic, 10th International Workshop, {CSL} '96, Annual
Conference of the EACSL, Utrecht, The Netherlands, September 21-27,
1996, Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {1258},
pages = {316--333},
publisher = {Springer},
year = {1996},
url = {https://doi.org/10.1007/3-540-63172-0\_47},
doi = {10.1007/3-540-63172-0\_47},
timestamp = {Mon, 22 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/csl/Malmstrom96.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/csl/Matzinger96,
author = {Robert Matzinger},
editor = {Dirk van Dalen and
Marc Bezem},
title = {Computational Representations of Herbrand Models Using Grammars},
booktitle = {Computer Science Logic, 10th International Workshop, {CSL} '96, Annual
Conference of the EACSL, Utrecht, The Netherlands, September 21-27,
1996, Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {1258},
pages = {334--348},
publisher = {Springer},
year = {1996},
url = {https://doi.org/10.1007/3-540-63172-0\_48},
doi = {10.1007/3-540-63172-0\_48},
timestamp = {Mon, 22 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/csl/Matzinger96.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/csl/Merkle96,
author = {Wolfgang Merkle},
editor = {Dirk van Dalen and
Marc Bezem},
title = {Exact Pairs for Abstract Bounded Reducibilities},
booktitle = {Computer Science Logic, 10th International Workshop, {CSL} '96, Annual
Conference of the EACSL, Utrecht, The Netherlands, September 21-27,
1996, Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {1258},
pages = {349--368},
publisher = {Springer},
year = {1996},
url = {https://doi.org/10.1007/3-540-63172-0\_49},
doi = {10.1007/3-540-63172-0\_49},
timestamp = {Mon, 22 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/csl/Merkle96.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/csl/Otto96,
author = {Martin Otto},
editor = {Dirk van Dalen and
Marc Bezem},
title = {The Logic of Explicitly Presentation-Invariant Circuits},
booktitle = {Computer Science Logic, 10th International Workshop, {CSL} '96, Annual
Conference of the EACSL, Utrecht, The Netherlands, September 21-27,
1996, Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {1258},
pages = {369--384},
publisher = {Springer},
year = {1996},
url = {https://doi.org/10.1007/3-540-63172-0\_50},
doi = {10.1007/3-540-63172-0\_50},
timestamp = {Mon, 22 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/csl/Otto96.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/csl/PhilippouW96,
author = {Anna Philippou and
David Walker},
editor = {Dirk van Dalen and
Marc Bezem},
title = {Social Confluence in Client-Server Systems},
booktitle = {Computer Science Logic, 10th International Workshop, {CSL} '96, Annual
Conference of the EACSL, Utrecht, The Netherlands, September 21-27,
1996, Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {1258},
pages = {385--398},
publisher = {Springer},
year = {1996},
url = {https://doi.org/10.1007/3-540-63172-0\_51},
doi = {10.1007/3-540-63172-0\_51},
timestamp = {Tue, 09 Apr 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/csl/PhilippouW96.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/csl/Roversi96,
author = {Luca Roversi},
editor = {Dirk van Dalen and
Marc Bezem},
title = {A Type-Free Resource-Aware Lambda-Calculus},
booktitle = {Computer Science Logic, 10th International Workshop, {CSL} '96, Annual
Conference of the EACSL, Utrecht, The Netherlands, September 21-27,
1996, Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {1258},
pages = {399--413},
publisher = {Springer},
year = {1996},
url = {https://doi.org/10.1007/3-540-63172-0\_52},
doi = {10.1007/3-540-63172-0\_52},
timestamp = {Fri, 02 Jun 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/csl/Roversi96.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/csl/Setzer96,
author = {Anton Setzer},
editor = {Dirk van Dalen and
Marc Bezem},
title = {Inductive Definitions with Decidable Atomic Formulas},
booktitle = {Computer Science Logic, 10th International Workshop, {CSL} '96, Annual
Conference of the EACSL, Utrecht, The Netherlands, September 21-27,
1996, Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {1258},
pages = {414--430},
publisher = {Springer},
year = {1996},
url = {https://doi.org/10.1007/3-540-63172-0\_53},
doi = {10.1007/3-540-63172-0\_53},
timestamp = {Mon, 22 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/csl/Setzer96.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/csl/Stark96,
author = {Robert F. St{\"{a}}rk},
editor = {Dirk van Dalen and
Marc Bezem},
title = {Call-by-Value, Call-by-Name and the Logic of Values},
booktitle = {Computer Science Logic, 10th International Workshop, {CSL} '96, Annual
Conference of the EACSL, Utrecht, The Netherlands, September 21-27,
1996, Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {1258},
pages = {431--445},
publisher = {Springer},
year = {1996},
url = {https://doi.org/10.1007/3-540-63172-0\_54},
doi = {10.1007/3-540-63172-0\_54},
timestamp = {Mon, 22 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/csl/Stark96.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/csl/Statman96,
author = {Richard Statman},
editor = {Dirk van Dalen and
Marc Bezem},
title = {On Cartesian Monoids},
booktitle = {Computer Science Logic, 10th International Workshop, {CSL} '96, Annual
Conference of the EACSL, Utrecht, The Netherlands, September 21-27,
1996, Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {1258},
pages = {446--459},
publisher = {Springer},
year = {1996},
url = {https://doi.org/10.1007/3-540-63172-0\_55},
doi = {10.1007/3-540-63172-0\_55},
timestamp = {Mon, 22 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/csl/Statman96.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/csl/Yashin96,
author = {A. D. Yashin},
editor = {Dirk van Dalen and
Marc Bezem},
title = {New Intuitionistic Logical Constants: Undecidability of the Conservativsness
Problem},
booktitle = {Computer Science Logic, 10th International Workshop, {CSL} '96, Annual
Conference of the EACSL, Utrecht, The Netherlands, September 21-27,
1996, Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {1258},
pages = {460--471},
publisher = {Springer},
year = {1996},
url = {https://doi.org/10.1007/3-540-63172-0\_56},
doi = {10.1007/3-540-63172-0\_56},
timestamp = {Mon, 22 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/csl/Yashin96.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-23 00:08 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:
