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...

Descripción completa

Detalles Bibliográficos
Clasificación:Libro Electrónico
Autor Corporativo: SpringerLink (Online service)
Otros Autores: Leivant, Daniel (Editor ), de Queiroz, Ruy (Editor )
Formato: Electrónico eBook
Idioma:Inglés
Publicado: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2007.
Edición:1st ed. 2007.
Colección:Theoretical Computer Science and General Issues, 4576
Temas:
Computer science.
Algorithms.
Machine theory.
Computer science-Mathematics.
Artificial intelligence.
Theory of Computation.
Formal Languages and Automata Theory.
Mathematics of Computing.
Artificial Intelligence.
Acceso en línea:Texto Completo
Tabla de Contenidos:
  • 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.

Ejemplares similares