Search dblp for Publications

export results for "toc:db/conf/csl/csl93.bht:"

 download as .bib file

@proceedings{DBLP:conf/csl/1993,
  editor       = {Egon B{\"{o}}rger and
                  Yuri Gurevich and
                  Karl Meinke},
  title        = {Computer Science Logic, 7th Workshop, {CSL} '93, Swansea, United Kingdom,
                  September 13-17, 1993, Selected Papers},
  series       = {Lecture Notes in Computer Science},
  volume       = {832},
  publisher    = {Springer},
  year         = {1994},
  url          = {https://doi.org/10.1007/BFb0049319},
  doi          = {10.1007/BFB0049319},
  isbn         = {3-540-58277-0},
  timestamp    = {Fri, 17 Jul 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/csl/1993.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/csl/AikenKVW93,
  author       = {Alexander Aiken and
                  Dexter Kozen and
                  Moshe Y. Vardi and
                  Edward L. Wimmers},
  editor       = {Egon B{\"{o}}rger and
                  Yuri Gurevich and
                  Karl Meinke},
  title        = {The Complexity of Set Constraints},
  booktitle    = {Computer Science Logic, 7th Workshop, {CSL} '93, Swansea, United Kingdom,
                  September 13-17, 1993, Selected Papers},
  series       = {Lecture Notes in Computer Science},
  volume       = {832},
  pages        = {1--17},
  publisher    = {Springer},
  year         = {1993},
  url          = {https://doi.org/10.1007/BFb0049320},
  doi          = {10.1007/BFB0049320},
  timestamp    = {Fri, 17 Jul 2020 16:12:45 +0200},
  biburl       = {https://dblp.org/rec/conf/csl/AikenKVW93.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/csl/AmblerKM93,
  author       = {Simon Ambler and
                  Marta Z. Kwiatkowska and
                  Nicholas Measor},
  editor       = {Egon B{\"{o}}rger and
                  Yuri Gurevich and
                  Karl Meinke},
  title        = {On Duality for the Modal {\(\mathrm{\mu}\)}-Calculus},
  booktitle    = {Computer Science Logic, 7th Workshop, {CSL} '93, Swansea, United Kingdom,
                  September 13-17, 1993, Selected Papers},
  series       = {Lecture Notes in Computer Science},
  volume       = {832},
  pages        = {18--32},
  publisher    = {Springer},
  year         = {1993},
  url          = {https://doi.org/10.1007/BFb0049321},
  doi          = {10.1007/BFB0049321},
  timestamp    = {Sat, 20 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/csl/AmblerKM93.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/csl/BaazZ93,
  author       = {Matthias Baaz and
                  Richard Zach},
  editor       = {Egon B{\"{o}}rger and
                  Yuri Gurevich and
                  Karl Meinke},
  title        = {Short Proofs of Tautologies Using the Schema of Equivalence},
  booktitle    = {Computer Science Logic, 7th Workshop, {CSL} '93, Swansea, United Kingdom,
                  September 13-17, 1993, Selected Papers},
  series       = {Lecture Notes in Computer Science},
  volume       = {832},
  pages        = {33--35},
  publisher    = {Springer},
  year         = {1993},
  url          = {https://doi.org/10.1007/BFb0049322},
  doi          = {10.1007/BFB0049322},
  timestamp    = {Thu, 23 Jun 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/csl/BaazZ93.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/csl/BergstraBP93,
  author       = {Jan A. Bergstra and
                  Inge Bethke and
                  Alban Ponse},
  editor       = {Egon B{\"{o}}rger and
                  Yuri Gurevich and
                  Karl Meinke},
  title        = {Process Algebra with Combinators},
  booktitle    = {Computer Science Logic, 7th Workshop, {CSL} '93, Swansea, United Kingdom,
                  September 13-17, 1993, Selected Papers},
  series       = {Lecture Notes in Computer Science},
  volume       = {832},
  pages        = {36--65},
  publisher    = {Springer},
  year         = {1993},
  url          = {https://doi.org/10.1007/BFb0049323},
  doi          = {10.1007/BFB0049323},
  timestamp    = {Thu, 15 Jun 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/csl/BergstraBP93.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/csl/Blass93,
  author       = {Andreas Blass},
  editor       = {Egon B{\"{o}}rger and
                  Yuri Gurevich and
                  Karl Meinke},
  title        = {Is Game Semantics Necessary?},
  booktitle    = {Computer Science Logic, 7th Workshop, {CSL} '93, Swansea, United Kingdom,
                  September 13-17, 1993, Selected Papers},
  series       = {Lecture Notes in Computer Science},
  volume       = {832},
  pages        = {66--77},
  publisher    = {Springer},
  year         = {1993},
  url          = {https://doi.org/10.1007/BFb0049324},
  doi          = {10.1007/BFB0049324},
  timestamp    = {Sat, 20 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/csl/Blass93.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/csl/ComptonU93,
  author       = {Kevin J. Compton and
                  Rosario Uceda{-}Sosa},
  editor       = {Egon B{\"{o}}rger and
                  Yuri Gurevich and
                  Karl Meinke},
  title        = {The Model Theory of Concurrency},
  booktitle    = {Computer Science Logic, 7th Workshop, {CSL} '93, Swansea, United Kingdom,
                  September 13-17, 1993, Selected Papers},
  series       = {Lecture Notes in Computer Science},
  volume       = {832},
  pages        = {78--90},
  publisher    = {Springer},
  year         = {1993},
  url          = {https://doi.org/10.1007/BFb0049325},
  doi          = {10.1007/BFB0049325},
  timestamp    = {Sat, 20 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/csl/ComptonU93.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/csl/Coquand93,
  author       = {Catarina Coquand},
  editor       = {Egon B{\"{o}}rger and
                  Yuri Gurevich and
                  Karl Meinke},
  title        = {From Semantics to Rules: {A} Machine Assisted Analysis},
  booktitle    = {Computer Science Logic, 7th Workshop, {CSL} '93, Swansea, United Kingdom,
                  September 13-17, 1993, Selected Papers},
  series       = {Lecture Notes in Computer Science},
  volume       = {832},
  pages        = {91--105},
  publisher    = {Springer},
  year         = {1993},
  url          = {https://doi.org/10.1007/BFb0049326},
  doi          = {10.1007/BFB0049326},
  timestamp    = {Sat, 20 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/csl/Coquand93.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/csl/GoerdtK93,
  author       = {Andreas Goerdt and
                  Udo Kamps},
  editor       = {Egon B{\"{o}}rger and
                  Yuri Gurevich and
                  Karl Meinke},
  title        = {On the Reasons for Average Superlinear Speedup in Parallel Backtrack
                  Search},
  booktitle    = {Computer Science Logic, 7th Workshop, {CSL} '93, Swansea, United Kingdom,
                  September 13-17, 1993, Selected Papers},
  series       = {Lecture Notes in Computer Science},
  volume       = {832},
  pages        = {106--127},
  publisher    = {Springer},
  year         = {1993},
  url          = {https://doi.org/10.1007/BFb0049327},
  doi          = {10.1007/BFB0049327},
  timestamp    = {Sat, 20 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/csl/GoerdtK93.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/csl/Gomolko93,
  author       = {Alexey Gomolko},
  editor       = {Egon B{\"{o}}rger and
                  Yuri Gurevich and
                  Karl Meinke},
  title        = {Negation as Inconsistency in {PROLOG} via Intuitionistic Logic},
  booktitle    = {Computer Science Logic, 7th Workshop, {CSL} '93, Swansea, United Kingdom,
                  September 13-17, 1993, Selected Papers},
  series       = {Lecture Notes in Computer Science},
  volume       = {832},
  pages        = {128--138},
  publisher    = {Springer},
  year         = {1993},
  url          = {https://doi.org/10.1007/BFb0049328},
  doi          = {10.1007/BFB0049328},
  timestamp    = {Sat, 20 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/csl/Gomolko93.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/csl/GradelM93,
  author       = {Erich Gr{\"{a}}del and
                  Anders Malmstr{\"{o}}m},
  editor       = {Egon B{\"{o}}rger and
                  Yuri Gurevich and
                  Karl Meinke},
  title        = {Approximable Minimization Problems and Optimal Solutions on Random
                  Inputs},
  booktitle    = {Computer Science Logic, 7th Workshop, {CSL} '93, Swansea, United Kingdom,
                  September 13-17, 1993, Selected Papers},
  series       = {Lecture Notes in Computer Science},
  volume       = {832},
  pages        = {139--149},
  publisher    = {Springer},
  year         = {1993},
  url          = {https://doi.org/10.1007/BFb0049329},
  doi          = {10.1007/BFB0049329},
  timestamp    = {Sat, 20 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/csl/GradelM93.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/csl/Grohe93,
  author       = {Martin Grohe},
  editor       = {Egon B{\"{o}}rger and
                  Yuri Gurevich and
                  Karl Meinke},
  title        = {Bounded-Arity Hierarchies in Fixed-Point Logics},
  booktitle    = {Computer Science Logic, 7th Workshop, {CSL} '93, Swansea, United Kingdom,
                  September 13-17, 1993, Selected Papers},
  series       = {Lecture Notes in Computer Science},
  volume       = {832},
  pages        = {150--164},
  publisher    = {Springer},
  year         = {1993},
  url          = {https://doi.org/10.1007/BFb0049330},
  doi          = {10.1007/BFB0049330},
  timestamp    = {Sat, 20 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/csl/Grohe93.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/csl/GurevichH93,
  author       = {Yuri Gurevich and
                  James K. Huggins},
  editor       = {Egon B{\"{o}}rger and
                  Yuri Gurevich and
                  Karl Meinke},
  title        = {{ERRATA} to "The Semantics of the {C} Programming Language"},
  booktitle    = {Computer Science Logic, 7th Workshop, {CSL} '93, Swansea, United Kingdom,
                  September 13-17, 1993, Selected Papers},
  series       = {Lecture Notes in Computer Science},
  volume       = {832},
  pages        = {334--336},
  publisher    = {Springer},
  year         = {1993},
  url          = {https://doi.org/10.1007/BFb0049341},
  doi          = {10.1007/BFB0049341},
  timestamp    = {Sat, 20 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/csl/GurevichH93.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/csl/Hishfeld93,
  author       = {Yoram Hirshfeld},
  editor       = {Egon B{\"{o}}rger and
                  Yuri Gurevich and
                  Karl Meinke},
  title        = {Petri Nets and the Equivalence Problem},
  booktitle    = {Computer Science Logic, 7th Workshop, {CSL} '93, Swansea, United Kingdom,
                  September 13-17, 1993, Selected Papers},
  series       = {Lecture Notes in Computer Science},
  volume       = {832},
  pages        = {165--174},
  publisher    = {Springer},
  year         = {1993},
  url          = {https://doi.org/10.1007/BFb0049331},
  doi          = {10.1007/BFB0049331},
  timestamp    = {Sat, 20 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/csl/Hishfeld93.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/csl/Kozen93,
  author       = {Dexter Kozen},
  editor       = {Egon B{\"{o}}rger and
                  Yuri Gurevich and
                  Karl Meinke},
  title        = {Logical Aspects of Set Constraints},
  booktitle    = {Computer Science Logic, 7th Workshop, {CSL} '93, Swansea, United Kingdom,
                  September 13-17, 1993, Selected Papers},
  series       = {Lecture Notes in Computer Science},
  volume       = {832},
  pages        = {175--188},
  publisher    = {Springer},
  year         = {1993},
  url          = {https://doi.org/10.1007/BFb0049332},
  doi          = {10.1007/BFB0049332},
  timestamp    = {Sat, 20 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/csl/Kozen93.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/csl/MakowskyP93,
  author       = {Johann A. Makowsky and
                  Y. B. Pnueli},
  editor       = {Egon B{\"{o}}rger and
                  Yuri Gurevich and
                  Karl Meinke},
  title        = {Oracles and Quantifiers},
  booktitle    = {Computer Science Logic, 7th Workshop, {CSL} '93, Swansea, United Kingdom,
                  September 13-17, 1993, Selected Papers},
  series       = {Lecture Notes in Computer Science},
  volume       = {832},
  pages        = {189--222},
  publisher    = {Springer},
  year         = {1993},
  url          = {https://doi.org/10.1007/BFb0049333},
  doi          = {10.1007/BFB0049333},
  timestamp    = {Sat, 20 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/csl/MakowskyP93.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/csl/Marcinkowski93,
  author       = {Jerzy Marcinkowski},
  editor       = {Egon B{\"{o}}rger and
                  Yuri Gurevich and
                  Karl Meinke},
  title        = {A Horn Clause that Implies and Undecidable Set of Horn Clauses},
  booktitle    = {Computer Science Logic, 7th Workshop, {CSL} '93, Swansea, United Kingdom,
                  September 13-17, 1993, Selected Papers},
  series       = {Lecture Notes in Computer Science},
  volume       = {832},
  pages        = {223--237},
  publisher    = {Springer},
  year         = {1993},
  url          = {https://doi.org/10.1007/BFb0049334},
  doi          = {10.1007/BFB0049334},
  timestamp    = {Sat, 20 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/csl/Marcinkowski93.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/csl/Milner93,
  author       = {Robin Milner},
  editor       = {Egon B{\"{o}}rger and
                  Yuri Gurevich and
                  Karl Meinke},
  title        = {Higher-Order Action Calculi},
  booktitle    = {Computer Science Logic, 7th Workshop, {CSL} '93, Swansea, United Kingdom,
                  September 13-17, 1993, Selected Papers},
  series       = {Lecture Notes in Computer Science},
  volume       = {832},
  pages        = {238--260},
  publisher    = {Springer},
  year         = {1993},
  url          = {https://doi.org/10.1007/BFb0049335},
  doi          = {10.1007/BFB0049335},
  timestamp    = {Sat, 20 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/csl/Milner93.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/csl/OngR93,
  author       = {C.{-}H. Luke Ong and
                  Eike Ritter},
  editor       = {Egon B{\"{o}}rger and
                  Yuri Gurevich and
                  Karl Meinke},
  title        = {A Generic Strong Normalization Argument: Application to the Calculus
                  of Constructions},
  booktitle    = {Computer Science Logic, 7th Workshop, {CSL} '93, Swansea, United Kingdom,
                  September 13-17, 1993, Selected Papers},
  series       = {Lecture Notes in Computer Science},
  volume       = {832},
  pages        = {261--279},
  publisher    = {Springer},
  year         = {1993},
  url          = {https://doi.org/10.1007/BFb0049336},
  doi          = {10.1007/BFB0049336},
  timestamp    = {Fri, 02 Jun 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/csl/OngR93.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/csl/Raffalli93,
  author       = {Christophe Raffalli},
  editor       = {Egon B{\"{o}}rger and
                  Yuri Gurevich and
                  Karl Meinke},
  title        = {Data Types, Infinity and Equality in System AF\({}_{\mbox{2}}\)},
  booktitle    = {Computer Science Logic, 7th Workshop, {CSL} '93, Swansea, United Kingdom,
                  September 13-17, 1993, Selected Papers},
  series       = {Lecture Notes in Computer Science},
  volume       = {832},
  pages        = {280--294},
  publisher    = {Springer},
  year         = {1993},
  url          = {https://doi.org/10.1007/BFb0049337},
  doi          = {10.1007/BFB0049337},
  timestamp    = {Sat, 20 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/csl/Raffalli93.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/csl/Ritter93,
  author       = {Eike Ritter},
  editor       = {Egon B{\"{o}}rger and
                  Yuri Gurevich and
                  Karl Meinke},
  title        = {Normalization for Typed Lambda Calculi with Explicit Substitution},
  booktitle    = {Computer Science Logic, 7th Workshop, {CSL} '93, Swansea, United Kingdom,
                  September 13-17, 1993, Selected Papers},
  series       = {Lecture Notes in Computer Science},
  volume       = {832},
  pages        = {295--304},
  publisher    = {Springer},
  year         = {1993},
  url          = {https://doi.org/10.1007/BFb0049338},
  doi          = {10.1007/BFB0049338},
  timestamp    = {Sat, 20 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/csl/Ritter93.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/csl/SiegW93,
  author       = {Wilfried Sieg and
                  Stanley S. Wainer},
  editor       = {Egon B{\"{o}}rger and
                  Yuri Gurevich and
                  Karl Meinke},
  title        = {Program Transformation and Proof Transformation},
  booktitle    = {Computer Science Logic, 7th Workshop, {CSL} '93, Swansea, United Kingdom,
                  September 13-17, 1993, Selected Papers},
  series       = {Lecture Notes in Computer Science},
  volume       = {832},
  pages        = {305--317},
  publisher    = {Springer},
  year         = {1993},
  url          = {https://doi.org/10.1007/BFb0049339},
  doi          = {10.1007/BFB0049339},
  timestamp    = {Sat, 20 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/csl/SiegW93.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/csl/Stewart93,
  author       = {Iain A. Stewart},
  editor       = {Egon B{\"{o}}rger and
                  Yuri Gurevich and
                  Karl Meinke},
  title        = {Incorporating Generalized Quantifiers and the Least Fixed Point Operator},
  booktitle    = {Computer Science Logic, 7th Workshop, {CSL} '93, Swansea, United Kingdom,
                  September 13-17, 1993, Selected Papers},
  series       = {Lecture Notes in Computer Science},
  volume       = {832},
  pages        = {318--333},
  publisher    = {Springer},
  year         = {1993},
  url          = {https://doi.org/10.1007/BFb0049340},
  doi          = {10.1007/BFB0049340},
  timestamp    = {Sat, 20 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/csl/Stewart93.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
a service of  Schloss Dagstuhl - Leibniz Center for Informatics

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.