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 BibTeX
- Joachim Baran, Howard Barringer:
A Grammatical Representation of Visibly Pushdown Languages.
1-11
Electronic Edition (link) BibTeX
- Denis Béchet, Annie Foret:
Fully Lexicalized Pregroup Grammars.
12-25
Electronic Edition (link) BibTeX
- Benjamín C. Bedregal, Roberto Callejas-Bedregal, Hélida S. Santos:
Bounded Lattice T-Norms as an Interval Category.
26-37
Electronic Edition (link) BibTeX
- Hicham Bensaid, Ricardo Caferra, Nicolas Peltier:
Towards Systematic Analysis of Theorem Provers Search Spaces: First Steps.
38-52
Electronic Edition (link) BibTeX
- Raffaella Bernardi, Michael Moortgat:
Continuation Semantics for Symmetric Categorial Grammar.
53-71
Electronic Edition (link) BibTeX
- Ryan Bissell-Siders:
Ehrenfeucht-Fraïssé Games on Linear Orders.
72-82
Electronic Edition (link) BibTeX
- Thomas Bolander, René Rydhof Hansen:
Hybrid Logical Analyses of the Ambient Calculus.
83-100
Electronic Edition (link) BibTeX
- Adrian Brasoveanu:
Structured Anaphora to Quantifier Domains: A Unified Account of Quantificational and Modal Subordination.
101-119
Electronic Edition (link) BibTeX
- Sabine Broda, Luís Damas:
On Principal Types of BCK- lambda -Terms.
120-130
Electronic Edition (link) BibTeX
- Alexander Ja. Dikovsky:
A Finite-State Functional Grammar Architecture.
131-146
Electronic Edition (link) BibTeX
- Annie Foret:
Pregroup Calculus as a Logic Functor.
147-161
Electronic Edition (link) BibTeX
- Murdoch Gabbay, Aad Mathijssen:
A Formal Calculus for Informal Equality with Binding.
162-176
Electronic Edition (link) BibTeX
- 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
Electronic Edition (link) BibTeX
- Philippa Gardner, Uri Zarfaty:
An Introduction to Context Logic.
189-202
Electronic Edition (link) BibTeX
- Sven Hartmann, Sebastian Link:
Numerical Constraints for XML.
203-217
Electronic Edition (link) BibTeX
- André Hirschowitz, Marco Maggesi:
Modules over Monads and Linearity.
218-237
Electronic Edition (link) BibTeX
- Ariya Isihara:
Hydra Games and Tree Ordinals.
238-247
Electronic Edition (link) BibTeX
- Louis H. Kauffman, Samuel J. Lomonaco:
Spin Networks, Quantum Topology and Quantum Computation.
248-263
Electronic Edition (link) BibTeX
- Michael Moortgat:
Symmetries in Natural Language Syntax and Semantics: The Lambek-Grishin Calculus.
264-284
Electronic Edition (link) BibTeX
- Paulo Oliva:
Computational Interpretations of Classical Linear Logic.
285-296
Electronic Edition (link) BibTeX
- John H. Reif, Thomas H. LaBean:
Autonomous Programmable Biomolecular Devices Using Self-assembled DNA Nanostructures.
297-306
Electronic Edition (link) BibTeX
- Renata Hax Sander Reiser, Graçaliz Pereira Dimuro, Benjamín C. Bedregal, Regivan H. Nunes Santiago:
Interval Valued QL-Implications.
307-321
Electronic Edition (link) BibTeX
- Alexandra Silva, Jan J. M. M. Rutten:
Behavioural Differential Equations and Coinduction for Binary Trees.
322-336
Electronic Edition (link) BibTeX
- Kim Solin:
A Sketch of a Dynamic Epistemic Semiring.
337-350
Electronic Edition (link) BibTeX
- Yde Venema:
A Modal Distributive Law (abstract).
351
Electronic Edition (link) BibTeX
- Marcos Villagra, Benjamín Barán:
Ant Colony Optimization with Adaptive Fitness Function for Satisfiability Testing.
352-361
Electronic Edition (link) BibTeX
Copyright © Sat May 16 23:48:20 2009
by Michael Ley (ley@uni-trier.de)