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/wollic2009.bht:"
download as .bib file
@inproceedings{DBLP:conf/wollic/Alizadeh09,
author = {Majid Alizadeh},
editor = {Hiroakira Ono and
Makoto Kanazawa and
Ruy J. G. B. de Queiroz},
title = {Completions of Basic Algebras},
booktitle = {Logic, Language, Information and Computation, 16th International Workshop,
WoLLIC 2009, Tokyo, Japan, June 21-24, 2009. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {5514},
pages = {72--83},
publisher = {Springer},
year = {2009},
url = {https://doi.org/10.1007/978-3-642-02261-6\_7},
doi = {10.1007/978-3-642-02261-6\_7},
timestamp = {Sun, 02 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/wollic/Alizadeh09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wollic/AlvesOQ09,
author = {Gleifer V. Alves and
Anjolina Grisi de Oliveira and
Ruy J. G. B. de Queiroz},
editor = {Hiroakira Ono and
Makoto Kanazawa and
Ruy J. G. B. de Queiroz},
title = {Transformations via Geometric Perspective Techniques Augmented with
Cycles Normalization},
booktitle = {Logic, Language, Information and Computation, 16th International Workshop,
WoLLIC 2009, Tokyo, Japan, June 21-24, 2009. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {5514},
pages = {84--98},
publisher = {Springer},
year = {2009},
url = {https://doi.org/10.1007/978-3-642-02261-6\_8},
doi = {10.1007/978-3-642-02261-6\_8},
timestamp = {Fri, 02 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/wollic/AlvesOQ09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wollic/AmatoS09,
author = {Gianluca Amato and
Francesca Scozzari},
editor = {Hiroakira Ono and
Makoto Kanazawa and
Ruy J. G. B. de Queiroz},
title = {Observational Completeness on Abstract Interpretation},
booktitle = {Logic, Language, Information and Computation, 16th International Workshop,
WoLLIC 2009, Tokyo, Japan, June 21-24, 2009. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {5514},
pages = {99--112},
publisher = {Springer},
year = {2009},
url = {https://doi.org/10.1007/978-3-642-02261-6\_9},
doi = {10.1007/978-3-642-02261-6\_9},
timestamp = {Mon, 05 Jun 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/wollic/AmatoS09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wollic/BaazCP09,
author = {Matthias Baaz and
Agata Ciabattoni and
Norbert Preining},
editor = {Hiroakira Ono and
Makoto Kanazawa and
Ruy J. G. B. de Queiroz},
title = {{SAT} in Monadic G{\"{o}}del Logics: {A} Borderline between Decidability
and Undecidability},
booktitle = {Logic, Language, Information and Computation, 16th International Workshop,
WoLLIC 2009, Tokyo, Japan, June 21-24, 2009. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {5514},
pages = {113--123},
publisher = {Springer},
year = {2009},
url = {https://doi.org/10.1007/978-3-642-02261-6\_10},
doi = {10.1007/978-3-642-02261-6\_10},
timestamp = {Sun, 25 Oct 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/wollic/BaazCP09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wollic/BaltagS09,
author = {Alexandru Baltag and
Sonja Smets},
editor = {Hiroakira Ono and
Makoto Kanazawa and
Ruy J. G. B. de Queiroz},
title = {Learning by Questions and Answers: From Belief-Revision Cycles to
Doxastic Fixed Points},
booktitle = {Logic, Language, Information and Computation, 16th International Workshop,
WoLLIC 2009, Tokyo, Japan, June 21-24, 2009. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {5514},
pages = {124--139},
publisher = {Springer},
year = {2009},
url = {https://doi.org/10.1007/978-3-642-02261-6\_11},
doi = {10.1007/978-3-642-02261-6\_11},
timestamp = {Tue, 07 May 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/wollic/BaltagS09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wollic/BauerGS09,
author = {Kerstin Bauer and
Raffaella Gentilini and
Klaus Schneider},
editor = {Hiroakira Ono and
Makoto Kanazawa and
Ruy J. G. B. de Queiroz},
title = {Property Driven Three-Valued Model Checking on Hybrid Automata},
booktitle = {Logic, Language, Information and Computation, 16th International Workshop,
WoLLIC 2009, Tokyo, Japan, June 21-24, 2009. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {5514},
pages = {218--229},
publisher = {Springer},
year = {2009},
url = {https://doi.org/10.1007/978-3-642-02261-6\_18},
doi = {10.1007/978-3-642-02261-6\_18},
timestamp = {Thu, 25 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/wollic/BauerGS09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wollic/Beckmann09,
author = {Arnold Beckmann},
editor = {Hiroakira Ono and
Makoto Kanazawa and
Ruy J. G. B. de Queiroz},
title = {A Characterisation of Definable {NP} Search Problems in Peano Arithmetic},
booktitle = {Logic, Language, Information and Computation, 16th International Workshop,
WoLLIC 2009, Tokyo, Japan, June 21-24, 2009. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {5514},
pages = {1--12},
publisher = {Springer},
year = {2009},
url = {https://doi.org/10.1007/978-3-642-02261-6\_1},
doi = {10.1007/978-3-642-02261-6\_1},
timestamp = {Thu, 25 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/wollic/Beckmann09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wollic/BelardinelliL09,
author = {Francesco Belardinelli and
Alessio Lomuscio},
editor = {Hiroakira Ono and
Makoto Kanazawa and
Ruy J. G. B. de Queiroz},
title = {First-Order Linear-Time Epistemic Logic with Group Knowledge: An Axiomatisation
of the Monodic Fragment},
booktitle = {Logic, Language, Information and Computation, 16th International Workshop,
WoLLIC 2009, Tokyo, Japan, June 21-24, 2009. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {5514},
pages = {140--154},
publisher = {Springer},
year = {2009},
url = {https://doi.org/10.1007/978-3-642-02261-6\_12},
doi = {10.1007/978-3-642-02261-6\_12},
timestamp = {Sun, 25 Oct 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/wollic/BelardinelliL09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wollic/CaleiroG09,
author = {Carlos Caleiro and
Ricardo Gon{\c{c}}alves},
editor = {Hiroakira Ono and
Makoto Kanazawa and
Ruy J. G. B. de Queiroz},
title = {Algebraic Valuations as Behavioral Logical Matrices},
booktitle = {Logic, Language, Information and Computation, 16th International Workshop,
WoLLIC 2009, Tokyo, Japan, June 21-24, 2009. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {5514},
pages = {13--25},
publisher = {Springer},
year = {2009},
url = {https://doi.org/10.1007/978-3-642-02261-6\_2},
doi = {10.1007/978-3-642-02261-6\_2},
timestamp = {Mon, 05 Jun 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/wollic/CaleiroG09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wollic/CaleiroM09,
author = {Carlos Caleiro and
Jo{\~{a}}o Marcos},
editor = {Hiroakira Ono and
Makoto Kanazawa and
Ruy J. G. B. de Queiroz},
title = {Classic-Like Analytic Tableaux for Finite-Valued Logics},
booktitle = {Logic, Language, Information and Computation, 16th International Workshop,
WoLLIC 2009, Tokyo, Japan, June 21-24, 2009. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {5514},
pages = {268--280},
publisher = {Springer},
year = {2009},
url = {https://doi.org/10.1007/978-3-642-02261-6\_22},
doi = {10.1007/978-3-642-02261-6\_22},
timestamp = {Sun, 02 Jun 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/wollic/CaleiroM09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wollic/ChenG09,
author = {Hubie Chen and
Omer Gim{\'{e}}nez},
editor = {Hiroakira Ono and
Makoto Kanazawa and
Ruy J. G. B. de Queiroz},
title = {On-the-Fly Macros},
booktitle = {Logic, Language, Information and Computation, 16th International Workshop,
WoLLIC 2009, Tokyo, Japan, June 21-24, 2009. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {5514},
pages = {155--169},
publisher = {Springer},
year = {2009},
url = {https://doi.org/10.1007/978-3-642-02261-6\_13},
doi = {10.1007/978-3-642-02261-6\_13},
timestamp = {Thu, 25 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/wollic/ChenG09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wollic/ChristiansenD09,
author = {Henning Christiansen and
Ver{\'{o}}nica Dahl},
editor = {Hiroakira Ono and
Makoto Kanazawa and
Ruy J. G. B. de Queiroz},
title = {Abductive Logic Grammars},
booktitle = {Logic, Language, Information and Computation, 16th International Workshop,
WoLLIC 2009, Tokyo, Japan, June 21-24, 2009. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {5514},
pages = {170--181},
publisher = {Springer},
year = {2009},
url = {https://doi.org/10.1007/978-3-642-02261-6\_14},
doi = {10.1007/978-3-642-02261-6\_14},
timestamp = {Thu, 14 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/wollic/ChristiansenD09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wollic/EiterLOS09,
author = {Thomas Eiter and
Carsten Lutz and
Magdalena Ortiz and
Mantas Simkus},
editor = {Hiroakira Ono and
Makoto Kanazawa and
Ruy J. G. B. de Queiroz},
title = {Query Answering in Description Logics: The Knots Approach},
booktitle = {Logic, Language, Information and Computation, 16th International Workshop,
WoLLIC 2009, Tokyo, Japan, June 21-24, 2009. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {5514},
pages = {26--36},
publisher = {Springer},
year = {2009},
url = {https://doi.org/10.1007/978-3-642-02261-6\_3},
doi = {10.1007/978-3-642-02261-6\_3},
timestamp = {Mon, 29 Aug 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/wollic/EiterLOS09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wollic/GrootePP09,
author = {Philippe de Groote and
Sylvain Pogodalla and
Carl Pollard},
editor = {Hiroakira Ono and
Makoto Kanazawa and
Ruy J. G. B. de Queiroz},
title = {On the Syntax-Semantics Interface: From Convergent Grammar to Abstract
Categorial Grammar},
booktitle = {Logic, Language, Information and Computation, 16th International Workshop,
WoLLIC 2009, Tokyo, Japan, June 21-24, 2009. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {5514},
pages = {182--196},
publisher = {Springer},
year = {2009},
url = {https://doi.org/10.1007/978-3-642-02261-6\_15},
doi = {10.1007/978-3-642-02261-6\_15},
timestamp = {Thu, 25 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/wollic/GrootePP09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wollic/Heinemann09,
author = {Bernhard Heinemann},
editor = {Hiroakira Ono and
Makoto Kanazawa and
Ruy J. G. B. de Queiroz},
title = {Observational Effort and Formally Open Mappings},
booktitle = {Logic, Language, Information and Computation, 16th International Workshop,
WoLLIC 2009, Tokyo, Japan, June 21-24, 2009. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {5514},
pages = {197--208},
publisher = {Springer},
year = {2009},
url = {https://doi.org/10.1007/978-3-642-02261-6\_16},
doi = {10.1007/978-3-642-02261-6\_16},
timestamp = {Thu, 25 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/wollic/Heinemann09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wollic/HerbelinL09,
author = {Hugo Herbelin and
Gyesik Lee},
editor = {Hiroakira Ono and
Makoto Kanazawa and
Ruy J. G. B. de Queiroz},
title = {Forcing-Based Cut-Elimination for Gentzen-Style Intuitionistic Sequent
Calculus},
booktitle = {Logic, Language, Information and Computation, 16th International Workshop,
WoLLIC 2009, Tokyo, Japan, June 21-24, 2009. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {5514},
pages = {209--217},
publisher = {Springer},
year = {2009},
url = {https://doi.org/10.1007/978-3-642-02261-6\_17},
doi = {10.1007/978-3-642-02261-6\_17},
timestamp = {Thu, 25 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/wollic/HerbelinL09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wollic/Katsuhiko09,
author = {Katsuhiko Sano},
editor = {Hiroakira Ono and
Makoto Kanazawa and
Ruy J. G. B. de Queiroz},
title = {Sound and Complete Tree-Sequent Calculus for Inquisitive Logic},
booktitle = {Logic, Language, Information and Computation, 16th International Workshop,
WoLLIC 2009, Tokyo, Japan, June 21-24, 2009. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {5514},
pages = {365--378},
publisher = {Springer},
year = {2009},
url = {https://doi.org/10.1007/978-3-642-02261-6\_29},
doi = {10.1007/978-3-642-02261-6\_29},
timestamp = {Sun, 25 Oct 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/wollic/Katsuhiko09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wollic/KontinenN09,
author = {Juha Kontinen and
Ville Nurmi},
editor = {Hiroakira Ono and
Makoto Kanazawa and
Ruy J. G. B. de Queiroz},
title = {Team Logic and Second-Order Logic},
booktitle = {Logic, Language, Information and Computation, 16th International Workshop,
WoLLIC 2009, Tokyo, Japan, June 21-24, 2009. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {5514},
pages = {230--241},
publisher = {Springer},
year = {2009},
url = {https://doi.org/10.1007/978-3-642-02261-6\_19},
doi = {10.1007/978-3-642-02261-6\_19},
timestamp = {Thu, 25 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/wollic/KontinenN09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wollic/LecomteQ09,
author = {Alain Lecomte and
Myriam Quatrini},
editor = {Hiroakira Ono and
Makoto Kanazawa and
Ruy J. G. B. de Queiroz},
title = {Ludics and Its Applications to Natural Language Semantics},
booktitle = {Logic, Language, Information and Computation, 16th International Workshop,
WoLLIC 2009, Tokyo, Japan, June 21-24, 2009. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {5514},
pages = {242--255},
publisher = {Springer},
year = {2009},
url = {https://doi.org/10.1007/978-3-642-02261-6\_20},
doi = {10.1007/978-3-642-02261-6\_20},
timestamp = {Thu, 25 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/wollic/LecomteQ09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wollic/Link09,
author = {Sebastian Link},
editor = {Hiroakira Ono and
Makoto Kanazawa and
Ruy J. G. B. de Queiroz},
title = {Spoilt for Choice: Full First-Order Hierarchical Decompositions},
booktitle = {Logic, Language, Information and Computation, 16th International Workshop,
WoLLIC 2009, Tokyo, Japan, June 21-24, 2009. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {5514},
pages = {256--267},
publisher = {Springer},
year = {2009},
url = {https://doi.org/10.1007/978-3-642-02261-6\_21},
doi = {10.1007/978-3-642-02261-6\_21},
timestamp = {Mon, 05 Jun 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/wollic/Link09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wollic/LutzW09,
author = {Carsten Lutz and
Frank Wolter},
editor = {Hiroakira Ono and
Makoto Kanazawa and
Ruy J. G. B. de Queiroz},
title = {Mathematical Logic for Life Science Ontologies},
booktitle = {Logic, Language, Information and Computation, 16th International Workshop,
WoLLIC 2009, Tokyo, Japan, June 21-24, 2009. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {5514},
pages = {37--47},
publisher = {Springer},
year = {2009},
url = {https://doi.org/10.1007/978-3-642-02261-6\_4},
doi = {10.1007/978-3-642-02261-6\_4},
timestamp = {Sun, 17 Dec 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/wollic/LutzW09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wollic/Maruyama09,
author = {Yoshihiro Maruyama},
editor = {Hiroakira Ono and
Makoto Kanazawa and
Ruy J. G. B. de Queiroz},
title = {A Duality for Algebras of Lattice-Valued Modal Logic},
booktitle = {Logic, Language, Information and Computation, 16th International Workshop,
WoLLIC 2009, Tokyo, Japan, June 21-24, 2009. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {5514},
pages = {281--295},
publisher = {Springer},
year = {2009},
url = {https://doi.org/10.1007/978-3-642-02261-6\_23},
doi = {10.1007/978-3-642-02261-6\_23},
timestamp = {Thu, 25 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/wollic/Maruyama09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wollic/MoreN09,
author = {Sara Miner More and
Pavel Naumov},
editor = {Hiroakira Ono and
Makoto Kanazawa and
Ruy J. G. B. de Queiroz},
title = {An Independence Relation for Sets of Secrets},
booktitle = {Logic, Language, Information and Computation, 16th International Workshop,
WoLLIC 2009, Tokyo, Japan, June 21-24, 2009. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {5514},
pages = {296--304},
publisher = {Springer},
year = {2009},
url = {https://doi.org/10.1007/978-3-642-02261-6\_24},
doi = {10.1007/978-3-642-02261-6\_24},
timestamp = {Fri, 09 Apr 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/wollic/MoreN09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wollic/NievesOZ09,
author = {Juan Carlos Nieves and
Mauricio Osorio and
Claudia Zepeda},
editor = {Hiroakira Ono and
Makoto Kanazawa and
Ruy J. G. B. de Queiroz},
title = {Expressing Extension-Based Semantics Based on Stratified Minimal Models},
booktitle = {Logic, Language, Information and Computation, 16th International Workshop,
WoLLIC 2009, Tokyo, Japan, June 21-24, 2009. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {5514},
pages = {305--319},
publisher = {Springer},
year = {2009},
url = {https://doi.org/10.1007/978-3-642-02261-6\_25},
doi = {10.1007/978-3-642-02261-6\_25},
timestamp = {Fri, 29 Sep 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/wollic/NievesOZ09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wollic/Postniece09,
author = {Linda Postniece},
editor = {Hiroakira Ono and
Makoto Kanazawa and
Ruy J. G. B. de Queiroz},
title = {Deep Inference in Bi-intuitionistic Logic},
booktitle = {Logic, Language, Information and Computation, 16th International Workshop,
WoLLIC 2009, Tokyo, Japan, June 21-24, 2009. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {5514},
pages = {320--334},
publisher = {Springer},
year = {2009},
url = {https://doi.org/10.1007/978-3-642-02261-6\_26},
doi = {10.1007/978-3-642-02261-6\_26},
timestamp = {Thu, 25 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/wollic/Postniece09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wollic/PrisacariuS09,
author = {Cristian Prisacariu and
Gerardo Schneider},
editor = {Hiroakira Ono and
Makoto Kanazawa and
Ruy J. G. B. de Queiroz},
title = {: An Action-Based Logic for Reasoning about Contracts},
booktitle = {Logic, Language, Information and Computation, 16th International Workshop,
WoLLIC 2009, Tokyo, Japan, June 21-24, 2009. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {5514},
pages = {335--349},
publisher = {Springer},
year = {2009},
url = {https://doi.org/10.1007/978-3-642-02261-6\_27},
doi = {10.1007/978-3-642-02261-6\_27},
timestamp = {Sat, 09 Apr 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/wollic/PrisacariuS09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wollic/Rossman09,
author = {Benjamin Rossman},
editor = {Hiroakira Ono and
Makoto Kanazawa and
Ruy J. G. B. de Queiroz},
title = {Ehrenfeucht-Fra{\"{\i}}ss{\'{e}} Games on Random Structures},
booktitle = {Logic, Language, Information and Computation, 16th International Workshop,
WoLLIC 2009, Tokyo, Japan, June 21-24, 2009. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {5514},
pages = {350--364},
publisher = {Springer},
year = {2009},
url = {https://doi.org/10.1007/978-3-642-02261-6\_28},
doi = {10.1007/978-3-642-02261-6\_28},
timestamp = {Thu, 25 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/wollic/Rossman09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wollic/Salvati09,
author = {Sylvain Salvati},
editor = {Hiroakira Ono and
Makoto Kanazawa and
Ruy J. G. B. de Queiroz},
title = {Recognizability in the Simply Typed Lambda-Calculus},
booktitle = {Logic, Language, Information and Computation, 16th International Workshop,
WoLLIC 2009, Tokyo, Japan, June 21-24, 2009. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {5514},
pages = {48--60},
publisher = {Springer},
year = {2009},
url = {https://doi.org/10.1007/978-3-642-02261-6\_5},
doi = {10.1007/978-3-642-02261-6\_5},
timestamp = {Thu, 25 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/wollic/Salvati09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wollic/Sato09,
author = {Taisuke Sato},
editor = {Hiroakira Ono and
Makoto Kanazawa and
Ruy J. G. B. de Queiroz},
title = {Logic-Based Probabilistic Modeling},
booktitle = {Logic, Language, Information and Computation, 16th International Workshop,
WoLLIC 2009, Tokyo, Japan, June 21-24, 2009. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {5514},
pages = {61--71},
publisher = {Springer},
year = {2009},
url = {https://doi.org/10.1007/978-3-642-02261-6\_6},
doi = {10.1007/978-3-642-02261-6\_6},
timestamp = {Fri, 02 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/wollic/Sato09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wollic/VizzottoBS09,
author = {Juliana Kaizer Vizzotto and
Andr{\'{e}} Rauber Du Bois and
Amr Sabry},
editor = {Hiroakira Ono and
Makoto Kanazawa and
Ruy J. G. B. de Queiroz},
title = {The Arrow Calculus as a Quantum Programming Language},
booktitle = {Logic, Language, Information and Computation, 16th International Workshop,
WoLLIC 2009, Tokyo, Japan, June 21-24, 2009. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {5514},
pages = {379--393},
publisher = {Springer},
year = {2009},
url = {https://doi.org/10.1007/978-3-642-02261-6\_30},
doi = {10.1007/978-3-642-02261-6\_30},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/wollic/VizzottoBS09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wollic/Wang09,
author = {Ren{-}June Wang},
editor = {Hiroakira Ono and
Makoto Kanazawa and
Ruy J. G. B. de Queiroz},
title = {Knowledge, Time, and Logical Omniscience},
booktitle = {Logic, Language, Information and Computation, 16th International Workshop,
WoLLIC 2009, Tokyo, Japan, June 21-24, 2009. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {5514},
pages = {394--407},
publisher = {Springer},
year = {2009},
url = {https://doi.org/10.1007/978-3-642-02261-6\_31},
doi = {10.1007/978-3-642-02261-6\_31},
timestamp = {Thu, 25 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/wollic/Wang09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/wollic/2009,
editor = {Hiroakira Ono and
Makoto Kanazawa and
Ruy J. G. B. de Queiroz},
title = {Logic, Language, Information and Computation, 16th International Workshop,
WoLLIC 2009, Tokyo, Japan, June 21-24, 2009. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {5514},
publisher = {Springer},
year = {2009},
url = {https://doi.org/10.1007/978-3-642-02261-6},
doi = {10.1007/978-3-642-02261-6},
isbn = {978-3-642-02260-9},
timestamp = {Tue, 14 May 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/wollic/2009.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-05-24 07:15 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:
