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