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/journals/entcs/entcs143.bht:"
download as .bib file
@proceedings{DBLP:conf/wollic/2005,
editor = {Ruy J. G. B. de Queiroz and
Angus Macintyre and
Guilherme Bittencourt},
title = {Proceedings of the 12th Workshop on Logic, Language, Information and
Computation, WoLLIC 2005, Florian{\'{o}}polis, Santa Catarina,
Brazil, July 19-22, 2005},
series = {Electronic Notes in Theoretical Computer Science},
volume = {143},
publisher = {Elsevier},
year = {2006},
url = {https://www.sciencedirect.com/journal/electronic-notes-in-theoretical-computer-science/vol/143/suppl/C},
timestamp = {Mon, 05 Dec 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/wollic/2005.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/BedregalC06,
author = {Benjam{\'{\i}}n Ren{\'{e}} Callejas Bedregal and
Anderson Paiva Cruz},
editor = {Ruy J. G. B. de Queiroz and
Angus Macintyre and
Guilherme Bittencourt},
title = {Propositional Logic as a Propositional Fuzzy Logic},
booktitle = {Proceedings of the 12th Workshop on Logic, Language, Information and
Computation, WoLLIC 2005, Florian{\'{o}}polis, Santa Catarina,
Brazil, July 19-22, 2005},
series = {Electronic Notes in Theoretical Computer Science},
volume = {143},
pages = {5--12},
publisher = {Elsevier},
year = {2005},
url = {https://doi.org/10.1016/j.entcs.2005.05.023},
doi = {10.1016/J.ENTCS.2005.05.023},
timestamp = {Mon, 05 Dec 2022 16:35:24 +0100},
biburl = {https://dblp.org/rec/journals/entcs/BedregalC06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/DOttavianoC06,
author = {Itala M. Loffredo D'Ottaviano and
Milton Augustinis De Castro},
editor = {Ruy J. G. B. de Queiroz and
Angus Macintyre and
Guilherme Bittencourt},
title = {Analytical Tableaux for da Costa's Hierarchy of Paraconsistent Logics},
booktitle = {Proceedings of the 12th Workshop on Logic, Language, Information and
Computation, WoLLIC 2005, Florian{\'{o}}polis, Santa Catarina,
Brazil, July 19-22, 2005},
series = {Electronic Notes in Theoretical Computer Science},
volume = {143},
pages = {27--44},
publisher = {Elsevier},
year = {2005},
url = {https://doi.org/10.1016/j.entcs.2005.06.033},
doi = {10.1016/J.ENTCS.2005.06.033},
timestamp = {Mon, 05 Dec 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/entcs/DOttavianoC06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/DawarRR06,
author = {Anuj Dawar and
David Richerby and
Benjamin Rossman},
editor = {Ruy J. G. B. de Queiroz and
Angus Macintyre and
Guilherme Bittencourt},
title = {Choiceless Polynomial Time, Counting and the Cai-F{\"{u}}rer-Immerman
Graphs: (Extended Abstract)},
booktitle = {Proceedings of the 12th Workshop on Logic, Language, Information and
Computation, WoLLIC 2005, Florian{\'{o}}polis, Santa Catarina,
Brazil, July 19-22, 2005},
series = {Electronic Notes in Theoretical Computer Science},
volume = {143},
pages = {13--26},
publisher = {Elsevier},
year = {2005},
url = {https://doi.org/10.1016/j.entcs.2005.05.024},
doi = {10.1016/J.ENTCS.2005.05.024},
timestamp = {Mon, 05 Dec 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/entcs/DawarRR06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/FigueiraNS06,
author = {Santiago Figueira and
Andr{\'{e}} Nies and
Frank Stephan},
editor = {Ruy J. G. B. de Queiroz and
Angus Macintyre and
Guilherme Bittencourt},
title = {Lowness Properties and Approximations of the Jump},
booktitle = {Proceedings of the 12th Workshop on Logic, Language, Information and
Computation, WoLLIC 2005, Florian{\'{o}}polis, Santa Catarina,
Brazil, July 19-22, 2005},
series = {Electronic Notes in Theoretical Computer Science},
volume = {143},
pages = {45--57},
publisher = {Elsevier},
year = {2005},
url = {https://doi.org/10.1016/j.entcs.2005.05.025},
doi = {10.1016/J.ENTCS.2005.05.025},
timestamp = {Mon, 05 Dec 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/entcs/FigueiraNS06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/Fitting06,
author = {Melvin Fitting},
editor = {Ruy J. G. B. de Queiroz and
Angus Macintyre and
Guilherme Bittencourt},
title = {A Quantified Logic of Evidence},
booktitle = {Proceedings of the 12th Workshop on Logic, Language, Information and
Computation, WoLLIC 2005, Florian{\'{o}}polis, Santa Catarina,
Brazil, July 19-22, 2005},
series = {Electronic Notes in Theoretical Computer Science},
volume = {143},
pages = {59--71},
publisher = {Elsevier},
year = {2005},
url = {https://doi.org/10.1016/j.entcs.2005.04.038},
doi = {10.1016/J.ENTCS.2005.04.038},
timestamp = {Mon, 05 Dec 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/entcs/Fitting06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/HartmannL06,
author = {Sven Hartmann and
Sebastian Link},
editor = {Ruy J. G. B. de Queiroz and
Angus Macintyre and
Guilherme Bittencourt},
title = {An Equivalence between Dependencies in Nested Databases and a Fragment
of Propositional Logic},
booktitle = {Proceedings of the 12th Workshop on Logic, Language, Information and
Computation, WoLLIC 2005, Florian{\'{o}}polis, Santa Catarina,
Brazil, July 19-22, 2005},
series = {Electronic Notes in Theoretical Computer Science},
volume = {143},
pages = {73--85},
publisher = {Elsevier},
year = {2005},
url = {https://doi.org/10.1016/j.entcs.2005.04.039},
doi = {10.1016/J.ENTCS.2005.04.039},
timestamp = {Mon, 05 Dec 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/entcs/HartmannL06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/Kahramanogullari06,
author = {Ozan Kahramanogullari},
editor = {Ruy J. G. B. de Queiroz and
Angus Macintyre and
Guilherme Bittencourt},
title = {System {BV} is NP-complete},
booktitle = {Proceedings of the 12th Workshop on Logic, Language, Information and
Computation, WoLLIC 2005, Florian{\'{o}}polis, Santa Catarina,
Brazil, July 19-22, 2005},
series = {Electronic Notes in Theoretical Computer Science},
volume = {143},
pages = {87--99},
publisher = {Elsevier},
year = {2005},
url = {https://doi.org/10.1016/j.entcs.2005.05.026},
doi = {10.1016/J.ENTCS.2005.05.026},
timestamp = {Mon, 05 Dec 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/entcs/Kahramanogullari06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/LassaigneP06,
author = {Richard Lassaigne and
Sylvain Peyronnet},
editor = {Ruy J. G. B. de Queiroz and
Angus Macintyre and
Guilherme Bittencourt},
title = {Probabilistic Verification and Approximation},
booktitle = {Proceedings of the 12th Workshop on Logic, Language, Information and
Computation, WoLLIC 2005, Florian{\'{o}}polis, Santa Catarina,
Brazil, July 19-22, 2005},
series = {Electronic Notes in Theoretical Computer Science},
volume = {143},
pages = {101--114},
publisher = {Elsevier},
year = {2005},
url = {https://doi.org/10.1016/j.entcs.2005.05.031},
doi = {10.1016/J.ENTCS.2005.05.031},
timestamp = {Mon, 05 Dec 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/entcs/LassaigneP06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/Libkin06,
author = {Leonid Libkin},
editor = {Ruy J. G. B. de Queiroz and
Angus Macintyre and
Guilherme Bittencourt},
title = {Locality of Queries and Transformations},
booktitle = {Proceedings of the 12th Workshop on Logic, Language, Information and
Computation, WoLLIC 2005, Florian{\'{o}}polis, Santa Catarina,
Brazil, July 19-22, 2005},
series = {Electronic Notes in Theoretical Computer Science},
volume = {143},
pages = {115--127},
publisher = {Elsevier},
year = {2005},
url = {https://doi.org/10.1016/j.entcs.2005.04.041},
doi = {10.1016/J.ENTCS.2005.04.041},
timestamp = {Mon, 05 Dec 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/entcs/Libkin06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/MartinsM06,
author = {Ana Teresa C. Martins and
L{\'{\i}}lia Ramalho Martins},
editor = {Ruy J. G. B. de Queiroz and
Angus Macintyre and
Guilherme Bittencourt},
title = {Natural Deduction for Full {S5} Modal Logic with Weak Normalization},
booktitle = {Proceedings of the 12th Workshop on Logic, Language, Information and
Computation, WoLLIC 2005, Florian{\'{o}}polis, Santa Catarina,
Brazil, July 19-22, 2005},
series = {Electronic Notes in Theoretical Computer Science},
volume = {143},
pages = {129--140},
publisher = {Elsevier},
year = {2005},
url = {https://doi.org/10.1016/j.entcs.2005.05.027},
doi = {10.1016/J.ENTCS.2005.05.027},
timestamp = {Mon, 05 Dec 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/entcs/MartinsM06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/McGinnis06,
author = {Casey McGinnis},
editor = {Ruy J. G. B. de Queiroz and
Angus Macintyre and
Guilherme Bittencourt},
title = {Tableau Systems for Some Paraconsistent Modal Logics},
booktitle = {Proceedings of the 12th Workshop on Logic, Language, Information and
Computation, WoLLIC 2005, Florian{\'{o}}polis, Santa Catarina,
Brazil, July 19-22, 2005},
series = {Electronic Notes in Theoretical Computer Science},
volume = {143},
pages = {141--157},
publisher = {Elsevier},
year = {2005},
url = {https://doi.org/10.1016/j.entcs.2005.05.028},
doi = {10.1016/J.ENTCS.2005.05.028},
timestamp = {Mon, 05 Dec 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/entcs/McGinnis06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/Mints06,
author = {Grigori Mints},
editor = {Ruy J. G. B. de Queiroz and
Angus Macintyre and
Guilherme Bittencourt},
title = {Cut Elimination for a Simple Formulation of \emph{PA}epsilon},
booktitle = {Proceedings of the 12th Workshop on Logic, Language, Information and
Computation, WoLLIC 2005, Florian{\'{o}}polis, Santa Catarina,
Brazil, July 19-22, 2005},
series = {Electronic Notes in Theoretical Computer Science},
volume = {143},
pages = {159--169},
publisher = {Elsevier},
year = {2005},
url = {https://doi.org/10.1016/j.entcs.2005.07.013},
doi = {10.1016/J.ENTCS.2005.07.013},
timestamp = {Mon, 05 Dec 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/entcs/Mints06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/QueirozMB06,
author = {Ruy J. G. B. de Queiroz and
Angus Macintyre and
Guilherme Bittencourt},
editor = {Ruy J. G. B. de Queiroz and
Angus Macintyre and
Guilherme Bittencourt},
title = {Preface},
booktitle = {Proceedings of the 12th Workshop on Logic, Language, Information and
Computation, WoLLIC 2005, Florian{\'{o}}polis, Santa Catarina,
Brazil, July 19-22, 2005},
series = {Electronic Notes in Theoretical Computer Science},
volume = {143},
pages = {1--4},
publisher = {Elsevier},
year = {2005},
url = {https://doi.org/10.1016/j.entcs.2005.06.032},
doi = {10.1016/J.ENTCS.2005.06.032},
timestamp = {Mon, 05 Dec 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/entcs/QueirozMB06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/RabelloF06,
author = {Guilherme de Souza Rabello and
Marcelo Finger},
editor = {Ruy J. G. B. de Queiroz and
Angus Macintyre and
Guilherme Bittencourt},
title = {Approximations of Modal Logic {K}},
booktitle = {Proceedings of the 12th Workshop on Logic, Language, Information and
Computation, WoLLIC 2005, Florian{\'{o}}polis, Santa Catarina,
Brazil, July 19-22, 2005},
series = {Electronic Notes in Theoretical Computer Science},
volume = {143},
pages = {171--184},
publisher = {Elsevier},
year = {2005},
url = {https://doi.org/10.1016/j.entcs.2005.04.040},
doi = {10.1016/J.ENTCS.2005.04.040},
timestamp = {Mon, 05 Dec 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/entcs/RabelloF06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/Scanlon06,
author = {Thomas Scanlon},
editor = {Ruy J. G. B. de Queiroz and
Angus Macintyre and
Guilherme Bittencourt},
title = {Nonstandard Meromorphic Groups},
booktitle = {Proceedings of the 12th Workshop on Logic, Language, Information and
Computation, WoLLIC 2005, Florian{\'{o}}polis, Santa Catarina,
Brazil, July 19-22, 2005},
series = {Electronic Notes in Theoretical Computer Science},
volume = {143},
pages = {185--196},
publisher = {Elsevier},
year = {2005},
url = {https://doi.org/10.1016/j.entcs.2005.05.029},
doi = {10.1016/J.ENTCS.2005.05.029},
timestamp = {Mon, 05 Dec 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/entcs/Scanlon06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/SpencerJ06,
author = {Joel H. Spencer and
Katherine St. John},
editor = {Ruy J. G. B. de Queiroz and
Angus Macintyre and
Guilherme Bittencourt},
title = {The Complexity of Random Ordered Structures},
booktitle = {Proceedings of the 12th Workshop on Logic, Language, Information and
Computation, WoLLIC 2005, Florian{\'{o}}polis, Santa Catarina,
Brazil, July 19-22, 2005},
series = {Electronic Notes in Theoretical Computer Science},
volume = {143},
pages = {197--206},
publisher = {Elsevier},
year = {2005},
url = {https://doi.org/10.1016/j.entcs.2005.05.030},
doi = {10.1016/J.ENTCS.2005.05.030},
timestamp = {Mon, 05 Dec 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/entcs/SpencerJ06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/Xi06,
author = {Hongwei Xi},
editor = {Ruy J. G. B. de Queiroz and
Angus Macintyre and
Guilherme Bittencourt},
title = {Development Separation in Lambda-Calculus},
booktitle = {Proceedings of the 12th Workshop on Logic, Language, Information and
Computation, WoLLIC 2005, Florian{\'{o}}polis, Santa Catarina,
Brazil, July 19-22, 2005},
series = {Electronic Notes in Theoretical Computer Science},
volume = {143},
pages = {207--221},
publisher = {Elsevier},
year = {2005},
url = {https://doi.org/10.1016/j.entcs.2005.07.014},
doi = {10.1016/J.ENTCS.2005.07.014},
timestamp = {Mon, 05 Dec 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/entcs/Xi06.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-09-09 17:25 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:
