![](https://dblp.uni-trier.de/img/logo.ua.320x120.png)
![](https://dblp.uni-trier.de/img/dropdown.dark.16x16.png)
![](https://dblp.uni-trier.de/img/peace.dark.16x16.png)
Остановите войну!
for scientists:
![search dblp search dblp](https://dblp.uni-trier.de/img/search.dark.16x16.png)
![search dblp](https://dblp.uni-trier.de/img/search.dark.16x16.png)
default search action
14th WoLLIC 2007: Rio de Janeiro, Brazil
- Daniel Leivant, Ruy J. G. B. de Queiroz:
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 R. 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 A. 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 R. C. Bedregal, Regivan Hugo 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
![](https://dblp.uni-trier.de/img/cog.dark.24x24.png)
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.