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.
Lecture Notes in Computer Science 5110 Springer 2008, ISBN 978-3-540-69936-1 
Tutorials and Invited Lectures
Contributed Papers
- Tamar Aizikowitz, Michael Kaminski:
Conjunctive Grammars and Alternating Pushdown Automata.
44-55
- Carlos Areces, Diego Figueira, Santiago Figueira, Sergio Mera:
Expressive Power and Decidability for Memory Logics.
56-68
- Ofer Arieli, Anna Zamansky:
Reasoning with Uncertainty by Nmatrix-Metric Semantics.
69-82
- Mario R. F. Benevides, L. Menasché Schechter:
A Propositional Dynamic Logic for CCS Programs.
83-97
- Alan Bundy, Michael Chan:
Towards Ontology Evolution in Physics.
98-110
- Christophe Calvès, Maribel Fernández:
Nominal Matching and Alpha-Equivalence.
111-122
- 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
- Jan van Eijck, Yanjing Wang:
Propositional Dynamic Logic as a Logic of Belief Revision.
136-148
- Amin Farjudian, Michal Konecný:
Time Complexity and Convergence Analysis of Domain Theoretic Picard Method.
149-163
- Santiago Figueira, Daniel Gorín, Rafael Grimson:
On the Formal Semantics of IF-Like Logics.
164-178
- Murdoch Gabbay, Dominic P. Mulligan:
One-and-a-Halfth Order Terms: Curry-Howard and Incomplete Derivations.
179-193
- Didier Galmiche, Yakoub Salhi:
Labelled Calculi for Lukasiewicz Logics.
194-207
- 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
- Juha Kontinen, Heribert Vollmer:
On Second-Order Monadic Groupoidal Quantifiers.
238-248
- J. B. Paris, S. R. Rad:
Inference Processes for Quantified Predicate Knowledge.
249-259
- 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
Last update Wed Feb 15 05:22:07 2012
CET by the DBLP Team — 
Data released under the ODC-BY 1.0 license — See also our legal information page
