Search dblp for Publications

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

 download as .bib file

@inproceedings{DBLP:conf/lics/AbdullaJ93,
  author       = {Parosh Aziz Abdulla and
                  Bengt Jonsson},
  title        = {Verifying Programs with Unreliable Channels},
  booktitle    = {Proceedings of the Eighth Annual Symposium on Logic in Computer Science
                  {(LICS} '93), Montreal, Canada, June 19-23, 1993},
  pages        = {160--170},
  publisher    = {{IEEE} Computer Society},
  year         = {1993},
  url          = {https://doi.org/10.1109/LICS.1993.287591},
  doi          = {10.1109/LICS.1993.287591},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/lics/AbdullaJ93.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/lics/BachmairGW93,
  author       = {Leo Bachmair and
                  Harald Ganzinger and
                  Uwe Waldmann},
  title        = {Set Constraints are the Monadic Class},
  booktitle    = {Proceedings of the Eighth Annual Symposium on Logic in Computer Science
                  {(LICS} '93), Montreal, Canada, June 19-23, 1993},
  pages        = {75--83},
  publisher    = {{IEEE} Computer Society},
  year         = {1993},
  url          = {https://doi.org/10.1109/LICS.1993.287598},
  doi          = {10.1109/LICS.1993.287598},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/lics/BachmairGW93.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/lics/Barwise93,
  author       = {Jon Barwise and
                  Jerry Seligman},
  title        = {Imperfect information flow},
  booktitle    = {Proceedings of the Eighth Annual Symposium on Logic in Computer Science
                  {(LICS} '93), Montreal, Canada, June 19-23, 1993},
  pages        = {252--260},
  publisher    = {{IEEE} Computer Society},
  year         = {1993},
  url          = {https://doi.org/10.1109/LICS.1993.287582},
  doi          = {10.1109/LICS.1993.287582},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/lics/Barwise93.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/lics/BeameP93,
  author       = {Paul Beame and
                  Toniann Pitassi},
  title        = {An Exponential Separation between the Matching Principle and the Pigeonhole
                  Principle},
  booktitle    = {Proceedings of the Eighth Annual Symposium on Logic in Computer Science
                  {(LICS} '93), Montreal, Canada, June 19-23, 1993},
  pages        = {308--319},
  publisher    = {{IEEE} Computer Society},
  year         = {1993},
  url          = {https://doi.org/10.1109/LICS.1993.287577},
  doi          = {10.1109/LICS.1993.287577},
  timestamp    = {Sat, 30 Sep 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/lics/BeameP93.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/lics/BouajjaniES93,
  author       = {Ahmed Bouajjani and
                  Rachid Echahed and
                  Joseph Sifakis},
  title        = {On Model Checking for Real-Time Properties with Durations},
  booktitle    = {Proceedings of the Eighth Annual Symposium on Logic in Computer Science
                  {(LICS} '93), Montreal, Canada, June 19-23, 1993},
  pages        = {147--159},
  publisher    = {{IEEE} Computer Society},
  year         = {1993},
  url          = {https://doi.org/10.1109/LICS.1993.287592},
  doi          = {10.1109/LICS.1993.287592},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/lics/BouajjaniES93.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/lics/Breazu-TannenKP93,
  author       = {Val Tannen and
                  Delia Kesner and
                  Laurence Puel},
  title        = {A Typed Pattern Calculus},
  booktitle    = {Proceedings of the Eighth Annual Symposium on Logic in Computer Science
                  {(LICS} '93), Montreal, Canada, June 19-23, 1993},
  pages        = {262--274},
  publisher    = {{IEEE} Computer Society},
  year         = {1993},
  url          = {https://doi.org/10.1109/LICS.1993.287581},
  doi          = {10.1109/LICS.1993.287581},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/lics/Breazu-TannenKP93.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/lics/Brooks93,
  author       = {Stephen D. Brookes},
  title        = {Full Abstraction for a Shared Variable Parallel Language},
  booktitle    = {Proceedings of the Eighth Annual Symposium on Logic in Computer Science
                  {(LICS} '93), Montreal, Canada, June 19-23, 1993},
  pages        = {98--109},
  publisher    = {{IEEE} Computer Society},
  year         = {1993},
  url          = {https://doi.org/10.1109/LICS.1993.287596},
  doi          = {10.1109/LICS.1993.287596},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/lics/Brooks93.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/lics/ChouGZ93,
  author       = {Shang{-}Ching Chou and
                  Xiao{-}Shan Gao and
                  Jing{-}Zhong Zhang},
  title        = {Automated Production of Traditional Proofs for Constructive Geometry
                  Theorems},
  booktitle    = {Proceedings of the Eighth Annual Symposium on Logic in Computer Science
                  {(LICS} '93), Montreal, Canada, June 19-23, 1993},
  pages        = {48--56},
  publisher    = {{IEEE} Computer Society},
  year         = {1993},
  url          = {https://doi.org/10.1109/LICS.1993.287601},
  doi          = {10.1109/LICS.1993.287601},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/lics/ChouGZ93.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/lics/ChristensenHM93,
  author       = {S{\o}ren Christensen and
                  Yoram Hirshfeld and
                  Faron Moller},
  title        = {Decomposability, Decidability and Axiomatisability for Bisimulation
                  Equivalence on Basic Parallel Processes},
  booktitle    = {Proceedings of the Eighth Annual Symposium on Logic in Computer Science
                  {(LICS} '93), Montreal, Canada, June 19-23, 1993},
  pages        = {386--396},
  publisher    = {{IEEE} Computer Society},
  year         = {1993},
  url          = {https://doi.org/10.1109/LICS.1993.287569},
  doi          = {10.1109/LICS.1993.287569},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/lics/ChristensenHM93.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/lics/Courcelle93,
  author       = {Bruno Courcelle},
  title        = {Monadic Second-Order Logic and Hypergraph Orientation},
  booktitle    = {Proceedings of the Eighth Annual Symposium on Logic in Computer Science
                  {(LICS} '93), Montreal, Canada, June 19-23, 1993},
  pages        = {179--190},
  publisher    = {{IEEE} Computer Society},
  year         = {1993},
  url          = {https://doi.org/10.1109/LICS.1993.287589},
  doi          = {10.1109/LICS.1993.287589},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/lics/Courcelle93.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/lics/DanosR93,
  author       = {Vincent Danos and
                  Laurent Regnier},
  title        = {Local and asynchronous beta-reduction (an analysis of Girard's execution
                  formula)},
  booktitle    = {Proceedings of the Eighth Annual Symposium on Logic in Computer Science
                  {(LICS} '93), Montreal, Canada, June 19-23, 1993},
  pages        = {296--306},
  publisher    = {{IEEE} Computer Society},
  year         = {1993},
  url          = {https://doi.org/10.1109/LICS.1993.287578},
  doi          = {10.1109/LICS.1993.287578},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/lics/DanosR93.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/lics/FalaschiGMP93,
  author       = {Moreno Falaschi and
                  Maurizio Gabbrielli and
                  Kim Marriott and
                  Catuscia Palamidessi},
  title        = {Compositional Analysis for Concurrent Constraint Programming},
  booktitle    = {Proceedings of the Eighth Annual Symposium on Logic in Computer Science
                  {(LICS} '93), Montreal, Canada, June 19-23, 1993},
  pages        = {210--221},
  publisher    = {{IEEE} Computer Society},
  year         = {1993},
  url          = {https://doi.org/10.1109/LICS.1993.287586},
  doi          = {10.1109/LICS.1993.287586},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/lics/FalaschiGMP93.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/lics/FayolleGT93,
  author       = {Guy Fayolle and
                  St{\'{e}}phane Grumbach and
                  Christophe Tollu},
  title        = {Asymptotic Probabilities of Languages with Generalized Quantifiers},
  booktitle    = {Proceedings of the Eighth Annual Symposium on Logic in Computer Science
                  {(LICS} '93), Montreal, Canada, June 19-23, 1993},
  pages        = {199--207},
  publisher    = {{IEEE} Computer Society},
  year         = {1993},
  url          = {https://doi.org/10.1109/LICS.1993.287587},
  doi          = {10.1109/LICS.1993.287587},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/lics/FayolleGT93.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/lics/Felty93,
  author       = {Amy P. Felty},
  title        = {Encoding the Calculus of Constructions in a Higher-Order Logic},
  booktitle    = {Proceedings of the Eighth Annual Symposium on Logic in Computer Science
                  {(LICS} '93), Montreal, Canada, June 19-23, 1993},
  pages        = {233--244},
  publisher    = {{IEEE} Computer Society},
  year         = {1993},
  url          = {https://doi.org/10.1109/LICS.1993.287584},
  doi          = {10.1109/LICS.1993.287584},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/lics/Felty93.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/lics/Fiore93,
  author       = {Marcelo P. Fiore},
  title        = {A Coinduction Principle for Recursive Data Types Based on Bisimulation},
  booktitle    = {Proceedings of the Eighth Annual Symposium on Logic in Computer Science
                  {(LICS} '93), Montreal, Canada, June 19-23, 1993},
  pages        = {110--119},
  publisher    = {{IEEE} Computer Society},
  year         = {1993},
  url          = {https://doi.org/10.1109/LICS.1993.287595},
  doi          = {10.1109/LICS.1993.287595},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/lics/Fiore93.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/lics/Hennessy93,
  author       = {Matthew Hennessy},
  title        = {A Fully Abstract Denotational Model for Higher-Order Processes (Extended
                  Abstract)},
  booktitle    = {Proceedings of the Eighth Annual Symposium on Logic in Computer Science
                  {(LICS} '93), Montreal, Canada, June 19-23, 1993},
  pages        = {397--408},
  publisher    = {{IEEE} Computer Society},
  year         = {1993},
  url          = {https://doi.org/10.1109/LICS.1993.287568},
  doi          = {10.1109/LICS.1993.287568},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/lics/Hennessy93.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/lics/HillebrandKM93,
  author       = {Gerd G. Hillebrand and
                  Paris C. Kanellakis and
                  Harry G. Mairson},
  title        = {Database Query Languages Embedded in the Typed Lambda Calculus},
  booktitle    = {Proceedings of the Eighth Annual Symposium on Logic in Computer Science
                  {(LICS} '93), Montreal, Canada, June 19-23, 1993},
  pages        = {332--343},
  publisher    = {{IEEE} Computer Society},
  year         = {1993},
  url          = {https://doi.org/10.1109/LICS.1993.287575},
  doi          = {10.1109/LICS.1993.287575},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/lics/HillebrandKM93.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/lics/HoangMV93,
  author       = {My Hoang and
                  John C. Mitchell and
                  Ramesh Viswanathan},
  title        = {Standard {ML-NJ} weak polymorphism and imperative constructs},
  booktitle    = {Proceedings of the Eighth Annual Symposium on Logic in Computer Science
                  {(LICS} '93), Montreal, Canada, June 19-23, 1993},
  pages        = {15--25},
  publisher    = {{IEEE} Computer Society},
  year         = {1993},
  url          = {https://doi.org/10.1109/LICS.1993.287604},
  doi          = {10.1109/LICS.1993.287604},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/lics/HoangMV93.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/lics/JategaonkarM93,
  author       = {Lalita Jategaonkar and
                  Albert R. Meyer},
  title        = {Self-Synchronization of Concurrent Processes (Preliminary Report)},
  booktitle    = {Proceedings of the Eighth Annual Symposium on Logic in Computer Science
                  {(LICS} '93), Montreal, Canada, June 19-23, 1993},
  pages        = {409--417},
  publisher    = {{IEEE} Computer Society},
  year         = {1993},
  url          = {https://doi.org/10.1109/LICS.1993.287567},
  doi          = {10.1109/LICS.1993.287567},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/lics/JategaonkarM93.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/lics/JoyalNW93,
  author       = {Andr{\'{e}} Joyal and
                  Mogens Nielsen and
                  Glynn Winskel},
  title        = {Bisimulation and open maps},
  booktitle    = {Proceedings of the Eighth Annual Symposium on Logic in Computer Science
                  {(LICS} '93), Montreal, Canada, June 19-23, 1993},
  pages        = {418--427},
  publisher    = {{IEEE} Computer Society},
  year         = {1993},
  url          = {https://doi.org/10.1109/LICS.1993.287566},
  doi          = {10.1109/LICS.1993.287566},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/lics/JoyalNW93.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/lics/Kolaitis93,
  author       = {Phokion G. Kolaitis},
  title        = {A Tutorial on Finite Model Theory (Abstract)},
  booktitle    = {Proceedings of the Eighth Annual Symposium on Logic in Computer Science
                  {(LICS} '93), Montreal, Canada, June 19-23, 1993},
  pages        = {122},
  publisher    = {{IEEE} Computer Society},
  year         = {1993},
  timestamp    = {Thu, 22 Jan 2015 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/lics/Kolaitis93.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/lics/LakshmananAH93,
  author       = {Laks V. S. Lakshmanan and
                  Karima Ashraf and
                  Jiawei Han},
  title        = {Homomorphic Tree Embeddings and Their Applications to Recursive Program
                  Optimization},
  booktitle    = {Proceedings of the Eighth Annual Symposium on Logic in Computer Science
                  {(LICS} '93), Montreal, Canada, June 19-23, 1993},
  pages        = {344--353},
  publisher    = {{IEEE} Computer Society},
  year         = {1993},
  url          = {https://doi.org/10.1109/LICS.1993.287574},
  doi          = {10.1109/LICS.1993.287574},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/lics/LakshmananAH93.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/lics/Lambek93,
  author       = {Joachim Lambek},
  title        = {Programs, grammars and arguments: a personal view of some connections
                  between computation, language and logic},
  booktitle    = {Proceedings of the Eighth Annual Symposium on Logic in Computer Science
                  {(LICS} '93), Montreal, Canada, June 19-23, 1993},
  pages        = {246--249},
  publisher    = {{IEEE} Computer Society},
  year         = {1993},
  url          = {https://doi.org/10.1109/LICS.1993.287583},
  doi          = {10.1109/LICS.1993.287583},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/lics/Lambek93.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/lics/LongoMS93,
  author       = {Giuseppe Longo and
                  Kathleen Milsted and
                  Sergei Soloviev},
  title        = {The Genericity Theorem and the Notion of Parametricity in the Polymorphic
                  lambda-calculus (Extended Abstract)},
  booktitle    = {Proceedings of the Eighth Annual Symposium on Logic in Computer Science
                  {(LICS} '93), Montreal, Canada, June 19-23, 1993},
  pages        = {6--14},
  publisher    = {{IEEE} Computer Society},
  year         = {1993},
  url          = {https://doi.org/10.1109/LICS.1993.287605},
  doi          = {10.1109/LICS.1993.287605},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/lics/LongoMS93.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/lics/Lynch93,
  author       = {James F. Lynch},
  title        = {Infinitary Logics and Very Sparse Random Graphs},
  booktitle    = {Proceedings of the Eighth Annual Symposium on Logic in Computer Science
                  {(LICS} '93), Montreal, Canada, June 19-23, 1993},
  pages        = {191--198},
  publisher    = {{IEEE} Computer Society},
  year         = {1993},
  url          = {https://doi.org/10.1109/LICS.1993.287588},
  doi          = {10.1109/LICS.1993.287588},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/lics/Lynch93.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/lics/MartinS93,
  author       = {Ursula Martin and
                  Elizabeth Scott},
  title        = {The order types of termination orderings on monadic terms, strings
                  and multisets},
  booktitle    = {Proceedings of the Eighth Annual Symposium on Logic in Computer Science
                  {(LICS} '93), Montreal, Canada, June 19-23, 1993},
  pages        = {356--363},
  publisher    = {{IEEE} Computer Society},
  year         = {1993},
  url          = {https://doi.org/10.1109/LICS.1993.287573},
  doi          = {10.1109/LICS.1993.287573},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/lics/MartinS93.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/lics/MitchellHF93,
  author       = {John C. Mitchell and
                  Furio Honsell and
                  Kathleen Fisher},
  title        = {A lambda calculus of objects and method specialization},
  booktitle    = {Proceedings of the Eighth Annual Symposium on Logic in Computer Science
                  {(LICS} '93), Montreal, Canada, June 19-23, 1993},
  pages        = {26--38},
  publisher    = {{IEEE} Computer Society},
  year         = {1993},
  url          = {https://doi.org/10.1109/LICS.1993.287603},
  doi          = {10.1109/LICS.1993.287603},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/lics/MitchellHF93.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/lics/NarendranPS93,
  author       = {Paliath Narendran and
                  Frank Pfenning and
                  Richard Statman},
  title        = {On the Unification Problem for Cartesian Closed Categories},
  booktitle    = {Proceedings of the Eighth Annual Symposium on Logic in Computer Science
                  {(LICS} '93), Montreal, Canada, June 19-23, 1993},
  pages        = {57--63},
  publisher    = {{IEEE} Computer Society},
  year         = {1993},
  url          = {https://doi.org/10.1109/LICS.1993.287600},
  doi          = {10.1109/LICS.1993.287600},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/lics/NarendranPS93.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/lics/NarendranR93,
  author       = {Paliath Narendran and
                  Micha{\"{e}}l Rusinowitch},
  title        = {The Unifiability Problem in Ground {AC} Theories},
  booktitle    = {Proceedings of the Eighth Annual Symposium on Logic in Computer Science
                  {(LICS} '93), Montreal, Canada, June 19-23, 1993},
  pages        = {364--370},
  publisher    = {{IEEE} Computer Society},
  year         = {1993},
  url          = {https://doi.org/10.1109/LICS.1993.287572},
  doi          = {10.1109/LICS.1993.287572},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/lics/NarendranR93.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/lics/Nipkow93,
  author       = {Tobias Nipkow},
  title        = {Functional Unification of Higher-Order Patterns},
  booktitle    = {Proceedings of the Eighth Annual Symposium on Logic in Computer Science
                  {(LICS} '93), Montreal, Canada, June 19-23, 1993},
  pages        = {64--74},
  publisher    = {{IEEE} Computer Society},
  year         = {1993},
  url          = {https://doi.org/10.1109/LICS.1993.287599},
  doi          = {10.1109/LICS.1993.287599},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/lics/Nipkow93.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/lics/Ong93,
  author       = {C.{-}H. Luke Ong},
  title        = {Non-Determinism in a Functional Setting},
  booktitle    = {Proceedings of the Eighth Annual Symposium on Logic in Computer Science
                  {(LICS} '93), Montreal, Canada, June 19-23, 1993},
  pages        = {275--286},
  publisher    = {{IEEE} Computer Society},
  year         = {1993},
  url          = {https://doi.org/10.1109/LICS.1993.287580},
  doi          = {10.1109/LICS.1993.287580},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/lics/Ong93.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/lics/Parigot93,
  author       = {Michel Parigot},
  title        = {Strong Normalization for Second Order Classical Natural Deduction},
  booktitle    = {Proceedings of the Eighth Annual Symposium on Logic in Computer Science
                  {(LICS} '93), Montreal, Canada, June 19-23, 1993},
  pages        = {39--46},
  publisher    = {{IEEE} Computer Society},
  year         = {1993},
  url          = {https://doi.org/10.1109/LICS.1993.287602},
  doi          = {10.1109/LICS.1993.287602},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/lics/Parigot93.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/lics/Pentus93,
  author       = {Mati Pentus},
  title        = {Lambek Grammars Are Context Free},
  booktitle    = {Proceedings of the Eighth Annual Symposium on Logic in Computer Science
                  {(LICS} '93), Montreal, Canada, June 19-23, 1993},
  pages        = {429--433},
  publisher    = {{IEEE} Computer Society},
  year         = {1993},
  url          = {https://doi.org/10.1109/LICS.1993.287565},
  doi          = {10.1109/LICS.1993.287565},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/lics/Pentus93.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/lics/Phoa93,
  author       = {Wesley Phoa},
  title        = {Adequacy for untyped translations of typed lambda-calculi},
  booktitle    = {Proceedings of the Eighth Annual Symposium on Logic in Computer Science
                  {(LICS} '93), Montreal, Canada, June 19-23, 1993},
  pages        = {287--295},
  publisher    = {{IEEE} Computer Society},
  year         = {1993},
  url          = {https://doi.org/10.1109/LICS.1993.287579},
  doi          = {10.1109/LICS.1993.287579},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/lics/Phoa93.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/lics/PierceS93,
  author       = {Benjamin C. Pierce and
                  Davide Sangiorgi},
  title        = {Typing and Subtyping for Mobile Processes},
  booktitle    = {Proceedings of the Eighth Annual Symposium on Logic in Computer Science
                  {(LICS} '93), Montreal, Canada, June 19-23, 1993},
  pages        = {376--385},
  publisher    = {{IEEE} Computer Society},
  year         = {1993},
  url          = {https://doi.org/10.1109/LICS.1993.287570},
  doi          = {10.1109/LICS.1993.287570},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/lics/PierceS93.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/lics/Pitts93b,
  author       = {Andrew M. Pitts},
  title        = {Relational Properties of Recursively Defined Domains},
  booktitle    = {Proceedings of the Fourth Annual Symposium on Logic in Computer Science
                  {(LICS} '89), Pacific Grove, California, USA, June 5-8, 1989},
  pages        = {86--97},
  publisher    = {{IEEE} Computer Society},
  year         = {1993},
  url          = {https://doi.org/10.1109/LICS.1993.287597},
  doi          = {10.1109/LICS.1993.287597},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/lics/Pitts93b.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/lics/Plotkin93,
  author       = {Gordon D. Plotkin},
  title        = {Type Theory and Recursion (Extended Abstract)},
  booktitle    = {Proceedings of the Eighth Annual Symposium on Logic in Computer Science
                  {(LICS} '93), Montreal, Canada, June 19-23, 1993},
  pages        = {374},
  publisher    = {{IEEE} Computer Society},
  year         = {1993},
  url          = {https://doi.org/10.1109/LICS.1993.287571},
  doi          = {10.1109/LICS.1993.287571},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/lics/Plotkin93.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/lics/PnueliZ93,
  author       = {Amir Pnueli and
                  Lenore D. Zuck},
  title        = {In and Out of Temporal Logic},
  booktitle    = {Proceedings of the Eighth Annual Symposium on Logic in Computer Science
                  {(LICS} '93), Montreal, Canada, June 19-23, 1993},
  pages        = {124--135},
  publisher    = {{IEEE} Computer Society},
  year         = {1993},
  url          = {https://doi.org/10.1109/LICS.1993.287594},
  doi          = {10.1109/LICS.1993.287594},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/lics/PnueliZ93.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/lics/Schroeder-Heister93,
  author       = {Peter Schroeder{-}Heister},
  title        = {Rules of Definitional Reflection},
  booktitle    = {Proceedings of the Eighth Annual Symposium on Logic in Computer Science
                  {(LICS} '93), Montreal, Canada, June 19-23, 1993},
  pages        = {222--232},
  publisher    = {{IEEE} Computer Society},
  year         = {1993},
  url          = {https://doi.org/10.1109/LICS.1993.287585},
  doi          = {10.1109/LICS.1993.287585},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/lics/Schroeder-Heister93.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/lics/Seth93,
  author       = {Anil Seth},
  title        = {Some Desirable Conditions for Feasible Functionals of Type{\textasciitilde}2},
  booktitle    = {Proceedings of the Eighth Annual Symposium on Logic in Computer Science
                  {(LICS} '93), Montreal, Canada, June 19-23, 1993},
  pages        = {320--331},
  publisher    = {{IEEE} Computer Society},
  year         = {1993},
  url          = {https://doi.org/10.1109/LICS.1993.287576},
  doi          = {10.1109/LICS.1993.287576},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/lics/Seth93.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/lics/StolboushkinN93,
  author       = {Damian Niwinski and
                  Alexei P. Stolboushkin},
  title        = {y = 2x vs. y = 3x},
  booktitle    = {Proceedings of the Eighth Annual Symposium on Logic in Computer Science
                  {(LICS} '93), Montreal, Canada, June 19-23, 1993},
  pages        = {172--178},
  publisher    = {{IEEE} Computer Society},
  year         = {1993},
  url          = {https://doi.org/10.1109/LICS.1993.287590},
  doi          = {10.1109/LICS.1993.287590},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/lics/StolboushkinN93.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/lics/Walukiewicz93,
  author       = {Igor Walukiewicz},
  title        = {On Completeness of the mu-calculus},
  booktitle    = {Proceedings of the Eighth Annual Symposium on Logic in Computer Science
                  {(LICS} '93), Montreal, Canada, June 19-23, 1993},
  pages        = {136--146},
  publisher    = {{IEEE} Computer Society},
  year         = {1993},
  url          = {https://doi.org/10.1109/LICS.1993.287593},
  doi          = {10.1109/LICS.1993.287593},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/lics/Walukiewicz93.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@proceedings{DBLP:conf/lics/1993,
  title        = {Proceedings of the Eighth Annual Symposium on Logic in Computer Science
                  {(LICS} '93), Montreal, Canada, June 19-23, 1993},
  publisher    = {{IEEE} Computer Society},
  year         = {1993},
  url          = {https://ieeexplore.ieee.org/xpl/conhome/899/proceeding},
  isbn         = {0-8186-3140-6},
  timestamp    = {Wed, 16 Oct 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/lics/1993.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/lics/Pitts93a,
  author       = {Andrew M. Pitts},
  title        = {Bisimulation and Co-induction (Tutorial)},
  booktitle    = {{LICS}},
  pages        = {2--3},
  year         = {1993},
  url          = {http://theory.lcs.mit.edu/\&\#126;dmjones/LICS/lics93.html},
  timestamp    = {Thu, 15 Dec 2016 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/lics/Pitts93a.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.