zbMATH — the first resource for mathematics

Logic, language, information and computation. 14th international workshop, WoLLIC 2007, Rio de Janeiro, Brazil, July 2–5, 2007. Proceedings. (English) Zbl 1119.03004
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]

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
Full Text: DOI