Search dblp for Publications

export results for "toc:db/conf/wollic/wollic2008.bht:"

 download as .bib file

@inproceedings{DBLP:conf/wollic/AizikowitzK08,
  author       = {Tamar Aizikowitz and
                  Michael Kaminski},
  editor       = {Wilfrid Hodges and
                  Ruy J. G. B. de Queiroz},
  title        = {Conjunctive Grammars and Alternating Pushdown Automata},
  booktitle    = {Logic, Language, Information and Computation, 15th International Workshop,
                  WoLLIC 2008, Edinburgh, UK, July 1-4, 2008, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {5110},
  pages        = {44--55},
  publisher    = {Springer},
  year         = {2008},
  url          = {https://doi.org/10.1007/978-3-540-69937-8\_6},
  doi          = {10.1007/978-3-540-69937-8\_6},
  timestamp    = {Tue, 14 May 2019 10:00:40 +0200},
  biburl       = {https://dblp.org/rec/conf/wollic/AizikowitzK08.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wollic/ArecesFFM08,
  author       = {Carlos Areces and
                  Diego Figueira and
                  Santiago Figueira and
                  Sergio Mera},
  editor       = {Wilfrid Hodges and
                  Ruy J. G. B. de Queiroz},
  title        = {Expressive Power and Decidability for Memory Logics},
  booktitle    = {Logic, Language, Information and Computation, 15th International Workshop,
                  WoLLIC 2008, Edinburgh, UK, July 1-4, 2008, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {5110},
  pages        = {56--68},
  publisher    = {Springer},
  year         = {2008},
  url          = {https://doi.org/10.1007/978-3-540-69937-8\_7},
  doi          = {10.1007/978-3-540-69937-8\_7},
  timestamp    = {Thu, 25 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/wollic/ArecesFFM08.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wollic/ArieliZ08,
  author       = {Ofer Arieli and
                  Anna Zamansky},
  editor       = {Wilfrid Hodges and
                  Ruy J. G. B. de Queiroz},
  title        = {Reasoning with Uncertainty by Nmatrix-Metric Semantics},
  booktitle    = {Logic, Language, Information and Computation, 15th International Workshop,
                  WoLLIC 2008, Edinburgh, UK, July 1-4, 2008, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {5110},
  pages        = {69--82},
  publisher    = {Springer},
  year         = {2008},
  url          = {https://doi.org/10.1007/978-3-540-69937-8\_8},
  doi          = {10.1007/978-3-540-69937-8\_8},
  timestamp    = {Thu, 25 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/wollic/ArieliZ08.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wollic/BenevidesS08,
  author       = {Mario R. F. Benevides and
                  Luis Menasch{\'{e}} Schechter},
  editor       = {Wilfrid Hodges and
                  Ruy J. G. B. de Queiroz},
  title        = {A Propositional Dynamic Logic for {CCS} Programs},
  booktitle    = {Logic, Language, Information and Computation, 15th International Workshop,
                  WoLLIC 2008, Edinburgh, UK, July 1-4, 2008, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {5110},
  pages        = {83--97},
  publisher    = {Springer},
  year         = {2008},
  url          = {https://doi.org/10.1007/978-3-540-69937-8\_9},
  doi          = {10.1007/978-3-540-69937-8\_9},
  timestamp    = {Fri, 08 May 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/wollic/BenevidesS08.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wollic/BundyC08,
  author       = {Alan Bundy and
                  Michael Chan},
  editor       = {Wilfrid Hodges and
                  Ruy J. G. B. de Queiroz},
  title        = {Towards Ontology Evolution in Physics},
  booktitle    = {Logic, Language, Information and Computation, 15th International Workshop,
                  WoLLIC 2008, Edinburgh, UK, July 1-4, 2008, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {5110},
  pages        = {98--110},
  publisher    = {Springer},
  year         = {2008},
  url          = {https://doi.org/10.1007/978-3-540-69937-8\_10},
  doi          = {10.1007/978-3-540-69937-8\_10},
  timestamp    = {Thu, 16 Aug 2018 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/wollic/BundyC08.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wollic/CalvesF08,
  author       = {Christophe Calv{\`{e}}s and
                  Maribel Fern{\'{a}}ndez},
  editor       = {Wilfrid Hodges and
                  Ruy J. G. B. de Queiroz},
  title        = {Nominal Matching and Alpha-Equivalence},
  booktitle    = {Logic, Language, Information and Computation, 15th International Workshop,
                  WoLLIC 2008, Edinburgh, UK, July 1-4, 2008, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {5110},
  pages        = {111--122},
  publisher    = {Springer},
  year         = {2008},
  url          = {https://doi.org/10.1007/978-3-540-69937-8\_11},
  doi          = {10.1007/978-3-540-69937-8\_11},
  timestamp    = {Thu, 25 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/wollic/CalvesF08.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wollic/DanvyJ08,
  author       = {Olivier Danvy and
                  Jacob Johannsen},
  editor       = {Wilfrid Hodges and
                  Ruy J. G. B. de Queiroz},
  title        = {Inter-deriving Semantic Artifacts for Object-Oriented Programming},
  booktitle    = {Logic, Language, Information and Computation, 15th International Workshop,
                  WoLLIC 2008, Edinburgh, UK, July 1-4, 2008, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {5110},
  pages        = {1--16},
  publisher    = {Springer},
  year         = {2008},
  url          = {https://doi.org/10.1007/978-3-540-69937-8\_1},
  doi          = {10.1007/978-3-540-69937-8\_1},
  timestamp    = {Thu, 25 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/wollic/DanvyJ08.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wollic/Dawar08,
  author       = {Anuj Dawar},
  editor       = {Wilfrid Hodges and
                  Ruy J. G. B. de Queiroz},
  title        = {On the Descriptive Complexity of Linear Algebra},
  booktitle    = {Logic, Language, Information and Computation, 15th International Workshop,
                  WoLLIC 2008, Edinburgh, UK, July 1-4, 2008, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {5110},
  pages        = {17--25},
  publisher    = {Springer},
  year         = {2008},
  url          = {https://doi.org/10.1007/978-3-540-69937-8\_2},
  doi          = {10.1007/978-3-540-69937-8\_2},
  timestamp    = {Wed, 14 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/wollic/Dawar08.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wollic/DimuroBRS08,
  author       = {Gra{\c{c}}aliz Pereira Dimuro and
                  Benjam{\'{\i}}n R. C. Bedregal and
                  Renata Hax Sander Reiser and
                  Regivan Hugo Nunes Santiago},
  editor       = {Wilfrid Hodges and
                  Ruy J. G. B. de Queiroz},
  title        = {Interval Additive Generators of Interval T-Norms},
  booktitle    = {Logic, Language, Information and Computation, 15th International Workshop,
                  WoLLIC 2008, Edinburgh, UK, July 1-4, 2008, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {5110},
  pages        = {123--135},
  publisher    = {Springer},
  year         = {2008},
  url          = {https://doi.org/10.1007/978-3-540-69937-8\_12},
  doi          = {10.1007/978-3-540-69937-8\_12},
  timestamp    = {Fri, 27 Dec 2019 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/wollic/DimuroBRS08.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wollic/EijckW08,
  author       = {Jan van Eijck and
                  Yanjing Wang},
  editor       = {Wilfrid Hodges and
                  Ruy J. G. B. de Queiroz},
  title        = {Propositional Dynamic Logic as a Logic of Belief Revision},
  booktitle    = {Logic, Language, Information and Computation, 15th International Workshop,
                  WoLLIC 2008, Edinburgh, UK, July 1-4, 2008, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {5110},
  pages        = {136--148},
  publisher    = {Springer},
  year         = {2008},
  url          = {https://doi.org/10.1007/978-3-540-69937-8\_13},
  doi          = {10.1007/978-3-540-69937-8\_13},
  timestamp    = {Thu, 14 Oct 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/wollic/EijckW08.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wollic/FarjudianK08,
  author       = {Amin Farjudian and
                  Michal Konecn{\'{y}}},
  editor       = {Wilfrid Hodges and
                  Ruy J. G. B. de Queiroz},
  title        = {Time Complexity and Convergence Analysis of Domain Theoretic Picard
                  Method},
  booktitle    = {Logic, Language, Information and Computation, 15th International Workshop,
                  WoLLIC 2008, Edinburgh, UK, July 1-4, 2008, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {5110},
  pages        = {149--163},
  publisher    = {Springer},
  year         = {2008},
  url          = {https://doi.org/10.1007/978-3-540-69937-8\_14},
  doi          = {10.1007/978-3-540-69937-8\_14},
  timestamp    = {Sun, 02 Oct 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/wollic/FarjudianK08.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wollic/FigueiraGG08,
  author       = {Santiago Figueira and
                  Daniel Gor{\'{\i}}n and
                  Rafael Grimson},
  editor       = {Wilfrid Hodges and
                  Ruy J. G. B. de Queiroz},
  title        = {On the Formal Semantics of IF-Like Logics},
  booktitle    = {Logic, Language, Information and Computation, 15th International Workshop,
                  WoLLIC 2008, Edinburgh, UK, July 1-4, 2008, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {5110},
  pages        = {164--178},
  publisher    = {Springer},
  year         = {2008},
  url          = {https://doi.org/10.1007/978-3-540-69937-8\_15},
  doi          = {10.1007/978-3-540-69937-8\_15},
  timestamp    = {Thu, 25 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/wollic/FigueiraGG08.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wollic/FreitasVVV08,
  author       = {Renata P. de Freitas and
                  Paulo A. S. Veloso and
                  Sheila R. M. Veloso and
                  Jorge Petrucio Viana},
  editor       = {Wilfrid Hodges and
                  Ruy J. G. B. de Queiroz},
  title        = {On a Graph Calculus for Algebras of Relations},
  booktitle    = {Logic, Language, Information and Computation, 15th International Workshop,
                  WoLLIC 2008, Edinburgh, UK, July 1-4, 2008, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {5110},
  pages        = {298--312},
  publisher    = {Springer},
  year         = {2008},
  url          = {https://doi.org/10.1007/978-3-540-69937-8\_26},
  doi          = {10.1007/978-3-540-69937-8\_26},
  timestamp    = {Thu, 25 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/wollic/FreitasVVV08.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wollic/GabbayM08,
  author       = {Murdoch Gabbay and
                  Dominic P. Mulligan},
  editor       = {Wilfrid Hodges and
                  Ruy J. G. B. de Queiroz},
  title        = {One-and-a-Halfth Order Terms: Curry-Howard and Incomplete Derivations},
  booktitle    = {Logic, Language, Information and Computation, 15th International Workshop,
                  WoLLIC 2008, Edinburgh, UK, July 1-4, 2008, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {5110},
  pages        = {179--193},
  publisher    = {Springer},
  year         = {2008},
  url          = {https://doi.org/10.1007/978-3-540-69937-8\_16},
  doi          = {10.1007/978-3-540-69937-8\_16},
  timestamp    = {Sun, 25 Oct 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/wollic/GabbayM08.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wollic/GalmicheS08,
  author       = {Didier Galmiche and
                  Yakoub Salhi},
  editor       = {Wilfrid Hodges and
                  Ruy J. G. B. de Queiroz},
  title        = {Labelled Calculi for Lukasiewicz Logics},
  booktitle    = {Logic, Language, Information and Computation, 15th International Workshop,
                  WoLLIC 2008, Edinburgh, UK, July 1-4, 2008, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {5110},
  pages        = {194--207},
  publisher    = {Springer},
  year         = {2008},
  url          = {https://doi.org/10.1007/978-3-540-69937-8\_17},
  doi          = {10.1007/978-3-540-69937-8\_17},
  timestamp    = {Fri, 09 Apr 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/wollic/GalmicheS08.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wollic/HirschI08,
  author       = {Edward A. Hirsch and
                  Dmitry Itsykson},
  editor       = {Wilfrid Hodges and
                  Ruy J. G. B. de Queiroz},
  title        = {An Infinitely-Often One-Way Function Based on an Average-Case Assumption},
  booktitle    = {Logic, Language, Information and Computation, 15th International Workshop,
                  WoLLIC 2008, Edinburgh, UK, July 1-4, 2008, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {5110},
  pages        = {208--217},
  publisher    = {Springer},
  year         = {2008},
  url          = {https://doi.org/10.1007/978-3-540-69937-8\_18},
  doi          = {10.1007/978-3-540-69937-8\_18},
  timestamp    = {Thu, 25 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/wollic/HirschI08.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wollic/IbukaKK08,
  author       = {Shingo Ibuka and
                  Makoto Kikuchi and
                  Hirotaka Kikyo},
  editor       = {Wilfrid Hodges and
                  Ruy J. G. B. de Queiroz},
  title        = {On Characteristic Constants of Theories Defined by Kolmogorov Complexity},
  booktitle    = {Logic, Language, Information and Computation, 15th International Workshop,
                  WoLLIC 2008, Edinburgh, UK, July 1-4, 2008, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {5110},
  pages        = {218--225},
  publisher    = {Springer},
  year         = {2008},
  url          = {https://doi.org/10.1007/978-3-540-69937-8\_19},
  doi          = {10.1007/978-3-540-69937-8\_19},
  timestamp    = {Fri, 02 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/wollic/IbukaKK08.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wollic/KoiranLPY08,
  author       = {Pascal Koiran and
                  J{\"{u}}rgen Landes and
                  Natacha Portier and
                  Penghui Yao},
  editor       = {Wilfrid Hodges and
                  Ruy J. G. B. de Queiroz},
  title        = {Adversary Lower Bounds for Nonadaptive Quantum Algorithms},
  booktitle    = {Logic, Language, Information and Computation, 15th International Workshop,
                  WoLLIC 2008, Edinburgh, UK, July 1-4, 2008, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {5110},
  pages        = {226--237},
  publisher    = {Springer},
  year         = {2008},
  url          = {https://doi.org/10.1007/978-3-540-69937-8\_20},
  doi          = {10.1007/978-3-540-69937-8\_20},
  timestamp    = {Thu, 25 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/wollic/KoiranLPY08.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wollic/KontinenV08,
  author       = {Juha Kontinen and
                  Heribert Vollmer},
  editor       = {Wilfrid Hodges and
                  Ruy J. G. B. de Queiroz},
  title        = {On Second-Order Monadic Groupoidal Quantifiers},
  booktitle    = {Logic, Language, Information and Computation, 15th International Workshop,
                  WoLLIC 2008, Edinburgh, UK, July 1-4, 2008, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {5110},
  pages        = {238--248},
  publisher    = {Springer},
  year         = {2008},
  url          = {https://doi.org/10.1007/978-3-540-69937-8\_21},
  doi          = {10.1007/978-3-540-69937-8\_21},
  timestamp    = {Mon, 16 Sep 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/wollic/KontinenV08.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wollic/Lomonaco08,
  author       = {Samuel J. Lomonaco},
  editor       = {Wilfrid Hodges and
                  Ruy J. G. B. de Queiroz},
  title        = {Talks on Quantum Computing},
  booktitle    = {Logic, Language, Information and Computation, 15th International Workshop,
                  WoLLIC 2008, Edinburgh, UK, July 1-4, 2008, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {5110},
  pages        = {26--27},
  publisher    = {Springer},
  year         = {2008},
  url          = {https://doi.org/10.1007/978-3-540-69937-8\_3},
  doi          = {10.1007/978-3-540-69937-8\_3},
  timestamp    = {Thu, 25 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/wollic/Lomonaco08.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wollic/MezhirovV08,
  author       = {Ilya Mezhirov and
                  Nikolai K. Vereshchagin},
  editor       = {Wilfrid Hodges and
                  Ruy J. G. B. de Queiroz},
  title        = {On Game Semantics of the Affine and Intuitionistic Logics},
  booktitle    = {Logic, Language, Information and Computation, 15th International Workshop,
                  WoLLIC 2008, Edinburgh, UK, July 1-4, 2008, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {5110},
  pages        = {28--42},
  publisher    = {Springer},
  year         = {2008},
  url          = {https://doi.org/10.1007/978-3-540-69937-8\_4},
  doi          = {10.1007/978-3-540-69937-8\_4},
  timestamp    = {Fri, 02 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/wollic/MezhirovV08.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wollic/ParisR08,
  author       = {Jeff B. Paris and
                  Soroush R. Rad},
  editor       = {Wilfrid Hodges and
                  Ruy J. G. B. de Queiroz},
  title        = {Inference Processes for Quantified Predicate Knowledge},
  booktitle    = {Logic, Language, Information and Computation, 15th International Workshop,
                  WoLLIC 2008, Edinburgh, UK, July 1-4, 2008, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {5110},
  pages        = {249--259},
  publisher    = {Springer},
  year         = {2008},
  url          = {https://doi.org/10.1007/978-3-540-69937-8\_22},
  doi          = {10.1007/978-3-540-69937-8\_22},
  timestamp    = {Thu, 25 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/wollic/ParisR08.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wollic/PereiraB08,
  author       = {Silvio do Lago Pereira and
                  Leliane Nunes de Barros},
  editor       = {Wilfrid Hodges and
                  Ruy J. G. B. de Queiroz},
  title        = {Using alpha-ctl to Specify Complex Planning Goals},
  booktitle    = {Logic, Language, Information and Computation, 15th International Workshop,
                  WoLLIC 2008, Edinburgh, UK, July 1-4, 2008, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {5110},
  pages        = {260--271},
  publisher    = {Springer},
  year         = {2008},
  url          = {https://doi.org/10.1007/978-3-540-69937-8\_23},
  doi          = {10.1007/978-3-540-69937-8\_23},
  timestamp    = {Thu, 25 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/wollic/PereiraB08.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wollic/Pollard08,
  author       = {Carl Pollard},
  editor       = {Wilfrid Hodges and
                  Ruy J. G. B. de Queiroz},
  title        = {Hyperintensional Questions},
  booktitle    = {Logic, Language, Information and Computation, 15th International Workshop,
                  WoLLIC 2008, Edinburgh, UK, July 1-4, 2008, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {5110},
  pages        = {272--285},
  publisher    = {Springer},
  year         = {2008},
  url          = {https://doi.org/10.1007/978-3-540-69937-8\_24},
  doi          = {10.1007/978-3-540-69937-8\_24},
  timestamp    = {Thu, 25 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/wollic/Pollard08.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wollic/Robaldo08,
  author       = {Livio Robaldo},
  editor       = {Wilfrid Hodges and
                  Ruy J. G. B. de Queiroz},
  title        = {Skolem Theory and Generalized Quantifiers},
  booktitle    = {Logic, Language, Information and Computation, 15th International Workshop,
                  WoLLIC 2008, Edinburgh, UK, July 1-4, 2008, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {5110},
  pages        = {286--297},
  publisher    = {Springer},
  year         = {2008},
  url          = {https://doi.org/10.1007/978-3-540-69937-8\_25},
  doi          = {10.1007/978-3-540-69937-8\_25},
  timestamp    = {Sun, 25 Oct 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/wollic/Robaldo08.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wollic/Steedman08,
  author       = {Mark Steedman},
  editor       = {Wilfrid Hodges and
                  Ruy J. G. B. de Queiroz},
  title        = {The Grammar of Scope},
  booktitle    = {Logic, Language, Information and Computation, 15th International Workshop,
                  WoLLIC 2008, Edinburgh, UK, July 1-4, 2008, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {5110},
  pages        = {43},
  publisher    = {Springer},
  year         = {2008},
  url          = {https://doi.org/10.1007/978-3-540-69937-8\_5},
  doi          = {10.1007/978-3-540-69937-8\_5},
  timestamp    = {Thu, 25 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/wollic/Steedman08.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/wollic/2008,
  editor       = {Wilfrid Hodges and
                  Ruy J. G. B. de Queiroz},
  title        = {Logic, Language, Information and Computation, 15th International Workshop,
                  WoLLIC 2008, Edinburgh, UK, July 1-4, 2008, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {5110},
  publisher    = {Springer},
  year         = {2008},
  url          = {https://doi.org/10.1007/978-3-540-69937-8},
  doi          = {10.1007/978-3-540-69937-8},
  isbn         = {978-3-540-69936-1},
  timestamp    = {Tue, 14 May 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/wollic/2008.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
a service of  Schloss Dagstuhl - Leibniz Center for Informatics