Skip to main content
SpringerLink
Log in
Book cover

Logic, Language, Information and Computation

17th International Workshop, WoLLIC 2010, Brasilia, Brazil, July 6-9, 2010, Proceedings

  • Conference proceedings
  • © 2010

Overview

Editors:
  1. Anuj Dawar

    1. Computer Laboratory, University of Cambridge, Cambridge, UK

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  2. Ruy Queiroz

    1. Centro de Informática, Universidade Federal de Pernambuco, Recife, Brazil

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

Part of the book series: Lecture Notes in Computer Science (LNCS, volume 6188)

Part of the book sub series: Lecture Notes in Artificial Intelligence (LNAI)

Included in the following conference series:

Conference proceedings info: WoLLIC 2010.

This is a preview of subscription content, log in via an institution to check access.

Access this book

Log in via an institution
eBook USD 39.99
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book USD 54.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Other ways to access

Licence this eBook for your library

Institutional subscriptions

Table of contents (20 papers)

  1. Front Matter

    Download chapter PDF

  2. Entailment Multipliers: An Algebraic Characterization of Validity for Classical and Modal Logics

    • Marcelo Finger, Mauricio S. C. Hernandes
    Pages 1-18

  3. A CTL-Based Logic for Program Abstractions

    • Martin Lange, Markus Latte
    Pages 19-33

  4. Application of Logic to Integer Sequences: A Survey

    • Johann A. Makowsky
    Pages 34-41

  5. The Two-Variable Fragment with Counting Revisited

    • Ian Pratt-Hartmann
    Pages 42-54

  6. Intuitionistic Logic and Computability Theory

    • Sebastiaan A. Terwijn
    Pages 55-57

  7. Foundations of Satisfiability Modulo Theories

    • Cesare Tinelli
    Pages 58-58

  8. Logical Form as a Determinant of Cognitive Processes

    • Michiel van Lambalgen
    Pages 59-83

  9. Formal Lifetime Reliability Analysis Using Continuous Random Variables

    • Naeem Abbasi, Osman Hasan, Sofiène Tahar
    Pages 84-97

  10. Modal Logics with Counting

    • Carlos Areces, Guillaume Hoffmann, Alexandre Denis
    Pages 98-109

  11. Verification of the Completeness of Unification Algorithms à la Robinson

    • Andréia B. Avelar, Flávio L. C. de Moura, André Luiz Galdino, Mauricio Ayala-Rincón
    Pages 110-124

  12. Mechanisation of PDA and Grammar Equivalence for Context-Free Languages

    • Aditi Barthwal, Michael Norrish
    Pages 125-135

  13. On the Role of the Complementation Rule for Data Dependencies over Incomplete Relations

    • Flavio Ferrarotti, Sven Hartmann, Sebastian Link
    Pages 136-147

  14. Decidability and Undecidability Results on the Modal μ-Calculus with a Natural Number-Valued Semantics

    • Alexis Goyet, Masami Hagiya, Yoshinori Tanabe
    Pages 148-160

  15. Solving the Implication Problem for XML Functional Dependencies with Properties

    • Sven Hartmann, Sebastian Link, Thu Trinh
    Pages 161-175

  16. On Anaphora and the Binding Principles in Categorial Grammar

    • Glyn Morrill, Oriol Valentín
    Pages 176-190

  17. Feasible Functions over Co-inductive Data

    • Ramyaa Ramyaa, Daniel Leivant
    Pages 191-203

  18. Interval Valued Fuzzy Coimplication

    • Renata H. S. Reiser, Benjamin C. Bedregal, Gesner A. A. dos Reis
    Pages 204-217

  19. Reduction of the Intruder Deduction Problem into Equational Elementary Deduction for Electronic Purse Protocols with Blind Signatures

    • Daniele Nantes Sobrinho, Mauricio Ayala-Rincón
    Pages 218-231

  20. Intersection Type Systems and Explicit Substitutions Calculi

    • Daniel Lima Ventura, Mauricio Ayala-Rincón, Fairouz Kamareddine
    Pages 232-246
Back to top

Other volumes

  1. Logic, Language, Information and Computation

Keywords

About this book

This volume contains the papers presented at WoLLIC 2010: 17th Workshop on Logic, Language, Information and Computation held during July 6–9, 2010, on the campus of Universidade de Bras´ ?lia (UnB), Brazil. The Workshop on Logic, Language, Information and Computation (WoL- LIC) is an annual event, meeting every year since 1994, which aims at fostering interdisciplinary research in pure and applied logic. The idea is to have a forum which is large enough in the number of possible interactions between logic and the sciences related to information and computation, and yet is small enough to allow for concrete and useful interaction among participants. The present volume contains 13 contributed papers that were selected from among 32 submissions after a rigorous review by the Program Committee. Each submission was reviewed by at least two, and on average three, Program C- mittee members. This volume also containspapersor abstractsthat relateto the seven invited talks presented at the workshop. Between them, these papers give a snapshot of some fascinating work taking place at the frontiers between computation, logic, and linguistics. We are grateful to all the people who made this meeting possible and are responsible for its success: the members of the Program Committee and the external reviewers, the invited speakers, the contributors, and the people who were involved in organizing the workshop.

Editors and Affiliations

  • Computer Laboratory, University of Cambridge, Cambridge, UK

    Anuj Dawar

  • Centro de Informática, Universidade Federal de Pernambuco, Recife, Brazil

    Ruy Queiroz

Bibliographic Information

Publish with us

Policies and ethics

Back to top

Search

Navigation