14. WoLLIC 2007:
Rio de Janeiro, Brazil
Daniel Leivant, Ruy J. G. B. de Queiroz (Eds.):
Logic, Language, Information and Computation, 14th International Workshop, WoLLIC 2007, Rio de Janeiro, Brazil, July 2-5, 2007, Proceedings.
Lecture Notes in Computer Science 4576 Springer 2007, ISBN 978-3-540-73443-7 
- Joachim Baran, Howard Barringer:
A Grammatical Representation of Visibly Pushdown Languages.
1-11
- Denis Béchet, Annie Foret:
Fully Lexicalized Pregroup Grammars.
12-25
- Benjamín C. Bedregal, Roberto Callejas-Bedregal, Hélida S. Santos:
Bounded Lattice T-Norms as an Interval Category.
26-37
- Hicham Bensaid, Ricardo Caferra, Nicolas Peltier:
Towards Systematic Analysis of Theorem Provers Search Spaces: First Steps.
38-52
- Raffaella Bernardi, Michael Moortgat:
Continuation Semantics for Symmetric Categorial Grammar.
53-71
- Ryan Bissell-Siders:
Ehrenfeucht-Fraïssé Games on Linear Orders.
72-82
- Thomas Bolander, René Rydhof Hansen:
Hybrid Logical Analyses of the Ambient Calculus.
83-100
- Adrian Brasoveanu:
Structured Anaphora to Quantifier Domains: A Unified Account of Quantificational and Modal Subordination.
101-119
- Sabine Broda, Luís Damas:
On Principal Types of BCK- lambda -Terms.
120-130
- Alexander Ja. Dikovsky:
A Finite-State Functional Grammar Architecture.
131-146
- Annie Foret:
Pregroup Calculus as a Logic Functor.
147-161
- Murdoch Gabbay, Aad Mathijssen:
A Formal Calculus for Informal Equality with Binding.
162-176
- André Luiz Galdino, César Muñoz, Mauricio Ayala-Rincón:
Formal Verification of an Optimal Air Traffic Conflict Resolution and Recovery Algorithm.
177-188
- Philippa Gardner, Uri Zarfaty:
An Introduction to Context Logic.
189-202
- Sven Hartmann, Sebastian Link:
Numerical Constraints for XML.
203-217
- André Hirschowitz, Marco Maggesi:
Modules over Monads and Linearity.
218-237
- Ariya Isihara:
Hydra Games and Tree Ordinals.
238-247
- Louis H. Kauffman, Samuel J. Lomonaco:
Spin Networks, Quantum Topology and Quantum Computation.
248-263
- Michael Moortgat:
Symmetries in Natural Language Syntax and Semantics: The Lambek-Grishin Calculus.
264-284
- Paulo Oliva:
Computational Interpretations of Classical Linear Logic.
285-296
- John H. Reif, Thomas H. LaBean:
Autonomous Programmable Biomolecular Devices Using Self-assembled DNA Nanostructures.
297-306
- Renata Hax Sander Reiser, Graçaliz Pereira Dimuro, Benjamín C. Bedregal, Regivan H. Nunes Santiago:
Interval Valued QL-Implications.
307-321
- Alexandra Silva, Jan J. M. M. Rutten:
Behavioural Differential Equations and Coinduction for Binary Trees.
322-336
- Kim Solin:
A Sketch of a Dynamic Epistemic Semiring.
337-350
- Yde Venema:
A Modal Distributive Law (abstract).
351
- Marcos Villagra, Benjamín Barán:
Ant Colony Optimization with Adaptive Fitness Function for Satisfiability Testing.
352-361
Last update Tue May 21 02:43:15 2013
CET by the DBLP Team — 
Data released under the ODC-BY 1.0 license — See also our legal information page
