15. WoLLIC 2008: Edinburgh, UK
Wilfrid Hodges, Ruy J. G. B. de Queiroz (Eds.): Logic, Language, Information and Computation, 15th International Workshop, WoLLIC 2008, Edinburgh, UK, July 1-4, 2008, Proceedings. Springer 2008 Lecture Notes in Computer Science ISBN 978-3-540-69936-1
Tutorials and Invited Lectures
- Olivier Danvy, Jacob Johannsen: Inter-deriving Semantic Artifacts for Object-Oriented Programming. 1-16
- Anuj Dawar: On the Descriptive Complexity of Linear Algebra. 17-25
- Samuel J. Lomonaco: Talks on Quantum Computing. 26-27
- Ilya Mezhirov, Nikolai K. Vereshchagin: On Game Semantics of the Affine and Intuitionistic Logics. 28-42
- Mark Steedman: The Grammar of Scope. 43
Contributed Papers
- Carlos Areces, Diego Figueira, Santiago Figueira, Sergio Mera: Expressive Power and Decidability for Memory Logics. 56-68
- Graçaliz Pereira Dimuro, Benjamín C. Bedregal, Renata Hax Sander Reiser, Regivan H. Nunes Santiago: Interval Additive Generators of Interval T-Norms. 123-135
- Amin Farjudian, Michal Konecný: Time Complexity and Convergence Analysis of Domain Theoretic Picard Method. 149-163
- Murdoch Gabbay, Dominic P. Mulligan: One-and-a-Halfth Order Terms: Curry-Howard and Incomplete Derivations. 179-193
- Edward A. Hirsch, Dmitry Itsykson: An Infinitely-Often One-Way Function Based on an Average-Case Assumption. 208-217
- Shingo Ibuka, Makoto Kikuchi, Hirotaka Kikyo: On Characteristic Constants of Theories Defined by Kolmogorov Complexity. 218-225
- Pascal Koiran, Jürgen Landes, Natacha Portier, Penghui Yao: Adversary Lower Bounds for Nonadaptive Quantum Algorithms. 226-237
- Silvio do Lago Pereira, Leliane Nunes de Barros: Using alpha-ctl to Specify Complex Planning Goals. 260-271
- Carl Pollard: Hyperintensional Questions. 272-285
- Livio Robaldo: Skolem Theory and Generalized Quantifiers. 286-297
- Renata P. de Freitas, Paulo A. S. Veloso, Sheila R. M. Veloso, Jorge Petrúcio Viana: On a Graph Calculus for Algebras of Relations. 298-312
data released under the ODC-BY 1.0 license. See also our legal information page
last updated on 2013-06-18T214307 by the dblp team