Stop the war!
Остановите войну!
for scientists:
default search action
Search dblp for Publications
export results for "toc:db/journals/entcs/entcs165.bht:"
@inproceedings{DBLP:journals/entcs/BaltagS06a, author = {Alexandru Baltag and Sonja Smets}, editor = {Grigori Mints and Ruy J. G. B. de Queiroz}, title = {Conditional Doxastic Models: {A} Qualitative Approach to Dynamic Belief Revision}, booktitle = {Proceedings of the 13th Workshop on Logic, Language, Information and Computation, WoLLIC 2006, Stanford University, CA, USA, July 18-21, 2006}, series = {Electronic Notes in Theoretical Computer Science}, volume = {165}, pages = {5--21}, publisher = {Elsevier}, year = {2006}, url = {https://doi.org/10.1016/j.entcs.2006.05.034}, doi = {10.1016/J.ENTCS.2006.05.034}, timestamp = {Mon, 06 Nov 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/entcs/BaltagS06a.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:journals/entcs/CervesatoS06, author = {Iliano Cervesato and Andre Scedrov}, editor = {Grigori Mints and Ruy J. G. B. de Queiroz}, title = {Relating State-Based and Process-Based Concurrency through Linear Logic}, booktitle = {Proceedings of the 13th Workshop on Logic, Language, Information and Computation, WoLLIC 2006, Stanford University, CA, USA, July 18-21, 2006}, series = {Electronic Notes in Theoretical Computer Science}, volume = {165}, pages = {145--176}, publisher = {Elsevier}, year = {2006}, url = {https://doi.org/10.1016/j.entcs.2006.05.043}, doi = {10.1016/J.ENTCS.2006.05.043}, timestamp = {Mon, 06 Nov 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/entcs/CervesatoS06.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:journals/entcs/Fernando06, author = {Tim Fernando}, editor = {Grigori Mints and Ruy J. G. B. de Queiroz}, title = {Situations as Strings}, booktitle = {Proceedings of the 13th Workshop on Logic, Language, Information and Computation, WoLLIC 2006, Stanford University, CA, USA, July 18-21, 2006}, series = {Electronic Notes in Theoretical Computer Science}, volume = {165}, pages = {23--36}, publisher = {Elsevier}, year = {2006}, url = {https://doi.org/10.1016/j.entcs.2006.05.035}, doi = {10.1016/J.ENTCS.2006.05.035}, timestamp = {Mon, 06 Nov 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/entcs/Fernando06.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:journals/entcs/FreitasVVV06, author = {Renata P. de Freitas and Paulo A. S. Veloso and Sheila R. M. Veloso and Jorge Petrucio Viana}, editor = {Grigori Mints and Ruy J. G. B. de Queiroz}, title = {Reasoning with Graphs}, booktitle = {Proceedings of the 13th Workshop on Logic, Language, Information and Computation, WoLLIC 2006, Stanford University, CA, USA, July 18-21, 2006}, series = {Electronic Notes in Theoretical Computer Science}, volume = {165}, pages = {201--212}, publisher = {Elsevier}, year = {2006}, url = {https://doi.org/10.1016/j.entcs.2006.05.046}, doi = {10.1016/J.ENTCS.2006.05.046}, timestamp = {Mon, 06 Nov 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/entcs/FreitasVVV06.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:journals/entcs/Hughes06, author = {Dominic J. D. Hughes}, editor = {Grigori Mints and Ruy J. G. B. de Queiroz}, title = {Towards Hilbert's 24\({}^{\mbox{th}}\) Problem: Combinatorial Proof Invariants: (Preliminary version)}, booktitle = {Proceedings of the 13th Workshop on Logic, Language, Information and Computation, WoLLIC 2006, Stanford University, CA, USA, July 18-21, 2006}, series = {Electronic Notes in Theoretical Computer Science}, volume = {165}, pages = {37--63}, publisher = {Elsevier}, year = {2006}, url = {https://doi.org/10.1016/j.entcs.2006.05.036}, doi = {10.1016/J.ENTCS.2006.05.036}, timestamp = {Mon, 06 Nov 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/entcs/Hughes06.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:journals/entcs/Kanazawa06, author = {Makoto Kanazawa}, editor = {Grigori Mints and Ruy J. G. B. de Queiroz}, title = {Abstract Families of Abstract Categorial Languages}, booktitle = {Proceedings of the 13th Workshop on Logic, Language, Information and Computation, WoLLIC 2006, Stanford University, CA, USA, July 18-21, 2006}, series = {Electronic Notes in Theoretical Computer Science}, volume = {165}, pages = {65--80}, publisher = {Elsevier}, year = {2006}, url = {https://doi.org/10.1016/j.entcs.2006.05.037}, doi = {10.1016/J.ENTCS.2006.05.037}, timestamp = {Mon, 06 Nov 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/entcs/Kanazawa06.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:journals/entcs/Kohlenbach06, author = {Ulrich Kohlenbach}, editor = {Grigori Mints and Ruy J. G. B. de Queiroz}, title = {A Logical Uniform Boundedness Principle for Abstract Metric and Hyperbolic Spaces}, booktitle = {Proceedings of the 13th Workshop on Logic, Language, Information and Computation, WoLLIC 2006, Stanford University, CA, USA, July 18-21, 2006}, series = {Electronic Notes in Theoretical Computer Science}, volume = {165}, pages = {81--93}, publisher = {Elsevier}, year = {2006}, url = {https://doi.org/10.1016/j.entcs.2006.05.038}, doi = {10.1016/J.ENTCS.2006.05.038}, timestamp = {Mon, 06 Nov 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/entcs/Kohlenbach06.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:journals/entcs/Leustean06, author = {Laurentiu Leustean}, editor = {Grigori Mints and Ruy J. G. B. de Queiroz}, title = {Proof Mining in R-trees and Hyperbolic Spaces}, booktitle = {Proceedings of the 13th Workshop on Logic, Language, Information and Computation, WoLLIC 2006, Stanford University, CA, USA, July 18-21, 2006}, series = {Electronic Notes in Theoretical Computer Science}, volume = {165}, pages = {95--106}, publisher = {Elsevier}, year = {2006}, url = {https://doi.org/10.1016/j.entcs.2006.05.039}, doi = {10.1016/J.ENTCS.2006.05.039}, timestamp = {Mon, 06 Nov 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/entcs/Leustean06.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:journals/entcs/Maksimova06, author = {Larisa Maksimova}, editor = {Grigori Mints and Ruy J. G. B. de Queiroz}, title = {On Interpolation Problem in Paraconsistent Extensions of the Minimal Logic}, booktitle = {Proceedings of the 13th Workshop on Logic, Language, Information and Computation, WoLLIC 2006, Stanford University, CA, USA, July 18-21, 2006}, series = {Electronic Notes in Theoretical Computer Science}, volume = {165}, pages = {107--119}, publisher = {Elsevier}, year = {2006}, url = {https://doi.org/10.1016/j.entcs.2006.05.040}, doi = {10.1016/J.ENTCS.2006.05.040}, timestamp = {Mon, 06 Nov 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/entcs/Maksimova06.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:journals/entcs/MintsQ06, author = {Grigori Mints and Ruy J. G. B. de Queiroz}, editor = {Grigori Mints and Ruy J. G. B. de Queiroz}, title = {Preface}, booktitle = {Proceedings of the 13th Workshop on Logic, Language, Information and Computation, WoLLIC 2006, Stanford University, CA, USA, July 18-21, 2006}, series = {Electronic Notes in Theoretical Computer Science}, volume = {165}, pages = {1--3}, publisher = {Elsevier}, year = {2006}, url = {https://doi.org/10.1016/j.entcs.2006.07.021}, doi = {10.1016/J.ENTCS.2006.07.021}, timestamp = {Mon, 06 Nov 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/entcs/MintsQ06.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:journals/entcs/NoginK06, author = {Aleksey Nogin and Alexei Kopylov}, editor = {Grigori Mints and Ruy J. G. B. de Queiroz}, title = {Formalizing Type Operations Using the "Image" Type Constructor}, booktitle = {Proceedings of the 13th Workshop on Logic, Language, Information and Computation, WoLLIC 2006, Stanford University, CA, USA, July 18-21, 2006}, series = {Electronic Notes in Theoretical Computer Science}, volume = {165}, pages = {121--132}, publisher = {Elsevier}, year = {2006}, url = {https://doi.org/10.1016/j.entcs.2006.05.041}, doi = {10.1016/J.ENTCS.2006.05.041}, timestamp = {Mon, 06 Nov 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/entcs/NoginK06.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:journals/entcs/Renne06, author = {Bryan Renne}, editor = {Grigori Mints and Ruy J. G. B. de Queiroz}, title = {Propositional Games with Explicit Strategies}, booktitle = {Proceedings of the 13th Workshop on Logic, Language, Information and Computation, WoLLIC 2006, Stanford University, CA, USA, July 18-21, 2006}, series = {Electronic Notes in Theoretical Computer Science}, volume = {165}, pages = {133--144}, publisher = {Elsevier}, year = {2006}, url = {https://doi.org/10.1016/j.entcs.2006.05.042}, doi = {10.1016/J.ENTCS.2006.05.042}, timestamp = {Mon, 06 Nov 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/entcs/Renne06.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:journals/entcs/Suzuki06, author = {Yoshitaka Suzuki}, editor = {Grigori Mints and Ruy J. G. B. de Queiroz}, title = {Additive Consolidation with Maximal Change}, booktitle = {Proceedings of the 13th Workshop on Logic, Language, Information and Computation, WoLLIC 2006, Stanford University, CA, USA, July 18-21, 2006}, series = {Electronic Notes in Theoretical Computer Science}, volume = {165}, pages = {177--187}, publisher = {Elsevier}, year = {2006}, url = {https://doi.org/10.1016/j.entcs.2006.05.045}, doi = {10.1016/J.ENTCS.2006.05.045}, timestamp = {Mon, 06 Nov 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/entcs/Suzuki06.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:journals/entcs/TiedeK06, author = {Hans{-}J{\"{o}}rg Tiede and Stephan Kepser}, editor = {Grigori Mints and Ruy J. G. B. de Queiroz}, title = {Monadic Second-Order Logic and Transitive Closure Logics over Trees}, booktitle = {Proceedings of the 13th Workshop on Logic, Language, Information and Computation, WoLLIC 2006, Stanford University, CA, USA, July 18-21, 2006}, series = {Electronic Notes in Theoretical Computer Science}, volume = {165}, pages = {189--199}, publisher = {Elsevier}, year = {2006}, url = {https://doi.org/10.1016/j.entcs.2006.05.044}, doi = {10.1016/J.ENTCS.2006.05.044}, timestamp = {Mon, 06 Nov 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/entcs/TiedeK06.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:journals/entcs/Willard06, author = {Dan E. Willard}, editor = {Grigori Mints and Ruy J. G. B. de Queiroz}, title = {The Axiom System ISigma\({}_{\mbox{0}}\) Manages to Simultaneously Obey and Evade the Herbrandized Version of the Second Incompleteness Theorem}, booktitle = {Proceedings of the 13th Workshop on Logic, Language, Information and Computation, WoLLIC 2006, Stanford University, CA, USA, July 18-21, 2006}, series = {Electronic Notes in Theoretical Computer Science}, volume = {165}, pages = {213--226}, publisher = {Elsevier}, year = {2006}, url = {https://doi.org/10.1016/j.entcs.2006.05.047}, doi = {10.1016/J.ENTCS.2006.05.047}, timestamp = {Mon, 06 Nov 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/entcs/Willard06.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@proceedings{DBLP:conf/wollic/2006, editor = {Grigori Mints and Ruy J. G. B. de Queiroz}, title = {Proceedings of the 13th Workshop on Logic, Language, Information and Computation, WoLLIC 2006, Stanford University, CA, USA, July 18-21, 2006}, series = {Electronic Notes in Theoretical Computer Science}, volume = {165}, publisher = {Elsevier}, year = {2006}, url = {https://www.sciencedirect.com/journal/electronic-notes-in-theoretical-computer-science/vol/165/suppl/C}, timestamp = {Fri, 20 Jan 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/wollic/2006.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.