Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDSearch dblp for Publications
export results for "toc:db/conf/wollic/wollic2011.bht:"
download as .bib file
@inproceedings{DBLP:conf/wollic/Achilleos11,
author = {Antonis Achilleos},
editor = {Lev D. Beklemishev and
Ruy J. G. B. de Queiroz},
title = {A Complexity Question in Justification Logic},
booktitle = {Logic, Language, Information and Computation - 18th International
Workshop, WoLLIC 2011, Philadelphia, PA, USA, May 18-20, 2011. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {6642},
pages = {8--19},
publisher = {Springer},
year = {2011},
url = {https://doi.org/10.1007/978-3-642-20920-8\_7},
doi = {10.1007/978-3-642-20920-8\_7},
timestamp = {Tue, 01 Jun 2021 15:22:31 +0200},
biburl = {https://dblp.org/rec/conf/wollic/Achilleos11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wollic/Alur11,
author = {Rajeev Alur},
editor = {Lev D. Beklemishev and
Ruy J. G. B. de Queiroz},
title = {Streaming String Transducers},
booktitle = {Logic, Language, Information and Computation - 18th International
Workshop, WoLLIC 2011, Philadelphia, PA, USA, May 18-20, 2011. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {6642},
pages = {1},
publisher = {Springer},
year = {2011},
url = {https://doi.org/10.1007/978-3-642-20920-8\_1},
doi = {10.1007/978-3-642-20920-8\_1},
timestamp = {Tue, 26 Jun 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/wollic/Alur11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wollic/ArecesCFM11,
author = {Carlos Areces and
Facundo Carreiro and
Santiago Figueira and
Sergio Mera},
editor = {Lev D. Beklemishev and
Ruy J. G. B. de Queiroz},
title = {Basic Model Theory for Memory Logics},
booktitle = {Logic, Language, Information and Computation - 18th International
Workshop, WoLLIC 2011, Philadelphia, PA, USA, May 18-20, 2011. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {6642},
pages = {20--34},
publisher = {Springer},
year = {2011},
url = {https://doi.org/10.1007/978-3-642-20920-8\_8},
doi = {10.1007/978-3-642-20920-8\_8},
timestamp = {Thu, 25 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/wollic/ArecesCFM11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wollic/BucheliKS11,
author = {Samuel Bucheli and
Roman Kuznets and
Thomas Studer},
editor = {Lev D. Beklemishev and
Ruy J. G. B. de Queiroz},
title = {Partial Realization in Dynamic Justification Logic},
booktitle = {Logic, Language, Information and Computation - 18th International
Workshop, WoLLIC 2011, Philadelphia, PA, USA, May 18-20, 2011. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {6642},
pages = {35--51},
publisher = {Springer},
year = {2011},
url = {https://doi.org/10.1007/978-3-642-20920-8\_9},
doi = {10.1007/978-3-642-20920-8\_9},
timestamp = {Fri, 02 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/wollic/BucheliKS11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wollic/Charlton11,
author = {Nathaniel Charlton},
editor = {Lev D. Beklemishev and
Ruy J. G. B. de Queiroz},
title = {Hoare Logic for Higher Order Store Using Simple Semantics},
booktitle = {Logic, Language, Information and Computation - 18th International
Workshop, WoLLIC 2011, Philadelphia, PA, USA, May 18-20, 2011. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {6642},
pages = {52--66},
publisher = {Springer},
year = {2011},
url = {https://doi.org/10.1007/978-3-642-20920-8\_10},
doi = {10.1007/978-3-642-20920-8\_10},
timestamp = {Thu, 25 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/wollic/Charlton11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wollic/Clouston11,
author = {Ranald Clouston},
editor = {Lev D. Beklemishev and
Ruy J. G. B. de Queiroz},
title = {Nominal Lawvere Theories},
booktitle = {Logic, Language, Information and Computation - 18th International
Workshop, WoLLIC 2011, Philadelphia, PA, USA, May 18-20, 2011. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {6642},
pages = {67--83},
publisher = {Springer},
year = {2011},
url = {https://doi.org/10.1007/978-3-642-20920-8\_11},
doi = {10.1007/978-3-642-20920-8\_11},
timestamp = {Thu, 25 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/wollic/Clouston11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wollic/Cunha11,
author = {Aubrey da Cunha},
editor = {Lev D. Beklemishev and
Ruy J. G. B. de Queiroz},
title = {Turing Machines on Cayley Graphs},
booktitle = {Logic, Language, Information and Computation - 18th International
Workshop, WoLLIC 2011, Philadelphia, PA, USA, May 18-20, 2011. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {6642},
pages = {84--94},
publisher = {Springer},
year = {2011},
url = {https://doi.org/10.1007/978-3-642-20920-8\_12},
doi = {10.1007/978-3-642-20920-8\_12},
timestamp = {Thu, 25 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/wollic/Cunha11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wollic/DondersMN11,
author = {Michael S. Donders and
Sara Miner More and
Pavel Naumov},
editor = {Lev D. Beklemishev and
Ruy J. G. B. de Queiroz},
title = {Information Flow on Directed Acyclic Graphs},
booktitle = {Logic, Language, Information and Computation - 18th International
Workshop, WoLLIC 2011, Philadelphia, PA, USA, May 18-20, 2011. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {6642},
pages = {95--109},
publisher = {Springer},
year = {2011},
url = {https://doi.org/10.1007/978-3-642-20920-8\_13},
doi = {10.1007/978-3-642-20920-8\_13},
timestamp = {Fri, 09 Apr 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/wollic/DondersMN11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wollic/FerrarottiHKLV11,
author = {Flavio Ferrarotti and
Sven Hartmann and
Henning K{\"{o}}hler and
Sebastian Link and
Millist W. Vincent},
editor = {Lev D. Beklemishev and
Ruy J. G. B. de Queiroz},
title = {The Boyce-Codd-Heath Normal Form for {SQL}},
booktitle = {Logic, Language, Information and Computation - 18th International
Workshop, WoLLIC 2011, Philadelphia, PA, USA, May 18-20, 2011. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {6642},
pages = {110--122},
publisher = {Springer},
year = {2011},
url = {https://doi.org/10.1007/978-3-642-20920-8\_14},
doi = {10.1007/978-3-642-20920-8\_14},
timestamp = {Fri, 27 Dec 2019 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/wollic/FerrarottiHKLV11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wollic/FerreiraFBSM11,
author = {Francicleber Martins Ferreira and
Cibele Matos Freire and
Mario R. F. Benevides and
Luis Menasch{\'{e}} Schechter and
Ana Teresa C. Martins},
editor = {Lev D. Beklemishev and
Ruy J. G. B. de Queiroz},
title = {Hybrid Logics and {NP} Graph Properties},
booktitle = {Logic, Language, Information and Computation - 18th International
Workshop, WoLLIC 2011, Philadelphia, PA, USA, May 18-20, 2011. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {6642},
pages = {123--134},
publisher = {Springer},
year = {2011},
url = {https://doi.org/10.1007/978-3-642-20920-8\_15},
doi = {10.1007/978-3-642-20920-8\_15},
timestamp = {Fri, 08 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/wollic/FerreiraFBSM11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wollic/FigueiraGG11,
author = {Santiago Figueira and
Daniel Gor{\'{\i}}n and
Rafael Grimson},
editor = {Lev D. Beklemishev and
Ruy J. G. B. de Queiroz},
title = {On the Expressive Power of IF-Logic with Classical Negation},
booktitle = {Logic, Language, Information and Computation - 18th International
Workshop, WoLLIC 2011, Philadelphia, PA, USA, May 18-20, 2011. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {6642},
pages = {135--145},
publisher = {Springer},
year = {2011},
url = {https://doi.org/10.1007/978-3-642-20920-8\_16},
doi = {10.1007/978-3-642-20920-8\_16},
timestamp = {Thu, 25 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/wollic/FigueiraGG11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wollic/Gutierrez11,
author = {Julian Gutierrez},
editor = {Lev D. Beklemishev and
Ruy J. G. B. de Queiroz},
title = {Concurrent Logic Games on Partial Orders},
booktitle = {Logic, Language, Information and Computation - 18th International
Workshop, WoLLIC 2011, Philadelphia, PA, USA, May 18-20, 2011. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {6642},
pages = {146--160},
publisher = {Springer},
year = {2011},
url = {https://doi.org/10.1007/978-3-642-20920-8\_17},
doi = {10.1007/978-3-642-20920-8\_17},
timestamp = {Thu, 25 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/wollic/Gutierrez11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wollic/Horn11,
author = {Alexander Horn},
editor = {Lev D. Beklemishev and
Ruy J. G. B. de Queiroz},
title = {Dynamic Epistemic Algebra with Post-conditions to Reason about Robot
Navigation},
booktitle = {Logic, Language, Information and Computation - 18th International
Workshop, WoLLIC 2011, Philadelphia, PA, USA, May 18-20, 2011. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {6642},
pages = {161--175},
publisher = {Springer},
year = {2011},
url = {https://doi.org/10.1007/978-3-642-20920-8\_18},
doi = {10.1007/978-3-642-20920-8\_18},
timestamp = {Thu, 25 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/wollic/Horn11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wollic/Iemhoff11,
author = {Rosalie Iemhoff},
editor = {Lev D. Beklemishev and
Ruy J. G. B. de Queiroz},
title = {Unification in Logic},
booktitle = {Logic, Language, Information and Computation - 18th International
Workshop, WoLLIC 2011, Philadelphia, PA, USA, May 18-20, 2011. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {6642},
pages = {2},
publisher = {Springer},
year = {2011},
url = {https://doi.org/10.1007/978-3-642-20920-8\_2},
doi = {10.1007/978-3-642-20920-8\_2},
timestamp = {Tue, 26 Jun 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/wollic/Iemhoff11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wollic/JordanZ11,
author = {Charles Jordan and
Thomas Zeugmann},
editor = {Lev D. Beklemishev and
Ruy J. G. B. de Queiroz},
title = {Untestable Properties in the Kahr-Moore-Wang Class},
booktitle = {Logic, Language, Information and Computation - 18th International
Workshop, WoLLIC 2011, Philadelphia, PA, USA, May 18-20, 2011. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {6642},
pages = {176--186},
publisher = {Springer},
year = {2011},
url = {https://doi.org/10.1007/978-3-642-20920-8\_19},
doi = {10.1007/978-3-642-20920-8\_19},
timestamp = {Thu, 25 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/wollic/JordanZ11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wollic/KontinenS11,
author = {Juha Kontinen and
Jakub Szymanik},
editor = {Lev D. Beklemishev and
Ruy J. G. B. de Queiroz},
title = {Characterizing Definability of Second-Order Generalized Quantifiers},
booktitle = {Logic, Language, Information and Computation - 18th International
Workshop, WoLLIC 2011, Philadelphia, PA, USA, May 18-20, 2011. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {6642},
pages = {187--200},
publisher = {Springer},
year = {2011},
url = {https://doi.org/10.1007/978-3-642-20920-8\_20},
doi = {10.1007/978-3-642-20920-8\_20},
timestamp = {Fri, 02 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/wollic/KontinenS11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wollic/Mints11,
author = {Grigori Mints},
editor = {Lev D. Beklemishev and
Ruy J. G. B. de Queiroz},
title = {Countable Version of Omega-Rule},
booktitle = {Logic, Language, Information and Computation - 18th International
Workshop, WoLLIC 2011, Philadelphia, PA, USA, May 18-20, 2011. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {6642},
pages = {201--209},
publisher = {Springer},
year = {2011},
url = {https://doi.org/10.1007/978-3-642-20920-8\_21},
doi = {10.1007/978-3-642-20920-8\_21},
timestamp = {Thu, 25 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/wollic/Mints11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wollic/Mitchell11,
author = {John C. Mitchell},
editor = {Lev D. Beklemishev and
Ruy J. G. B. de Queiroz},
title = {A Symbolic Logic with Exact Bounds for Cryptographic Protocols},
booktitle = {Logic, Language, Information and Computation - 18th International
Workshop, WoLLIC 2011, Philadelphia, PA, USA, May 18-20, 2011. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {6642},
pages = {3},
publisher = {Springer},
year = {2011},
url = {https://doi.org/10.1007/978-3-642-20920-8\_3},
doi = {10.1007/978-3-642-20920-8\_3},
timestamp = {Tue, 26 Jun 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/wollic/Mitchell11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wollic/SeveriV11,
author = {Paula Severi and
Fer{-}Jan de Vries},
editor = {Lev D. Beklemishev and
Ruy J. G. B. de Queiroz},
title = {Decomposing the Lattice of Meaningless Sets in the Infinitary Lambda
Calculus},
booktitle = {Logic, Language, Information and Computation - 18th International
Workshop, WoLLIC 2011, Philadelphia, PA, USA, May 18-20, 2011. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {6642},
pages = {210--227},
publisher = {Springer},
year = {2011},
url = {https://doi.org/10.1007/978-3-642-20920-8\_22},
doi = {10.1007/978-3-642-20920-8\_22},
timestamp = {Thu, 25 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/wollic/SeveriV11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wollic/Shamkanov11,
author = {Daniyar S. Shamkanov},
editor = {Lev D. Beklemishev and
Ruy J. G. B. de Queiroz},
title = {Strong Normalization and Confluence for Reflexive Combinatory Logic},
booktitle = {Logic, Language, Information and Computation - 18th International
Workshop, WoLLIC 2011, Philadelphia, PA, USA, May 18-20, 2011. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {6642},
pages = {228--238},
publisher = {Springer},
year = {2011},
url = {https://doi.org/10.1007/978-3-642-20920-8\_23},
doi = {10.1007/978-3-642-20920-8\_23},
timestamp = {Thu, 25 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/wollic/Shamkanov11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wollic/Statman11,
author = {Rick Statman},
editor = {Lev D. Beklemishev and
Ruy J. G. B. de Queiroz},
title = {On Polymorphic Types of Untyped Terms},
booktitle = {Logic, Language, Information and Computation - 18th International
Workshop, WoLLIC 2011, Philadelphia, PA, USA, May 18-20, 2011. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {6642},
pages = {239--256},
publisher = {Springer},
year = {2011},
url = {https://doi.org/10.1007/978-3-642-20920-8\_24},
doi = {10.1007/978-3-642-20920-8\_24},
timestamp = {Thu, 25 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/wollic/Statman11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wollic/Thorne11,
author = {Camilo Thorne},
editor = {Lev D. Beklemishev and
Ruy J. G. B. de Queiroz},
title = {Querying the Fragments of English},
booktitle = {Logic, Language, Information and Computation - 18th International
Workshop, WoLLIC 2011, Philadelphia, PA, USA, May 18-20, 2011. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {6642},
pages = {257--271},
publisher = {Springer},
year = {2011},
url = {https://doi.org/10.1007/978-3-642-20920-8\_25},
doi = {10.1007/978-3-642-20920-8\_25},
timestamp = {Fri, 27 Dec 2019 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/wollic/Thorne11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wollic/Verdee11,
author = {Peter Verd{\'{e}}e},
editor = {Lev D. Beklemishev and
Ruy J. G. B. de Queiroz},
title = {Strong Paraconsistency by Separating Composition and Decomposition
in Classical Logic},
booktitle = {Logic, Language, Information and Computation - 18th International
Workshop, WoLLIC 2011, Philadelphia, PA, USA, May 18-20, 2011. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {6642},
pages = {272--292},
publisher = {Springer},
year = {2011},
url = {https://doi.org/10.1007/978-3-642-20920-8\_26},
doi = {10.1007/978-3-642-20920-8\_26},
timestamp = {Thu, 25 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/wollic/Verdee11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wollic/Voevodsky11,
author = {Vladimir Voevodsky},
editor = {Lev D. Beklemishev and
Ruy J. G. B. de Queiroz},
title = {Univalent Foundations of Mathematics},
booktitle = {Logic, Language, Information and Computation - 18th International
Workshop, WoLLIC 2011, Philadelphia, PA, USA, May 18-20, 2011. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {6642},
pages = {4},
publisher = {Springer},
year = {2011},
url = {https://doi.org/10.1007/978-3-642-20920-8\_4},
doi = {10.1007/978-3-642-20920-8\_4},
timestamp = {Tue, 26 Jun 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/wollic/Voevodsky11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wollic/Winter11,
author = {Yoad Winter},
editor = {Lev D. Beklemishev and
Ruy J. G. B. de Queiroz},
title = {Relational Concepts and the Logic of Reciprocity},
booktitle = {Logic, Language, Information and Computation - 18th International
Workshop, WoLLIC 2011, Philadelphia, PA, USA, May 18-20, 2011. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {6642},
pages = {5},
publisher = {Springer},
year = {2011},
url = {https://doi.org/10.1007/978-3-642-20920-8\_5},
doi = {10.1007/978-3-642-20920-8\_5},
timestamp = {Tue, 26 Jun 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/wollic/Winter11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wollic/Yanovich11,
author = {Igor Yanovich},
editor = {Lev D. Beklemishev and
Ruy J. G. B. de Queiroz},
title = {How Much Expressive Power Is Needed for Natural Language Temporal
Indexicality?},
booktitle = {Logic, Language, Information and Computation - 18th International
Workshop, WoLLIC 2011, Philadelphia, PA, USA, May 18-20, 2011. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {6642},
pages = {293--309},
publisher = {Springer},
year = {2011},
url = {https://doi.org/10.1007/978-3-642-20920-8\_27},
doi = {10.1007/978-3-642-20920-8\_27},
timestamp = {Thu, 25 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/wollic/Yanovich11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wollic/Zakharyaschev11,
author = {Michael Zakharyaschev},
editor = {Lev D. Beklemishev and
Ruy J. G. B. de Queiroz},
title = {Logic in the Time of {WWW:} An {OWL} View},
booktitle = {Logic, Language, Information and Computation - 18th International
Workshop, WoLLIC 2011, Philadelphia, PA, USA, May 18-20, 2011. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {6642},
pages = {6--7},
publisher = {Springer},
year = {2011},
url = {https://doi.org/10.1007/978-3-642-20920-8\_6},
doi = {10.1007/978-3-642-20920-8\_6},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/wollic/Zakharyaschev11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/wollic/2011,
editor = {Lev D. Beklemishev and
Ruy J. G. B. de Queiroz},
title = {Logic, Language, Information and Computation - 18th International
Workshop, WoLLIC 2011, Philadelphia, PA, USA, May 18-20, 2011. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {6642},
publisher = {Springer},
year = {2011},
url = {https://doi.org/10.1007/978-3-642-20920-8},
doi = {10.1007/978-3-642-20920-8},
isbn = {978-3-642-20919-2},
timestamp = {Tue, 01 Jun 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/wollic/2011.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
a service of 
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.
retrieved on 2024-07-31 13:37 CEST from data curated by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
