default search action

combined dblp search
author search
venue search
publication search

ask others

Search dblp for Publications

Name: dblp XML data dump
Creator: Schloss Dagstuhl - Leibniz Center for Informatics
Published: 1993
License: https://creativecommons.org/publicdomain/zero/1.0/
Keywords: dblp, XML, computer science, scholarly publications, metadata

export results for "toc:db/conf/lics/lics2001.bht:"

> Home > Search

download as .bib file

@inproceedings{DBLP:conf/lics/Abiteboul01,
  author       = {Serge Abiteboul},
  title        = {Semistructured Data: from Practice to Theory},
  booktitle    = {16th Annual {IEEE} Symposium on Logic in Computer Science, Boston,
                  Massachusetts, USA, June 16-19, 2001, Proceedings},
  pages        = {379--386},
  publisher    = {{IEEE} Computer Society},
  year         = {2001},
  url          = {https://doi.org/10.1109/LICS.2001.932513},
  doi          = {10.1109/LICS.2001.932513},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/lics/Abiteboul01.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/lics/AdlerI01,
  author       = {Micah Adler and
                  Neil Immerman},
  title        = {An n! Lower Bound on Formula Size},
  booktitle    = {16th Annual {IEEE} Symposium on Logic in Computer Science, Boston,
                  Massachusetts, USA, June 16-19, 2001, Proceedings},
  pages        = {197--206},
  publisher    = {{IEEE} Computer Society},
  year         = {2001},
  url          = {https://doi.org/10.1109/LICS.2001.932497},
  doi          = {10.1109/LICS.2001.932497},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/lics/AdlerI01.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/lics/AlfaroHM01,
  author       = {Luca de Alfaro and
                  Thomas A. Henzinger and
                  Rupak Majumdar},
  title        = {From Verification to Control: Dynamic Programs for Omega-Regular Objectives},
  booktitle    = {16th Annual {IEEE} Symposium on Logic in Computer Science, Boston,
                  Massachusetts, USA, June 16-19, 2001, Proceedings},
  pages        = {279--290},
  publisher    = {{IEEE} Computer Society},
  year         = {2001},
  url          = {https://doi.org/10.1109/LICS.2001.932504},
  doi          = {10.1109/LICS.2001.932504},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/lics/AlfaroHM01.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/lics/AlonMNSV01,
  author       = {Noga Alon and
                  Tova Milo and
                  Frank Neven and
                  Dan Suciu and
                  Victor Vianu},
  title        = {Typechecking {XML} Views of Relational Databases},
  booktitle    = {16th Annual {IEEE} Symposium on Logic in Computer Science, Boston,
                  Massachusetts, USA, June 16-19, 2001, Proceedings},
  pages        = {421--430},
  publisher    = {{IEEE} Computer Society},
  year         = {2001},
  url          = {https://doi.org/10.1109/LICS.2001.932517},
  doi          = {10.1109/LICS.2001.932517},
  timestamp    = {Mon, 05 Feb 2024 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/lics/AlonMNSV01.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/lics/AltenkirchDHS01,
  author       = {Thorsten Altenkirch and
                  Peter Dybjer and
                  Martin Hofmann and
                  Philip J. Scott},
  title        = {Normalization by Evaluation for Typed Lambda Calculus with Coproducts},
  booktitle    = {16th Annual {IEEE} Symposium on Logic in Computer Science, Boston,
                  Massachusetts, USA, June 16-19, 2001, Proceedings},
  pages        = {303--310},
  publisher    = {{IEEE} Computer Society},
  year         = {2001},
  url          = {https://doi.org/10.1109/LICS.2001.932506},
  doi          = {10.1109/LICS.2001.932506},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/lics/AltenkirchDHS01.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/lics/AlurT01,
  author       = {Rajeev Alur and
                  Salvatore {La Torre}},
  title        = {Deterministic Generators and Games for {LTL} Fragments},
  booktitle    = {16th Annual {IEEE} Symposium on Logic in Computer Science, Boston,
                  Massachusetts, USA, June 16-19, 2001, Proceedings},
  pages        = {291--300},
  publisher    = {{IEEE} Computer Society},
  year         = {2001},
  url          = {https://doi.org/10.1109/LICS.2001.932505},
  doi          = {10.1109/LICS.2001.932505},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/lics/AlurT01.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/lics/Appel01,
  author       = {Andrew W. Appel},
  title        = {Foundational Proof-Carrying Code},
  booktitle    = {16th Annual {IEEE} Symposium on Logic in Computer Science, Boston,
                  Massachusetts, USA, June 16-19, 2001, Proceedings},
  pages        = {247--256},
  publisher    = {{IEEE} Computer Society},
  year         = {2001},
  url          = {https://doi.org/10.1109/LICS.2001.932501},
  doi          = {10.1109/LICS.2001.932501},
  timestamp    = {Sat, 30 Sep 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/lics/Appel01.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/lics/ArnoldLM01,
  author       = {Andr{\'{e}} Arnold and
                  Giacomo Lenzi and
                  Jerzy Marcinkowski},
  title        = {The Hierarchy inside Closed Monadic Sigma\({}_{\mbox{1}}\) Collapses
                  on the Infinite Binary Tree},
  booktitle    = {16th Annual {IEEE} Symposium on Logic in Computer Science, Boston,
                  Massachusetts, USA, June 16-19, 2001, Proceedings},
  pages        = {157--166},
  publisher    = {{IEEE} Computer Society},
  year         = {2001},
  url          = {https://doi.org/10.1109/LICS.2001.932492},
  doi          = {10.1109/LICS.2001.932492},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/lics/ArnoldLM01.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/lics/AsarinB01,
  author       = {Eugene Asarin and
                  Ahmed Bouajjani},
  title        = {Perturbed Turing Machines and Hybrid Systems},
  booktitle    = {16th Annual {IEEE} Symposium on Logic in Computer Science, Boston,
                  Massachusetts, USA, June 16-19, 2001, Proceedings},
  pages        = {269--278},
  publisher    = {{IEEE} Computer Society},
  year         = {2001},
  url          = {https://doi.org/10.1109/LICS.2001.932503},
  doi          = {10.1109/LICS.2001.932503},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/lics/AsarinB01.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/lics/Avigad01,
  author       = {Jeremy Avigad},
  title        = {Eliminating Definitions and Skolem Functions in First-Order Logic},
  booktitle    = {16th Annual {IEEE} Symposium on Logic in Computer Science, Boston,
                  Massachusetts, USA, June 16-19, 2001, Proceedings},
  pages        = {139--146},
  publisher    = {{IEEE} Computer Society},
  year         = {2001},
  url          = {https://doi.org/10.1109/LICS.2001.932490},
  doi          = {10.1109/LICS.2001.932490},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/lics/Avigad01.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/lics/BarringtonILST01,
  author       = {David A. Mix Barrington and
                  Neil Immerman and
                  Clemens Lautemann and
                  Nicole Schweikardt and
                  Denis Th{\'{e}}rien},
  title        = {The Crane Beach Conjecture},
  booktitle    = {16th Annual {IEEE} Symposium on Logic in Computer Science, Boston,
                  Massachusetts, USA, June 16-19, 2001, Proceedings},
  pages        = {187--196},
  publisher    = {{IEEE} Computer Society},
  year         = {2001},
  url          = {https://doi.org/10.1109/LICS.2001.932496},
  doi          = {10.1109/LICS.2001.932496},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/lics/BarringtonILST01.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/lics/BenediktLSS01,
  author       = {Michael Benedikt and
                  Leonid Libkin and
                  Thomas Schwentick and
                  Luc Segoufin},
  title        = {A Model-Theoretic Approach to Regular String Relations},
  booktitle    = {16th Annual {IEEE} Symposium on Logic in Computer Science, Boston,
                  Massachusetts, USA, June 16-19, 2001, Proceedings},
  pages        = {431--440},
  publisher    = {{IEEE} Computer Society},
  year         = {2001},
  url          = {https://doi.org/10.1109/LICS.2001.932518},
  doi          = {10.1109/LICS.2001.932518},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/lics/BenediktLSS01.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/lics/Blanqui01,
  author       = {Fr{\'{e}}d{\'{e}}ric Blanqui},
  title        = {Definitions by Rewriting in the Calculus of Constructions},
  booktitle    = {16th Annual {IEEE} Symposium on Logic in Computer Science, Boston,
                  Massachusetts, USA, June 16-19, 2001, Proceedings},
  pages        = {9--18},
  publisher    = {{IEEE} Computer Society},
  year         = {2001},
  url          = {https://doi.org/10.1109/LICS.2001.932478},
  doi          = {10.1109/LICS.2001.932478},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/lics/Blanqui01.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/lics/BouajjaniMT01,
  author       = {Ahmed Bouajjani and
                  Anca Muscholl and
                  Tayssir Touili},
  title        = {Permutation Rewriting and Algorithmic Verification},
  booktitle    = {16th Annual {IEEE} Symposium on Logic in Computer Science, Boston,
                  Massachusetts, USA, June 16-19, 2001, Proceedings},
  pages        = {399--408},
  publisher    = {{IEEE} Computer Society},
  year         = {2001},
  url          = {https://doi.org/10.1109/LICS.2001.932515},
  doi          = {10.1109/LICS.2001.932515},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/lics/BouajjaniMT01.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/lics/BrunsG01,
  author       = {Glenn Bruns and
                  Patrice Godefroid},
  title        = {Temporal Logic Query Checking},
  booktitle    = {16th Annual {IEEE} Symposium on Logic in Computer Science, Boston,
                  Massachusetts, USA, June 16-19, 2001, Proceedings},
  pages        = {409--417},
  publisher    = {{IEEE} Computer Society},
  year         = {2001},
  url          = {https://doi.org/10.1109/LICS.2001.932516},
  doi          = {10.1109/LICS.2001.932516},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/lics/BrunsG01.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/lics/CookK01,
  author       = {Stephen A. Cook and
                  Antonina Kolokolova},
  title        = {A Second-Order System for Polytime Reasoning Using Graedel's Theorem},
  booktitle    = {16th Annual {IEEE} Symposium on Logic in Computer Science, Boston,
                  Massachusetts, USA, June 16-19, 2001, Proceedings},
  pages        = {177--186},
  publisher    = {{IEEE} Computer Society},
  year         = {2001},
  url          = {https://doi.org/10.1109/LICS.2001.932495},
  doi          = {10.1109/LICS.2001.932495},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/lics/CookK01.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/lics/DasD01,
  author       = {Satyaki Das and
                  David L. Dill},
  title        = {Successive Approximation of Abstract Transition Relations},
  booktitle    = {16th Annual {IEEE} Symposium on Logic in Computer Science, Boston,
                  Massachusetts, USA, June 16-19, 2001, Proceedings},
  pages        = {51--58},
  publisher    = {{IEEE} Computer Society},
  year         = {2001},
  url          = {https://doi.org/10.1109/LICS.2001.932482},
  doi          = {10.1109/LICS.2001.932482},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/lics/DasD01.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/lics/EscardoS01,
  author       = {Mart{\'{\i}}n H{\"{o}}tzel Escard{\'{o}} and
                  Alex K. Simpson},
  title        = {A Universal Characterization of the Closed Euclidean Interval},
  booktitle    = {16th Annual {IEEE} Symposium on Logic in Computer Science, Boston,
                  Massachusetts, USA, June 16-19, 2001, Proceedings},
  pages        = {115--125},
  publisher    = {{IEEE} Computer Society},
  year         = {2001},
  url          = {https://doi.org/10.1109/LICS.2001.932488},
  doi          = {10.1109/LICS.2001.932488},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/lics/EscardoS01.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/lics/FioreT01,
  author       = {Marcelo P. Fiore and
                  Daniele Turi},
  title        = {Semantics of Name and Value Passing},
  booktitle    = {16th Annual {IEEE} Symposium on Logic in Computer Science, Boston,
                  Massachusetts, USA, June 16-19, 2001, Proceedings},
  pages        = {93--104},
  publisher    = {{IEEE} Computer Society},
  year         = {2001},
  url          = {https://doi.org/10.1109/LICS.2001.932486},
  doi          = {10.1109/LICS.2001.932486},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/lics/FioreT01.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/lics/Ganzinger01,
  author       = {Harald Ganzinger},
  title        = {Relating Semantic and Proof-Theoretic Concepts for Polynominal Time
                  Decidability of Uniform Word Problems},
  booktitle    = {16th Annual {IEEE} Symposium on Logic in Computer Science, Boston,
                  Massachusetts, USA, June 16-19, 2001, Proceedings},
  pages        = {81--90},
  publisher    = {{IEEE} Computer Society},
  year         = {2001},
  url          = {https://doi.org/10.1109/LICS.2001.932485},
  doi          = {10.1109/LICS.2001.932485},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/lics/Ganzinger01.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/lics/GodoyN01,
  author       = {Guillem Godoy and
                  Robert Nieuwenhuis},
  title        = {On Ordering Constraints for Deduction with Built-In Abelian Semigroups,
                  Monoids and Groups},
  booktitle    = {16th Annual {IEEE} Symposium on Logic in Computer Science, Boston,
                  Massachusetts, USA, June 16-19, 2001, Proceedings},
  pages        = {38--47},
  publisher    = {{IEEE} Computer Society},
  year         = {2001},
  url          = {https://doi.org/10.1109/LICS.2001.932481},
  doi          = {10.1109/LICS.2001.932481},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/lics/GodoyN01.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/lics/Gurevich01,
  author       = {Yuri Gurevich},
  title        = {Logician in the Land of {OS:} Abstract State Machines in Microsoft},
  booktitle    = {16th Annual {IEEE} Symposium on Logic in Computer Science, Boston,
                  Massachusetts, USA, June 16-19, 2001, Proceedings},
  pages        = {129--136},
  publisher    = {{IEEE} Computer Society},
  year         = {2001},
  url          = {https://doi.org/10.1109/LICS.2001.932489},
  doi          = {10.1109/LICS.2001.932489},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/lics/Gurevich01.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/lics/HuuskonenH01,
  author       = {Taneli Huuskonen and
                  Tapani Hyttinen},
  title        = {On Definability of Order in Logic with Choice},
  booktitle    = {16th Annual {IEEE} Symposium on Logic in Computer Science, Boston,
                  Massachusetts, USA, June 16-19, 2001, Proceedings},
  pages        = {167--172},
  publisher    = {{IEEE} Computer Society},
  year         = {2001},
  url          = {https://doi.org/10.1109/LICS.2001.932493},
  doi          = {10.1109/LICS.2001.932493},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/lics/HuuskonenH01.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/lics/JaninL01,
  author       = {David Janin and
                  Giacomo Lenzi},
  title        = {Relating Levels of the Mu-Calculus Hierarchy and Levels of the Monadic
                  Hierarchy},
  booktitle    = {16th Annual {IEEE} Symposium on Logic in Computer Science, Boston,
                  Massachusetts, USA, June 16-19, 2001, Proceedings},
  pages        = {347--356},
  publisher    = {{IEEE} Computer Society},
  year         = {2001},
  url          = {https://doi.org/10.1109/LICS.2001.932510},
  doi          = {10.1109/LICS.2001.932510},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/lics/JaninL01.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/lics/Jeffrey01,
  author       = {Alan Jeffrey},
  title        = {A Symbolic Labelled Transition System for Coinductive Subtyping of
                  \emph{F\({}_{\mbox{{\(\mathrm{\mu}\)}{\textless}}}\)} Types},
  booktitle    = {16th Annual {IEEE} Symposium on Logic in Computer Science, Boston,
                  Massachusetts, USA, June 16-19, 2001, Proceedings},
  pages        = {323--333},
  publisher    = {{IEEE} Computer Society},
  year         = {2001},
  url          = {https://doi.org/10.1109/LICS.2001.932508},
  doi          = {10.1109/LICS.2001.932508},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/lics/Jeffrey01.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/lics/KirousisK01,
  author       = {Lefteris M. Kirousis and
                  Phokion G. Kolaitis},
  title        = {A Dichotomy in the Complexity of Propositional Circumscription},
  booktitle    = {16th Annual {IEEE} Symposium on Logic in Computer Science, Boston,
                  Massachusetts, USA, June 16-19, 2001, Proceedings},
  pages        = {71--80},
  publisher    = {{IEEE} Computer Society},
  year         = {2001},
  url          = {https://doi.org/10.1109/LICS.2001.932484},
  doi          = {10.1109/LICS.2001.932484},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/lics/KirousisK01.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/lics/KozenT01,
  author       = {Dexter Kozen and
                  Jerzy Tiuryn},
  title        = {Intuitionistic Linear Logic and Partial Correctness},
  booktitle    = {16th Annual {IEEE} Symposium on Logic in Computer Science, Boston,
                  Massachusetts, USA, June 16-19, 2001, Proceedings},
  pages        = {259--268},
  publisher    = {{IEEE} Computer Society},
  year         = {2001},
  url          = {https://doi.org/10.1109/LICS.2001.932502},
  doi          = {10.1109/LICS.2001.932502},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/lics/KozenT01.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/lics/KupfermanV01,
  author       = {Orna Kupferman and
                  Moshe Y. Vardi},
  title        = {Synthesizing Distributed Systems},
  booktitle    = {16th Annual {IEEE} Symposium on Logic in Computer Science, Boston,
                  Massachusetts, USA, June 16-19, 2001, Proceedings},
  pages        = {389--398},
  publisher    = {{IEEE} Computer Society},
  year         = {2001},
  url          = {https://doi.org/10.1109/LICS.2001.932514},
  doi          = {10.1109/LICS.2001.932514},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/lics/KupfermanV01.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/lics/Laird01,
  author       = {James Laird},
  title        = {A Fully Abstract Game Semantics of Local Exceptions},
  booktitle    = {16th Annual {IEEE} Symposium on Logic in Computer Science, Boston,
                  Massachusetts, USA, June 16-19, 2001, Proceedings},
  pages        = {105--114},
  publisher    = {{IEEE} Computer Society},
  year         = {2001},
  url          = {https://doi.org/10.1109/LICS.2001.932487},
  doi          = {10.1109/LICS.2001.932487},
  timestamp    = {Sun, 06 Oct 2024 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/lics/Laird01.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/lics/LangeS01,
  author       = {Martin Lange and
                  Colin Stirling},
  title        = {Focus Games for Satisfiability and Completeness of Temporal Logic},
  booktitle    = {16th Annual {IEEE} Symposium on Logic in Computer Science, Boston,
                  Massachusetts, USA, June 16-19, 2001, Proceedings},
  pages        = {357--365},
  publisher    = {{IEEE} Computer Society},
  year         = {2001},
  url          = {https://doi.org/10.1109/LICS.2001.932511},
  doi          = {10.1109/LICS.2001.932511},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/lics/LangeS01.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/lics/ManoliosT01,
  author       = {Panagiotis Manolios and
                  Richard J. Trefler},
  title        = {Safety and Liveness in Branching Time},
  booktitle    = {16th Annual {IEEE} Symposium on Logic in Computer Science, Boston,
                  Massachusetts, USA, June 16-19, 2001, Proceedings},
  pages        = {366--374},
  publisher    = {{IEEE} Computer Society},
  year         = {2001},
  url          = {https://doi.org/10.1109/LICS.2001.932512},
  doi          = {10.1109/LICS.2001.932512},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/lics/ManoliosT01.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/lics/MitchellRST01,
  author       = {John C. Mitchell and
                  Ajith Ramanathan and
                  Andre Scedrov and
                  Vanessa Teague},
  title        = {Probabilistic Polynominal-Time Process Calculus and Security Protocol
                  Analysis},
  booktitle    = {16th Annual {IEEE} Symposium on Logic in Computer Science, Boston,
                  Massachusetts, USA, June 16-19, 2001, Proceedings},
  pages        = {3--5},
  publisher    = {{IEEE} Computer Society},
  year         = {2001},
  url          = {https://doi.org/10.1109/LICS.2001.932477},
  doi          = {10.1109/LICS.2001.932477},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/lics/MitchellRST01.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/lics/Pfenning01,
  author       = {Frank Pfenning},
  title        = {Intensionality, Extensionality, and Proof Irrelevance in Modal Type
                  Theory},
  booktitle    = {16th Annual {IEEE} Symposium on Logic in Computer Science, Boston,
                  Massachusetts, USA, June 16-19, 2001, Proceedings},
  pages        = {221--230},
  publisher    = {{IEEE} Computer Society},
  year         = {2001},
  url          = {https://doi.org/10.1109/LICS.2001.932499},
  doi          = {10.1109/LICS.2001.932499},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/lics/Pfenning01.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/lics/RuessS01,
  author       = {Harald Rue{\ss} and
                  Natarajan Shankar},
  title        = {Deconstructing Shostak},
  booktitle    = {16th Annual {IEEE} Symposium on Logic in Computer Science, Boston,
                  Massachusetts, USA, June 16-19, 2001, Proceedings},
  pages        = {19--28},
  publisher    = {{IEEE} Computer Society},
  year         = {2001},
  url          = {https://doi.org/10.1109/LICS.2001.932479},
  doi          = {10.1109/LICS.2001.932479},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/lics/RuessS01.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/lics/Salibra01,
  author       = {Antonino Salibra},
  title        = {A Continuum of Theories of Lambda Calculus without Semantics},
  booktitle    = {16th Annual {IEEE} Symposium on Logic in Computer Science, Boston,
                  Massachusetts, USA, June 16-19, 2001, Proceedings},
  pages        = {334--343},
  publisher    = {{IEEE} Computer Society},
  year         = {2001},
  url          = {https://doi.org/10.1109/LICS.2001.932509},
  doi          = {10.1109/LICS.2001.932509},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/lics/Salibra01.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/lics/Stoller01,
  author       = {Scott D. Stoller},
  title        = {A Bound on Attacks on Payment Protocols},
  booktitle    = {16th Annual {IEEE} Symposium on Logic in Computer Science, Boston,
                  Massachusetts, USA, June 16-19, 2001, Proceedings},
  pages        = {61--70},
  publisher    = {{IEEE} Computer Society},
  year         = {2001},
  url          = {https://doi.org/10.1109/LICS.2001.932483},
  doi          = {10.1109/LICS.2001.932483},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/lics/Stoller01.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/lics/StumpBDL01,
  author       = {Aaron Stump and
                  Clark W. Barrett and
                  David L. Dill and
                  Jeremy R. Levitt},
  title        = {A Decision Procedure for an Extensional Theory of Arrays},
  booktitle    = {16th Annual {IEEE} Symposium on Logic in Computer Science, Boston,
                  Massachusetts, USA, June 16-19, 2001, Proceedings},
  pages        = {29--37},
  publisher    = {{IEEE} Computer Society},
  year         = {2001},
  url          = {https://doi.org/10.1109/LICS.2001.932480},
  doi          = {10.1109/LICS.2001.932480},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/lics/StumpBDL01.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/lics/SzwastT01,
  author       = {Wieslaw Szwast and
                  Lidia Tendera},
  title        = {On the Decision Problem for the Guarded Fragment with Transitivity},
  booktitle    = {16th Annual {IEEE} Symposium on Logic in Computer Science, Boston,
                  Massachusetts, USA, June 16-19, 2001, Proceedings},
  pages        = {147--156},
  publisher    = {{IEEE} Computer Society},
  year         = {2001},
  url          = {https://doi.org/10.1109/LICS.2001.932491},
  doi          = {10.1109/LICS.2001.932491},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/lics/SzwastT01.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/lics/Terui01,
  author       = {Kazushige Terui},
  title        = {Light Affine Calculus and Polytime Strong Normalization},
  booktitle    = {16th Annual {IEEE} Symposium on Logic in Computer Science, Boston,
                  Massachusetts, USA, June 16-19, 2001, Proceedings},
  pages        = {209--220},
  publisher    = {{IEEE} Computer Society},
  year         = {2001},
  url          = {https://doi.org/10.1109/LICS.2001.932498},
  doi          = {10.1109/LICS.2001.932498},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/lics/Terui01.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/lics/Thomas01,
  author       = {Wolfgang Thomas},
  title        = {The Engineering Challenge for Logic},
  booktitle    = {16th Annual {IEEE} Symposium on Logic in Computer Science, Boston,
                  Massachusetts, USA, June 16-19, 2001, Proceedings},
  pages        = {173--176},
  publisher    = {{IEEE} Computer Society},
  year         = {2001},
  timestamp    = {Fri, 20 Jan 2012 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/lics/Thomas01.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/lics/Xi01,
  author       = {Hongwei Xi},
  title        = {Dependent Types for Program Termination Verification},
  booktitle    = {16th Annual {IEEE} Symposium on Logic in Computer Science, Boston,
                  Massachusetts, USA, June 16-19, 2001, Proceedings},
  pages        = {231--242},
  publisher    = {{IEEE} Computer Society},
  year         = {2001},
  url          = {https://doi.org/10.1109/LICS.2001.932500},
  doi          = {10.1109/LICS.2001.932500},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/lics/Xi01.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/lics/YoshidaBH01,
  author       = {Nobuko Yoshida and
                  Martin Berger and
                  Kohei Honda},
  title        = {Strong Normalisation in the pi-Calculus},
  booktitle    = {16th Annual {IEEE} Symposium on Logic in Computer Science, Boston,
                  Massachusetts, USA, June 16-19, 2001, Proceedings},
  pages        = {311--322},
  publisher    = {{IEEE} Computer Society},
  year         = {2001},
  url          = {https://doi.org/10.1109/LICS.2001.932507},
  doi          = {10.1109/LICS.2001.932507},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/lics/YoshidaBH01.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@proceedings{DBLP:conf/lics/2001,
  title        = {16th Annual {IEEE} Symposium on Logic in Computer Science, Boston,
                  Massachusetts, USA, June 16-19, 2001, Proceedings},
  publisher    = {{IEEE} Computer Society},
  year         = {2001},
  url          = {https://ieeexplore.ieee.org/xpl/conhome/7424/proceeding},
  isbn         = {0-7695-1281-X},
  timestamp    = {Wed, 16 Oct 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/lics/2001.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.