Logic, Language, Information and Computation

18th International Workshop, WoLLIC 2011, Philadelphia, PA, USA. Proceedings

Editors:

ISBN: 978-3-642-20919-2 (Print) 978-3-642-20920-8 (Online)

Table of contents (27 chapters)

previous Page of 2
  1. Front Matter

    Pages -

  2. Section 1: Invited Talks

    1. No Access

      Book Chapter

      Pages 1-1

      Streaming String Transducers

    2. No Access

      Book Chapter

      Pages 2-2

      Unification in Logic

    3. No Access

      Book Chapter

      Pages 3-3

      A Symbolic Logic with Exact Bounds for Cryptographic Protocols

    4. No Access

      Book Chapter

      Pages 4-4

      Univalent Foundations of Mathematics

    5. No Access

      Book Chapter

      Pages 5-5

      Relational Concepts and the Logic of Reciprocity

    6. No Access

      Book Chapter

      Pages 6-7

      Logic in the Time of WWW: An OWL View

  3. Section 2: Contributed Papers

    1. No Access

      Book Chapter

      Pages 8-19

      A Complexity Question in Justification Logic

    2. No Access

      Book Chapter

      Pages 20-34

      Basic Model Theory for Memory Logics

    3. No Access

      Book Chapter

      Pages 35-51

      Partial Realization in Dynamic Justification Logic

    4. No Access

      Book Chapter

      Pages 52-66

      Hoare Logic for Higher Order Store Using Simple Semantics

    5. No Access

      Book Chapter

      Pages 67-83

      Nominal Lawvere Theories

    6. No Access

      Book Chapter

      Pages 84-94

      Turing Machines on Cayley Graphs

    7. No Access

      Book Chapter

      Pages 95-109

      Information Flow on Directed Acyclic Graphs

    8. No Access

      Book Chapter

      Pages 110-122

      The Boyce-Codd-Heath Normal Form for SQL

    9. No Access

      Book Chapter

      Pages 123-134

      Hybrid Logics and NP Graph Properties

    10. No Access

      Book Chapter

      Pages 135-145

      On the Expressive Power of IF-Logic with Classical Negation

    11. No Access

      Book Chapter

      Pages 146-160

      Concurrent Logic Games on Partial Orders

    12. No Access

      Book Chapter

      Pages 161-175

      Dynamic Epistemic Algebra with Post-conditions to Reason about Robot Navigation

    13. No Access

      Book Chapter

      Pages 176-186

      Untestable Properties in the Kahr-Moore-Wang Class

    14. No Access

      Book Chapter

      Pages 187-200

      Characterizing Definability of Second-Order Generalized Quantifiers

previous Page of 2