Search dblp for Publications

export results for "toc:db/conf/wollic/wollic2007.bht:"

 download as .bib file

@inproceedings{DBLP:conf/wollic/BaranB07,
  author       = {Joachim Baran and
                  Howard Barringer},
  editor       = {Daniel Leivant and
                  Ruy J. G. B. de Queiroz},
  title        = {A Grammatical Representation of Visibly Pushdown Languages},
  booktitle    = {Logic, Language, Information and Computation, 14th International Workshop,
                  WoLLIC 2007, Rio de Janeiro, Brazil, July 2-5, 2007, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {4576},
  pages        = {1--11},
  publisher    = {Springer},
  year         = {2007},
  url          = {https://doi.org/10.1007/978-3-540-73445-1\_1},
  doi          = {10.1007/978-3-540-73445-1\_1},
  timestamp    = {Tue, 14 May 2019 10:00:40 +0200},
  biburl       = {https://dblp.org/rec/conf/wollic/BaranB07.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/wollic/BechetF07,
  author       = {Denis B{\'{e}}chet and
                  Annie Foret},
  editor       = {Daniel Leivant and
                  Ruy J. G. B. de Queiroz},
  title        = {Fully Lexicalized Pregroup Grammars},
  booktitle    = {Logic, Language, Information and Computation, 14th International Workshop,
                  WoLLIC 2007, Rio de Janeiro, Brazil, July 2-5, 2007, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {4576},
  pages        = {12--25},
  publisher    = {Springer},
  year         = {2007},
  url          = {https://doi.org/10.1007/978-3-540-73445-1\_2},
  doi          = {10.1007/978-3-540-73445-1\_2},
  timestamp    = {Thu, 25 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/wollic/BechetF07.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/wollic/BedregalCS07,
  author       = {Benjam{\'{\i}}n R. C. Bedregal and
                  Roberto Callejas{-}Bedregal and
                  H{\'{e}}lida S. Santos},
  editor       = {Daniel Leivant and
                  Ruy J. G. B. de Queiroz},
  title        = {Bounded Lattice T-Norms as an Interval Category},
  booktitle    = {Logic, Language, Information and Computation, 14th International Workshop,
                  WoLLIC 2007, Rio de Janeiro, Brazil, July 2-5, 2007, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {4576},
  pages        = {26--37},
  publisher    = {Springer},
  year         = {2007},
  url          = {https://doi.org/10.1007/978-3-540-73445-1\_3},
  doi          = {10.1007/978-3-540-73445-1\_3},
  timestamp    = {Thu, 25 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/wollic/BedregalCS07.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/wollic/BensaidCP07,
  author       = {Hicham Bensaid and
                  Ricardo Caferra and
                  Nicolas Peltier},
  editor       = {Daniel Leivant and
                  Ruy J. G. B. de Queiroz},
  title        = {Towards Systematic Analysis of Theorem Provers Search Spaces: First
                  Steps},
  booktitle    = {Logic, Language, Information and Computation, 14th International Workshop,
                  WoLLIC 2007, Rio de Janeiro, Brazil, July 2-5, 2007, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {4576},
  pages        = {38--52},
  publisher    = {Springer},
  year         = {2007},
  url          = {https://doi.org/10.1007/978-3-540-73445-1\_4},
  doi          = {10.1007/978-3-540-73445-1\_4},
  timestamp    = {Thu, 25 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/wollic/BensaidCP07.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/wollic/BernardiM07,
  author       = {Raffaella Bernardi and
                  Michael Moortgat},
  editor       = {Daniel Leivant and
                  Ruy J. G. B. de Queiroz},
  title        = {Continuation Semantics for Symmetric Categorial Grammar},
  booktitle    = {Logic, Language, Information and Computation, 14th International Workshop,
                  WoLLIC 2007, Rio de Janeiro, Brazil, July 2-5, 2007, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {4576},
  pages        = {53--71},
  publisher    = {Springer},
  year         = {2007},
  url          = {https://doi.org/10.1007/978-3-540-73445-1\_5},
  doi          = {10.1007/978-3-540-73445-1\_5},
  timestamp    = {Thu, 25 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/wollic/BernardiM07.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/wollic/Bissell-Siders07,
  author       = {Ryan Bissell{-}Siders},
  editor       = {Daniel Leivant and
                  Ruy J. G. B. de Queiroz},
  title        = {Ehrenfeucht-Fra{\"{\i}}ss{\'{e}} Games on Linear Orders},
  booktitle    = {Logic, Language, Information and Computation, 14th International Workshop,
                  WoLLIC 2007, Rio de Janeiro, Brazil, July 2-5, 2007, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {4576},
  pages        = {72--82},
  publisher    = {Springer},
  year         = {2007},
  url          = {https://doi.org/10.1007/978-3-540-73445-1\_6},
  doi          = {10.1007/978-3-540-73445-1\_6},
  timestamp    = {Thu, 25 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/wollic/Bissell-Siders07.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/wollic/BolanderH07,
  author       = {Thomas Bolander and
                  Ren{\'{e}} Rydhof Hansen},
  editor       = {Daniel Leivant and
                  Ruy J. G. B. de Queiroz},
  title        = {Hybrid Logical Analyses of the Ambient Calculus},
  booktitle    = {Logic, Language, Information and Computation, 14th International Workshop,
                  WoLLIC 2007, Rio de Janeiro, Brazil, July 2-5, 2007, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {4576},
  pages        = {83--100},
  publisher    = {Springer},
  year         = {2007},
  url          = {https://doi.org/10.1007/978-3-540-73445-1\_7},
  doi          = {10.1007/978-3-540-73445-1\_7},
  timestamp    = {Sat, 09 Apr 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/wollic/BolanderH07.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/wollic/Brasoveanu07,
  author       = {Adrian Brasoveanu},
  editor       = {Daniel Leivant and
                  Ruy J. G. B. de Queiroz},
  title        = {Structured Anaphora to Quantifier Domains: {A} Unified Account of
                  Quantificational and Modal Subordination},
  booktitle    = {Logic, Language, Information and Computation, 14th International Workshop,
                  WoLLIC 2007, Rio de Janeiro, Brazil, July 2-5, 2007, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {4576},
  pages        = {101--119},
  publisher    = {Springer},
  year         = {2007},
  url          = {https://doi.org/10.1007/978-3-540-73445-1\_8},
  doi          = {10.1007/978-3-540-73445-1\_8},
  timestamp    = {Thu, 25 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/wollic/Brasoveanu07.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/wollic/BrodaD07,
  author       = {Sabine Broda and
                  Lu{\'{\i}}s Damas},
  editor       = {Daniel Leivant and
                  Ruy J. G. B. de Queiroz},
  title        = {On Principal Types of {BCK-} \emph{lambda} -Terms},
  booktitle    = {Logic, Language, Information and Computation, 14th International Workshop,
                  WoLLIC 2007, Rio de Janeiro, Brazil, July 2-5, 2007, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {4576},
  pages        = {120--130},
  publisher    = {Springer},
  year         = {2007},
  url          = {https://doi.org/10.1007/978-3-540-73445-1\_9},
  doi          = {10.1007/978-3-540-73445-1\_9},
  timestamp    = {Mon, 05 Jun 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/wollic/BrodaD07.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/wollic/Dikovsky07,
  author       = {Alexander Ja. Dikovsky},
  editor       = {Daniel Leivant and
                  Ruy J. G. B. de Queiroz},
  title        = {A Finite-State Functional Grammar Architecture},
  booktitle    = {Logic, Language, Information and Computation, 14th International Workshop,
                  WoLLIC 2007, Rio de Janeiro, Brazil, July 2-5, 2007, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {4576},
  pages        = {131--146},
  publisher    = {Springer},
  year         = {2007},
  url          = {https://doi.org/10.1007/978-3-540-73445-1\_10},
  doi          = {10.1007/978-3-540-73445-1\_10},
  timestamp    = {Thu, 25 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/wollic/Dikovsky07.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/wollic/Foret07,
  author       = {Annie Foret},
  editor       = {Daniel Leivant and
                  Ruy J. G. B. de Queiroz},
  title        = {Pregroup Calculus as a Logic Functor},
  booktitle    = {Logic, Language, Information and Computation, 14th International Workshop,
                  WoLLIC 2007, Rio de Janeiro, Brazil, July 2-5, 2007, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {4576},
  pages        = {147--161},
  publisher    = {Springer},
  year         = {2007},
  url          = {https://doi.org/10.1007/978-3-540-73445-1\_11},
  doi          = {10.1007/978-3-540-73445-1\_11},
  timestamp    = {Thu, 25 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/wollic/Foret07.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/wollic/GabbayM07,
  author       = {Murdoch Gabbay and
                  Aad Mathijssen},
  editor       = {Daniel Leivant and
                  Ruy J. G. B. de Queiroz},
  title        = {A Formal Calculus for Informal Equality with Binding},
  booktitle    = {Logic, Language, Information and Computation, 14th International Workshop,
                  WoLLIC 2007, Rio de Janeiro, Brazil, July 2-5, 2007, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {4576},
  pages        = {162--176},
  publisher    = {Springer},
  year         = {2007},
  url          = {https://doi.org/10.1007/978-3-540-73445-1\_12},
  doi          = {10.1007/978-3-540-73445-1\_12},
  timestamp    = {Thu, 25 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/wollic/GabbayM07.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/wollic/GaldinoMA07,
  author       = {Andr{\'{e}} Luiz Galdino and
                  C{\'{e}}sar A. Mu{\~{n}}oz and
                  Mauricio Ayala{-}Rinc{\'{o}}n},
  editor       = {Daniel Leivant and
                  Ruy J. G. B. de Queiroz},
  title        = {Formal Verification of an Optimal Air Traffic Conflict Resolution
                  and Recovery Algorithm},
  booktitle    = {Logic, Language, Information and Computation, 14th International Workshop,
                  WoLLIC 2007, Rio de Janeiro, Brazil, July 2-5, 2007, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {4576},
  pages        = {177--188},
  publisher    = {Springer},
  year         = {2007},
  url          = {https://doi.org/10.1007/978-3-540-73445-1\_13},
  doi          = {10.1007/978-3-540-73445-1\_13},
  timestamp    = {Wed, 14 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/wollic/GaldinoMA07.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/wollic/GardnerZ07,
  author       = {Philippa Gardner and
                  Uri Zarfaty},
  editor       = {Daniel Leivant and
                  Ruy J. G. B. de Queiroz},
  title        = {An Introduction to Context Logic},
  booktitle    = {Logic, Language, Information and Computation, 14th International Workshop,
                  WoLLIC 2007, Rio de Janeiro, Brazil, July 2-5, 2007, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {4576},
  pages        = {189--202},
  publisher    = {Springer},
  year         = {2007},
  url          = {https://doi.org/10.1007/978-3-540-73445-1\_14},
  doi          = {10.1007/978-3-540-73445-1\_14},
  timestamp    = {Thu, 25 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/wollic/GardnerZ07.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/wollic/HartmannL07,
  author       = {Sven Hartmann and
                  Sebastian Link},
  editor       = {Daniel Leivant and
                  Ruy J. G. B. de Queiroz},
  title        = {Numerical Constraints for {XML}},
  booktitle    = {Logic, Language, Information and Computation, 14th International Workshop,
                  WoLLIC 2007, Rio de Janeiro, Brazil, July 2-5, 2007, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {4576},
  pages        = {203--217},
  publisher    = {Springer},
  year         = {2007},
  url          = {https://doi.org/10.1007/978-3-540-73445-1\_15},
  doi          = {10.1007/978-3-540-73445-1\_15},
  timestamp    = {Thu, 25 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/wollic/HartmannL07.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/wollic/HirschowitzM07,
  author       = {Andr{\'{e}} Hirschowitz and
                  Marco Maggesi},
  editor       = {Daniel Leivant and
                  Ruy J. G. B. de Queiroz},
  title        = {Modules over Monads and Linearity},
  booktitle    = {Logic, Language, Information and Computation, 14th International Workshop,
                  WoLLIC 2007, Rio de Janeiro, Brazil, July 2-5, 2007, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {4576},
  pages        = {218--237},
  publisher    = {Springer},
  year         = {2007},
  url          = {https://doi.org/10.1007/978-3-540-73445-1\_16},
  doi          = {10.1007/978-3-540-73445-1\_16},
  timestamp    = {Thu, 25 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/wollic/HirschowitzM07.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/wollic/Isihara07,
  author       = {Ariya Isihara},
  editor       = {Daniel Leivant and
                  Ruy J. G. B. de Queiroz},
  title        = {Hydra Games and Tree Ordinals},
  booktitle    = {Logic, Language, Information and Computation, 14th International Workshop,
                  WoLLIC 2007, Rio de Janeiro, Brazil, July 2-5, 2007, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {4576},
  pages        = {238--247},
  publisher    = {Springer},
  year         = {2007},
  url          = {https://doi.org/10.1007/978-3-540-73445-1\_17},
  doi          = {10.1007/978-3-540-73445-1\_17},
  timestamp    = {Thu, 25 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/wollic/Isihara07.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/wollic/KauffmanL07,
  author       = {Louis H. Kauffman and
                  Samuel J. Lomonaco},
  editor       = {Daniel Leivant and
                  Ruy J. G. B. de Queiroz},
  title        = {Spin Networks, Quantum Topology and Quantum Computation},
  booktitle    = {Logic, Language, Information and Computation, 14th International Workshop,
                  WoLLIC 2007, Rio de Janeiro, Brazil, July 2-5, 2007, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {4576},
  pages        = {248--263},
  publisher    = {Springer},
  year         = {2007},
  url          = {https://doi.org/10.1007/978-3-540-73445-1\_18},
  doi          = {10.1007/978-3-540-73445-1\_18},
  timestamp    = {Thu, 25 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/wollic/KauffmanL07.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/wollic/Moortgat07,
  author       = {Michael Moortgat},
  editor       = {Daniel Leivant and
                  Ruy J. G. B. de Queiroz},
  title        = {Symmetries in Natural Language Syntax and Semantics: The Lambek-Grishin
                  Calculus},
  booktitle    = {Logic, Language, Information and Computation, 14th International Workshop,
                  WoLLIC 2007, Rio de Janeiro, Brazil, July 2-5, 2007, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {4576},
  pages        = {264--284},
  publisher    = {Springer},
  year         = {2007},
  url          = {https://doi.org/10.1007/978-3-540-73445-1\_19},
  doi          = {10.1007/978-3-540-73445-1\_19},
  timestamp    = {Thu, 25 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/wollic/Moortgat07.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/wollic/Oliva07,
  author       = {Paulo Oliva},
  editor       = {Daniel Leivant and
                  Ruy J. G. B. de Queiroz},
  title        = {Computational Interpretations of Classical Linear Logic},
  booktitle    = {Logic, Language, Information and Computation, 14th International Workshop,
                  WoLLIC 2007, Rio de Janeiro, Brazil, July 2-5, 2007, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {4576},
  pages        = {285--296},
  publisher    = {Springer},
  year         = {2007},
  url          = {https://doi.org/10.1007/978-3-540-73445-1\_20},
  doi          = {10.1007/978-3-540-73445-1\_20},
  timestamp    = {Thu, 25 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/wollic/Oliva07.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/wollic/ReifL07,
  author       = {John H. Reif and
                  Thomas H. LaBean},
  editor       = {Daniel Leivant and
                  Ruy J. G. B. de Queiroz},
  title        = {Autonomous Programmable Biomolecular Devices Using Self-assembled
                  {DNA} Nanostructures},
  booktitle    = {Logic, Language, Information and Computation, 14th International Workshop,
                  WoLLIC 2007, Rio de Janeiro, Brazil, July 2-5, 2007, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {4576},
  pages        = {297--306},
  publisher    = {Springer},
  year         = {2007},
  url          = {https://doi.org/10.1007/978-3-540-73445-1\_21},
  doi          = {10.1007/978-3-540-73445-1\_21},
  timestamp    = {Sun, 02 Jun 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/wollic/ReifL07.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/wollic/ReiserDBS07,
  author       = {Renata Hax Sander Reiser and
                  Gra{\c{c}}aliz Pereira Dimuro and
                  Benjam{\'{\i}}n R. C. Bedregal and
                  Regivan Hugo Nunes Santiago},
  editor       = {Daniel Leivant and
                  Ruy J. G. B. de Queiroz},
  title        = {Interval Valued QL-Implications},
  booktitle    = {Logic, Language, Information and Computation, 14th International Workshop,
                  WoLLIC 2007, Rio de Janeiro, Brazil, July 2-5, 2007, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {4576},
  pages        = {307--321},
  publisher    = {Springer},
  year         = {2007},
  url          = {https://doi.org/10.1007/978-3-540-73445-1\_22},
  doi          = {10.1007/978-3-540-73445-1\_22},
  timestamp    = {Thu, 25 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/wollic/ReiserDBS07.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/wollic/SilvaR07,
  author       = {Alexandra Silva and
                  Jan J. M. M. Rutten},
  editor       = {Daniel Leivant and
                  Ruy J. G. B. de Queiroz},
  title        = {Behavioural Differential Equations and Coinduction for Binary Trees},
  booktitle    = {Logic, Language, Information and Computation, 14th International Workshop,
                  WoLLIC 2007, Rio de Janeiro, Brazil, July 2-5, 2007, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {4576},
  pages        = {322--336},
  publisher    = {Springer},
  year         = {2007},
  url          = {https://doi.org/10.1007/978-3-540-73445-1\_23},
  doi          = {10.1007/978-3-540-73445-1\_23},
  timestamp    = {Thu, 25 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/wollic/SilvaR07.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/wollic/Solin07,
  author       = {Kim Solin},
  editor       = {Daniel Leivant and
                  Ruy J. G. B. de Queiroz},
  title        = {A Sketch of a Dynamic Epistemic Semiring},
  booktitle    = {Logic, Language, Information and Computation, 14th International Workshop,
                  WoLLIC 2007, Rio de Janeiro, Brazil, July 2-5, 2007, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {4576},
  pages        = {337--350},
  publisher    = {Springer},
  year         = {2007},
  url          = {https://doi.org/10.1007/978-3-540-73445-1\_24},
  doi          = {10.1007/978-3-540-73445-1\_24},
  timestamp    = {Thu, 25 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/wollic/Solin07.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/wollic/Venema07,
  author       = {Yde Venema},
  editor       = {Daniel Leivant and
                  Ruy J. G. B. de Queiroz},
  title        = {A Modal Distributive Law (abstract)},
  booktitle    = {Logic, Language, Information and Computation, 14th International Workshop,
                  WoLLIC 2007, Rio de Janeiro, Brazil, July 2-5, 2007, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {4576},
  pages        = {351},
  publisher    = {Springer},
  year         = {2007},
  url          = {https://doi.org/10.1007/978-3-540-73445-1\_25},
  doi          = {10.1007/978-3-540-73445-1\_25},
  timestamp    = {Thu, 25 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/wollic/Venema07.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/wollic/VillagraB07,
  author       = {Marcos Villagra and
                  Benjam{\'{\i}}n Bar{\'{a}}n},
  editor       = {Daniel Leivant and
                  Ruy J. G. B. de Queiroz},
  title        = {Ant Colony Optimization with Adaptive Fitness Function for Satisfiability
                  Testing},
  booktitle    = {Logic, Language, Information and Computation, 14th International Workshop,
                  WoLLIC 2007, Rio de Janeiro, Brazil, July 2-5, 2007, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {4576},
  pages        = {352--361},
  publisher    = {Springer},
  year         = {2007},
  url          = {https://doi.org/10.1007/978-3-540-73445-1\_26},
  doi          = {10.1007/978-3-540-73445-1\_26},
  timestamp    = {Thu, 25 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/wollic/VillagraB07.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@proceedings{DBLP:conf/wollic/2007,
  editor       = {Daniel Leivant and
                  Ruy J. G. B. de Queiroz},
  title        = {Logic, Language, Information and Computation, 14th International Workshop,
                  WoLLIC 2007, Rio de Janeiro, Brazil, July 2-5, 2007, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {4576},
  publisher    = {Springer},
  year         = {2007},
  url          = {https://doi.org/10.1007/978-3-540-73445-1},
  doi          = {10.1007/978-3-540-73445-1},
  isbn         = {978-3-540-73443-7},
  timestamp    = {Tue, 14 May 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/wollic/2007.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
a service of  Schloss Dagstuhl - Leibniz Center for Informatics

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.