default search action
Search dblp for Publications
export results for "toc:db/journals/entcs/entcs143.bht:"
@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} }
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.