Logic, language, information and computation. 14th international workshop, WoLLIC 2007, Rio de Janeiro, Brazil, July 2–5, 2007. Proceedings. (English) Zbl 1119.03004

Leivant, Daniel (ed.); de Queiroz, Ruy (ed.)

Lecture Notes in Computer Science 4576. Berlin: Springer (ISBN 978-3-540-73443-7/pbk). x, 363 p. (2007).

Show indexed articles as search result.

The articles of this volume will be reviewed individually.
Indexed articles:
Baran, Joachim; Barringer, Howard, A grammatical representation of visibly pushdown languages, 1-11 [Zbl 1213.68361]
Béchet, Denis; Foret, Annie, Fully lexicalized pregroup grammars, 12-25 [Zbl 1213.68343]
Bedregal, Benjamín C.; Callejas-Bedregal, Roberto; Santos, Hélida S., Bounded lattice t-norms as an interval category, 26-37 [Zbl 1213.03034]
Bensaid, Hicham; Caferra, Ricardo; Peltier, Nicolas, Towards systematic analysis of theorem provers search spaces: First steps, 38-52 [Zbl 1213.68566]
Bernardi, Raffaella; Moortgat, Michael, Continuation semantics for symmetric categorial grammar, 53-71 [Zbl 1213.68643]
Bissell-Siders, Ryan, Ehrenfeucht-Fraïssé games on linear orders, 72-82 [Zbl 1211.03056]
Bolander, Thomas; Hansen, René Rydhof, Hybrid logical analyses of the ambient calculus, 83-100 [Zbl 1175.68271]
Brasoveanu, Adrian, Structured anaphora to quantifier domains: a unified account of quantificational and modal subordination, 101-119 [Zbl 1213.03040]
Broda, Sabine; Damas, Luís, On principal types of BCK-\(\lambda \)-terms, 120-130 [Zbl 1213.03025]
Dikovsky, Alexander, A finite-state functional grammar architecture, 131-146 [Zbl 1213.68644]
Foret, Annie, Pregroup calculus as a logic functor, 147-161 [Zbl 1213.03041]
Gabbay, Murdoch J.; Mathijssen, Aad, A formal calculus for informal equality with binding, 162-176 [Zbl 1213.03038]
Galdino, André L.; Muñoz, César; Ayala-Rincón, Mauricio, Formal verification of an optimal air traffic conflict resolution and recovery algorithm, 177-188 [Zbl 1213.90082]
Gardner, Philippa; Zarfaty, Uri, An introduction to context logic, 189-202 [Zbl 1213.03039]
Hartmann, Sven; Link, Sebastian, Numerical constraints for XML, 203-217 [Zbl 1213.68227]
Hirschowitz, André; Maggesi, Marco, Modules over monads and linearity, 218-237 [Zbl 1213.18003]
Isihara, Ariya, Hydra games and tree ordinals, 238-247 [Zbl 1213.03070]
Kauffman, Louis H.; Lomonaco, Samuel J. jun., SPIN networks, quantum topology and quantum computation, 248-263 [Zbl 1213.68264]
Moortgat, Michael, Symmetries in natural language syntax and semantics: the Lambek-Grishin calculus, 264-284 [Zbl 1213.03042]
Oliva, Paulo, Computational interpretations of classical linear logic, 285-296 [Zbl 1213.03074]
Reiser, R. H. S.; Dimuro, G. P.; Bedregal, B. C.; Santiago, R. H. N., Interval valued QL-implications, 307-321 [Zbl 1213.03036]
Silva, Alexandra; Rutten, Jan, Behavioural differential equations and coinduction for binary trees, 322-336 [Zbl 1213.68393]
Solin, Kim, A sketch of a dynamic epistemic semiring, 337-350 [Zbl 1213.03026]
Villagra, Marcos; Barán, Benjamín, Ant colony optimization with adaptive fitness function for satisfiability testing, 352-361 [Zbl 1213.68588]

MSC:

03-06	Proceedings, conferences, collections, etc. pertaining to mathematical logic and foundations
68-06	Proceedings, conferences, collections, etc. pertaining to computer science
00B25	Proceedings of conferences of miscellaneous specific interest