Chargement en cours…

Logic, Language, Information and Computation 14th International Workshop, WoLLIC 2007, Rio de Janeiro, Brazil, July 2-5, 2007, Proceedings /

Welcome to the proceedings of the 14th WoLLIC meeting, which was held in Rio de Janeiro, Brazil, July 2 - 5, 2007. The Workshop on Logic, Language, Information and Computation (WoLLIC) is an annual international forum on inter-disciplinary research involving formal logic, computing and programming t...

Description complète

Détails bibliographiques
Cote:Libro Electrónico
Collectivité auteur: SpringerLink (Online service)
Autres auteurs: Leivant, Daniel (Éditeur intellectuel), de Queiroz, Ruy (Éditeur intellectuel)
Format: Électronique eBook
Langue:Inglés
Publié: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2007.
Édition:1st ed. 2007.
Collection:Theoretical Computer Science and General Issues, 4576
Sujets:
Accès en ligne:Texto Completo
Table des matières:
  • A Grammatical Representation of Visibly Pushdown Languages
  • Fully Lexicalized Pregroup Grammars
  • Bounded Lattice T-Norms as an Interval Category
  • Towards Systematic Analysis of Theorem Provers Search Spaces: First Steps
  • Continuation Semantics for Symmetric Categorial Grammar
  • Ehrenfeucht-Fraïssé Games on Linear Orders
  • Hybrid Logical Analyses of the Ambient Calculus
  • Structured Anaphora to Quantifier Domains: A Unified Account of Quantificational and Modal Subordination
  • On Principal Types of BCK-?-Terms
  • A Finite-State Functional Grammar Architecture
  • Pregroup Calculus as a Logic Functor
  • A Formal Calculus for Informal Equality with Binding
  • Formal Verification of an Optimal Air Traffic Conflict Resolution and Recovery Algorithm
  • An Introduction to Context Logic
  • Numerical Constraints for XML
  • Modules over Monads and Linearity
  • Hydra Games and Tree Ordinals
  • Spin Networks, Quantum Topology and Quantum Computation
  • Symmetries in Natural Language Syntax and Semantics: The Lambek-Grishin Calculus
  • Computational Interpretations of Classical Linear Logic
  • Autonomous Programmable Biomolecular Devices Using Self-assembled DNA Nanostructures
  • Interval Valued QL-Implications
  • Behavioural Differential Equations and Coinduction for Binary Trees
  • A Sketch of a Dynamic Epistemic Semiring
  • A Modal Distributive Law (abstract)
  • Ant Colony Optimization with Adaptive Fitness Function for Satisfiability Testing.