Description |
1 online resource (x, 361 pages) : illustrations |
Series |
Lecture notes in computer science, 0302-9743 ; 4576 |
|
Lecture notes in computer science ; 4576. 0302-9743
|
Contents |
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 |
Summary |
This book constitutes the refereed proceedings of the 14th International Workshop on Logic, Language, Information and Computation, WoLLIC 2007, held in Rio de Janeiro, Brazil in July 2007. The 21 revised full papers presented together with 5 invited papers were carefully reviewed and selected from 52 submissions. The papers focus on foundations of computing and programming, novel computation models and paradigms, broad notions of proof and belief, formal methods in software and hardware development; logical approach to natural language and reasoning; logics of programs, actions and resources; foundational aspects of information organization, search, flow, sharing, and protection |
Analysis |
algoritmen |
|
algorithms |
|
computeranalyse |
|
computer analysis |
|
computertechnieken |
|
computer techniques |
|
wiskunde |
|
mathematics |
|
computerwetenschappen |
|
computer sciences |
|
logica |
|
logic |
|
computerwiskunde |
|
computational mathematics |
|
computational science |
|
Information and Communication Technology (General) |
|
Informatie- en communicatietechnologie (algemeen) |
Bibliography |
Includes bibliographical references and index |
Notes |
Print version record |
Subject |
Logic, Symbolic and mathematical -- Congresses
|
|
Informatique.
|
|
Logic, Symbolic and mathematical
|
Genre/Form |
Kongress
|
|
Rio de Janeiro (2007)
|
|
proceedings (reports)
|
|
Conference papers and proceedings
|
|
Conference papers and proceedings.
|
|
Actes de congrès.
|
Form |
Electronic book
|
Author |
Leivant, Daniel Maurice Raphaël
|
|
Queiroz, Ruy J. G. B. de
|
ISBN |
9783540734451 |
|
3540734457 |
|
9783540734437 |
|
3540734430 |
|