17. WoLLIC 2010:
Brasilia,
Brazil
Anuj Dawar, Ruy J. G. B. de Queiroz (Eds.):
Logic, Language, Information and Computation, 17th International Workshop, WoLLIC 2010, Brasilia, Brazil, July 6-9, 2010. Proceedings.
Lecture Notes in Computer Science 6188 Springer 2010, ISBN 978-3-642-13823-2 
- Marcelo Finger, Mauricio S. C. Hernandes:
Entailment Multipliers: An Algebraic Characterization of Validity for Classical and Modal Logics.
1-18
- Martin Lange, Markus Latte:
A CTL-Based Logic for Program Abstractions.
19-33
- Johann A. Makowsky:
Application of Logic to Integer Sequences: A Survey.
34-41
- Ian Pratt-Hartmann:
The Two-Variable Fragment with Counting Revisited.
42-54
- Sebastiaan Terwijn:
Intuitionistic Logic and Computability Theory.
55-57
- Cesare Tinelli:
Foundations of Satisfiability Modulo Theories.
58
- Michiel van Lambalgen:
Logical Form as a Determinant of Cognitive Processes.
59-83
- Naeem Abbasi, Osman Hasan, Sofiène Tahar:
Formal Lifetime Reliability Analysis Using Continuous Random Variables.
84-97
- Carlos Areces, Guillaume Hoffmann, Alexandre Denis:
Modal Logics with Counting.
98-109
- Andréia B. Avelar, Flávio L. C. de Moura, André Luiz Galdino, Mauricio Ayala-Rincón:
Verification of the Completeness of Unification Algorithms à la Robinson.
110-124
- Aditi Barthwal, Michael Norrish:
Mechanisation of PDA and Grammar Equivalence for Context-Free Languages.
125-135
- Flavio Ferrarotti, Sven Hartmann, Sebastian Link:
On the Role of the Complementation Rule for Data Dependencies over Incomplete Relations.
136-147
- Alexis Goyet, Masami Hagiya, Yoshinori Tanabe:
Decidability and Undecidability Results on the Modal µ-Calculus with a Natural Number-Valued Semantics.
148-160
- Sven Hartmann, Sebastian Link, Thu Trinh:
Solving the Implication Problem for XML Functional Dependencies with Properties.
161-175
- Glyn Morrill, Oriol Valentín:
On Anaphora and the Binding Principles in Categorial Grammar.
176-190
- Ramyaa Ramyaa, Daniel Leivant:
Feasible Functions over Co-inductive Data.
191-203
- Renata Hax Sander Reiser, Benjamín C. Bedregal, Gesner Antonio Azevedo dos Reis:
Interval Valued Fuzzy Coimplication.
204-217
- Daniele Nantes Sobrinho, Mauricio Ayala-Rincón:
Reduction of the Intruder Deduction Problem into Equational Elementary Deduction for Electronic Purse Protocols with Blind Signatures.
218-231
- Daniel Lima Ventura, Mauricio Ayala-Rincón, Fairouz Kamareddine:
Intersection Type Systems and Explicit Substitutions Calculi.
232-246
- Richard Zuber:
Generalising Conservativity.
247-258
Last update Fri May 25 08:49:41 2012
CET by the DBLP Team — 
Data released under the ODC-BY 1.0 license — See also our legal information page
