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

• Συγγραφή απο Οργανισμό/Αρχή: SpringerLink (Online service)
• Άλλοι συγγραφείς: Leivant, Daniel (Επιμελητής έκδοσης), Queiroz, Ruy de (Επιμελητής έκδοσης)
• Μορφή: Ηλεκτρονική πηγή Ηλ. βιβλίο
• Γλώσσα: English
• Έκδοση: Berlin, Heidelberg : Springer Berlin Heidelberg, 2007.
• Σειρά: Lecture Notes in Computer Science, 4576
• Θέματα: Computer science.; Computers.; Algorithms.; Mathematical logic.; Computer science > Mathematics.; Computer Science.; Theory of Computation.; Algorithm Analysis and Problem Complexity.; Mathematical Logic and Formal Languages.; Mathematics of Computing.; Computing Methodologies.

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

Πίνακας περιεχομένων:

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