default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDSearch dblp for Publications
export results for "toc:db/journals/logcom/logcom15.bht:"
download as .bib file
@article{DBLP:journals/logcom/AdianBB05,
author = {Sergei I. Adian and
Matthias Baaz and
Lev D. Beklemishev},
title = {Editorial},
journal = {J. Log. Comput.},
volume = {15},
number = {4},
pages = {409},
year = {2005},
url = {https://doi.org/10.1093/logcom/exi036},
doi = {10.1093/LOGCOM/EXI036},
timestamp = {Wed, 14 Jun 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/logcom/AdianBB05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/logcom/AndersonP05,
author = {Michael L. Anderson and
Donald Perlis},
title = {Logic, Self-awareness and Self-improvement: the Metacognitive Loop
and the Problem of Brittleness},
journal = {J. Log. Comput.},
volume = {15},
number = {1},
pages = {21--40},
year = {2005},
url = {https://doi.org/10.1093/logcom/exh034},
doi = {10.1093/LOGCOM/EXH034},
timestamp = {Wed, 14 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/logcom/AndersonP05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/logcom/ArtemovN05,
author = {Sergei N. Art{\"{e}}mov and
Elena Nogina},
title = {Introducing Justification into Epistemic Logic},
journal = {J. Log. Comput.},
volume = {15},
number = {6},
pages = {1059--1073},
year = {2005},
url = {https://doi.org/10.1093/logcom/exi053},
doi = {10.1093/LOGCOM/EXI053},
timestamp = {Wed, 17 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/logcom/ArtemovN05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/logcom/AvronL05,
author = {Arnon Avron and
Iddo Lev},
title = {Non-deterministic Multiple-valued Structures},
journal = {J. Log. Comput.},
volume = {15},
number = {3},
pages = {241--261},
year = {2005},
url = {https://doi.org/10.1093/logcom/exi001},
doi = {10.1093/LOGCOM/EXI001},
timestamp = {Wed, 17 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/logcom/AvronL05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/logcom/Beckmann05,
author = {Arnold Beckmann},
title = {Uniform Proof Complexity},
journal = {J. Log. Comput.},
volume = {15},
number = {4},
pages = {433--446},
year = {2005},
url = {https://doi.org/10.1093/logcom/exi035},
doi = {10.1093/LOGCOM/EXI035},
timestamp = {Tue, 06 Jun 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/logcom/Beckmann05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/logcom/BeklemishevJV05,
author = {Lev D. Beklemishev and
Joost J. Joosten and
Marco Vervoort},
title = {A Finitary Treatment of the Closed Fragment of Japaridze's Provability
Logic},
journal = {J. Log. Comput.},
volume = {15},
number = {4},
pages = {447--463},
year = {2005},
url = {https://doi.org/10.1093/logcom/exi038},
doi = {10.1093/LOGCOM/EXI038},
timestamp = {Mon, 28 Aug 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/logcom/BeklemishevJV05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/logcom/Ben-Naim05,
author = {Jonathan Ben{-}Naim},
title = {Preferential and Preferential-discriminative Consequence Relations},
journal = {J. Log. Comput.},
volume = {15},
number = {3},
pages = {263--294},
year = {2005},
url = {https://doi.org/10.1093/logcom/exi013},
doi = {10.1093/LOGCOM/EXI013},
timestamp = {Wed, 17 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/logcom/Ben-Naim05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/logcom/Ben-Naim05a,
author = {Jonathan Ben{-}Naim},
title = {Pivotal and Pivotal-discriminative Consequence Relations},
journal = {J. Log. Comput.},
volume = {15},
number = {5},
pages = {679--700},
year = {2005},
url = {https://doi.org/10.1093/logcom/exi030},
doi = {10.1093/LOGCOM/EXI030},
timestamp = {Wed, 17 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/logcom/Ben-Naim05a.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/logcom/Bench-CaponAC05,
author = {Trevor J. M. Bench{-}Capon and
Katie Atkinson and
Alison Chorley},
title = {Persuasion and Value in Legal Argument},
journal = {J. Log. Comput.},
volume = {15},
number = {6},
pages = {1075--1097},
year = {2005},
url = {https://doi.org/10.1093/logcom/exi058},
doi = {10.1093/LOGCOM/EXI058},
timestamp = {Wed, 14 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/logcom/Bench-CaponAC05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/logcom/BluemnsathK05,
author = {Achim Blumensath and
Stephan Kreutzer},
title = {An Extension of Muchnik's Theorem},
journal = {J. Log. Comput.},
volume = {15},
number = {1},
pages = {59--74},
year = {2005},
url = {https://doi.org/10.1093/logcom/exh037},
doi = {10.1093/LOGCOM/EXH037},
timestamp = {Wed, 17 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/logcom/BluemnsathK05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/logcom/BonelliKR05,
author = {Eduardo Bonelli and
Delia Kesner and
Alejandro R{\'{\i}}os},
title = {de Bruijn Indices for Metaterms},
journal = {J. Log. Comput.},
volume = {15},
number = {6},
pages = {855--899},
year = {2005},
url = {https://doi.org/10.1093/logcom/exi051},
doi = {10.1093/LOGCOM/EXI051},
timestamp = {Wed, 28 Jun 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/logcom/BonelliKR05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/logcom/BonelliKR05a,
author = {Eduardo Bonelli and
Delia Kesner and
Alejandro R{\'{\i}}os},
title = {Relating Higher-order and First-order Rewriting},
journal = {J. Log. Comput.},
volume = {15},
number = {6},
pages = {901--947},
year = {2005},
url = {https://doi.org/10.1093/logcom/exi050},
doi = {10.1093/LOGCOM/EXI050},
timestamp = {Wed, 28 Jun 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/logcom/BonelliKR05a.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/logcom/BournezCNM05,
author = {Olivier Bournez and
Felipe Cucker and
Paulin Jacob{\'{e}} de Naurois and
Jean{-}Yves Marion},
title = {Implicit Complexity over an Arbitrary Structure: Sequential and Parallel
Polynomial Time},
journal = {J. Log. Comput.},
volume = {15},
number = {1},
pages = {41--58},
year = {2005},
url = {https://doi.org/10.1093/logcom/exh036},
doi = {10.1093/LOGCOM/EXH036},
timestamp = {Wed, 14 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/logcom/BournezCNM05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/logcom/BrodaD05,
author = {Sabine Broda and
Lu{\'{\i}}s Damas},
title = {On Long Normal Inhabitants of a Type},
journal = {J. Log. Comput.},
volume = {15},
number = {3},
pages = {353--390},
year = {2005},
url = {https://doi.org/10.1093/logcom/exi016},
doi = {10.1093/LOGCOM/EXI016},
timestamp = {Tue, 06 Jun 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/logcom/BrodaD05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/logcom/ChakiCJV05,
author = {Sagar Chaki and
Edmund M. Clarke and
Somesh Jha and
Helmut Veith},
title = {An Iterative Framework for Simulation Conformance},
journal = {J. Log. Comput.},
volume = {15},
number = {4},
pages = {465--488},
year = {2005},
url = {https://doi.org/10.1093/logcom/exi028},
doi = {10.1093/LOGCOM/EXI028},
timestamp = {Wed, 17 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/logcom/ChakiCJV05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/logcom/ClarkHM05,
author = {David Clark and
Sebastian Hunt and
Pasquale Malacaria},
title = {Quantitative Information Flow, Relations and Polymorphic Types},
journal = {J. Log. Comput.},
volume = {15},
number = {2},
pages = {181--199},
year = {2005},
url = {https://doi.org/10.1093/logcom/exi009},
doi = {10.1093/LOGCOM/EXI009},
timestamp = {Thu, 29 Dec 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/logcom/ClarkHM05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/logcom/Cooper05,
author = {Robin Cooper},
title = {Records and Record Types in Semantic Theory},
journal = {J. Log. Comput.},
volume = {15},
number = {2},
pages = {99--112},
year = {2005},
url = {https://doi.org/10.1093/logcom/exi004},
doi = {10.1093/LOGCOM/EXI004},
timestamp = {Wed, 17 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/logcom/Cooper05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/logcom/DavisM05,
author = {Ernest Davis and
Leora Morgenstern},
title = {A First-order Theory of Communication and Multi-agent Plans},
journal = {J. Log. Comput.},
volume = {15},
number = {5},
pages = {701--749},
year = {2005},
url = {https://doi.org/10.1093/logcom/exi027},
doi = {10.1093/LOGCOM/EXI027},
timestamp = {Wed, 17 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/logcom/DavisM05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/logcom/DeMarcoL05,
author = {Mary DeMarco and
James Lipton},
title = {Completeness and Cut-elimination in the Intuitionistic Theory of Types},
journal = {J. Log. Comput.},
volume = {15},
number = {6},
pages = {821--854},
year = {2005},
url = {https://doi.org/10.1093/logcom/exi055},
doi = {10.1093/LOGCOM/EXI055},
timestamp = {Wed, 17 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/logcom/DeMarcoL05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/logcom/DelgrandeS05,
author = {James P. Delgrande and
Torsten Schaub},
title = {Expressing Default Logic Variants in Default Logic},
journal = {J. Log. Comput.},
volume = {15},
number = {5},
pages = {593--621},
year = {2005},
url = {https://doi.org/10.1093/logcom/exi021},
doi = {10.1093/LOGCOM/EXI021},
timestamp = {Wed, 17 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/logcom/DelgrandeS05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/logcom/Demri05,
author = {St{\'{e}}phane Demri},
title = {A Reduction from {DLP} to {PDL}},
journal = {J. Log. Comput.},
volume = {15},
number = {5},
pages = {767--785},
year = {2005},
url = {https://doi.org/10.1093/logcom/exi043},
doi = {10.1093/LOGCOM/EXI043},
timestamp = {Wed, 17 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/logcom/Demri05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/logcom/DeolalikarHS05,
author = {Vinay Deolalikar and
Joel David Hamkins and
Ralf Schindler},
title = {P != {NP} cap co-NP for Infinite Time Turing Machines},
journal = {J. Log. Comput.},
volume = {15},
number = {5},
pages = {577--592},
year = {2005},
url = {https://doi.org/10.1093/logcom/exi022},
doi = {10.1093/LOGCOM/EXI022},
timestamp = {Wed, 25 Sep 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/logcom/DeolalikarHS05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/logcom/Eijck05,
author = {Jan van Eijck},
title = {Normal Forms for Characteristic Functions on n-ary Relations},
journal = {J. Log. Comput.},
volume = {15},
number = {2},
pages = {85--98},
year = {2005},
url = {https://doi.org/10.1093/logcom/exi003},
doi = {10.1093/LOGCOM/EXI003},
timestamp = {Wed, 17 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/logcom/Eijck05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/logcom/FoxL05,
author = {Chris Fox and
Shalom Lappin},
title = {Underspecified Interpretations in a Curry-typed Representation Language},
journal = {J. Log. Comput.},
volume = {15},
number = {2},
pages = {131--143},
year = {2005},
url = {https://doi.org/10.1093/logcom/exi006},
doi = {10.1093/LOGCOM/EXI006},
timestamp = {Wed, 17 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/logcom/FoxL05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/logcom/GalindoPRM05,
author = {Mauricio Javier Osorio Galindo and
Juan Antonio Navarro P{\'{e}}rez and
Jos{\'{e}} R. Arrazola Ram{\'{\i}}rez and
Ver{\'{o}}nica Borja Mac{\'{\i}}as},
title = {Ground Nonmonotonic Modal Logic {S5:} New Results},
journal = {J. Log. Comput.},
volume = {15},
number = {5},
pages = {787--813},
year = {2005},
url = {https://doi.org/10.1093/logcom/exi042},
doi = {10.1093/LOGCOM/EXI042},
timestamp = {Sun, 06 Oct 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/logcom/GalindoPRM05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/logcom/GarcezGL05,
author = {Artur S. d'Avila Garcez and
Dov M. Gabbay and
Lu{\'{\i}}s C. Lamb},
title = {Value-based Argumentation Frameworks as Neural-symbolic Learning Systems},
journal = {J. Log. Comput.},
volume = {15},
number = {6},
pages = {1041--1058},
year = {2005},
url = {https://doi.org/10.1093/logcom/exi057},
doi = {10.1093/LOGCOM/EXI057},
timestamp = {Fri, 30 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/logcom/GarcezGL05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/logcom/Ginzburg05,
author = {Jonathan Ginzburg},
title = {Abstraction and Ontology: Questions as Propositional Abstracts in
Type Theory with Records},
journal = {J. Log. Comput.},
volume = {15},
number = {2},
pages = {113--130},
year = {2005},
url = {https://doi.org/10.1093/logcom/exi005},
doi = {10.1093/LOGCOM/EXI005},
timestamp = {Wed, 17 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/logcom/Ginzburg05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/logcom/Glashoff05,
author = {Klaus Glashoff},
title = {Aristotelian Syntax from a Computational-Combinatorial Point of View},
journal = {J. Log. Comput.},
volume = {15},
number = {6},
pages = {949--973},
year = {2005},
url = {https://doi.org/10.1093/logcom/exi048},
doi = {10.1093/LOGCOM/EXI048},
timestamp = {Sun, 02 Jun 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/logcom/Glashoff05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/logcom/Hitzler05,
author = {Pascal Hitzler},
title = {Towards a Systematic Account of Different Semantics for Logic Programs},
journal = {J. Log. Comput.},
volume = {15},
number = {3},
pages = {391--404},
year = {2005},
url = {https://doi.org/10.1093/logcom/exi018},
doi = {10.1093/LOGCOM/EXI018},
timestamp = {Wed, 17 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/logcom/Hitzler05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/logcom/Iemhoff05,
author = {Rosalie Iemhoff},
title = {A Note on Linear Kripke Models},
journal = {J. Log. Comput.},
volume = {15},
number = {4},
pages = {489--506},
year = {2005},
url = {https://doi.org/10.1093/logcom/exi031},
doi = {10.1093/LOGCOM/EXI031},
timestamp = {Wed, 17 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/logcom/Iemhoff05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/logcom/Jerabek05,
author = {Emil Jer{\'{a}}bek},
title = {Admissible Rules of Modal Logics},
journal = {J. Log. Comput.},
volume = {15},
number = {4},
pages = {411--431},
year = {2005},
url = {https://doi.org/10.1093/logcom/exi029},
doi = {10.1093/LOGCOM/EXI029},
timestamp = {Sun, 02 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/logcom/Jerabek05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/logcom/Kamide05,
author = {Norihiro Kamide},
title = {Linear Logics with Communication-merge},
journal = {J. Log. Comput.},
volume = {15},
number = {1},
pages = {3--20},
year = {2005},
url = {https://doi.org/10.1093/logcom/exh029},
doi = {10.1093/LOGCOM/EXH029},
timestamp = {Wed, 17 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/logcom/Kamide05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/logcom/Mackie05,
author = {Ian Mackie},
title = {Interaction Net Implementation of Additive and Multiplicative Structures},
journal = {J. Log. Comput.},
volume = {15},
number = {2},
pages = {219--237},
year = {2005},
url = {https://doi.org/10.1093/logcom/exi011},
doi = {10.1093/LOGCOM/EXI011},
timestamp = {Wed, 17 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/logcom/Mackie05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/logcom/Marti-OlietPFMM05,
author = {Narciso Mart{\'{\i}}{-}Oliet and
Isabel Pita and
Jos{\'{e}} Luiz Fiadeiro and
Jos{\'{e}} Meseguer and
T. S. E. Maibaum},
title = {A Verification Logic for Rewriting Logic},
journal = {J. Log. Comput.},
volume = {15},
number = {3},
pages = {317--352},
year = {2005},
url = {https://doi.org/10.1093/logcom/exi015},
doi = {10.1093/LOGCOM/EXI015},
timestamp = {Wed, 20 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/logcom/Marti-OlietPFMM05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/logcom/Overill05,
author = {Richard E. Overill},
title = {Review: Advances in Elliptic Curve Cryptography},
journal = {J. Log. Comput.},
volume = {15},
number = {5},
pages = {815},
year = {2005},
url = {https://doi.org/10.1093/logcom/exi047},
doi = {10.1093/LOGCOM/EXI047},
timestamp = {Wed, 17 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/logcom/Overill05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/logcom/Pauly05,
author = {Marc Pauly},
title = {Programming and Verifying Subgame-Perfect Mechanisms},
journal = {J. Log. Comput.},
volume = {15},
number = {3},
pages = {295--316},
year = {2005},
url = {https://doi.org/10.1093/logcom/exi014},
doi = {10.1093/LOGCOM/EXI014},
timestamp = {Wed, 17 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/logcom/Pauly05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/logcom/PierroHW05,
author = {Alessandra Di Pierro and
Chris Hankin and
Herbert Wiklicky},
title = {Probabilistic /lambda-calculus and Quantitative Program Analysis},
journal = {J. Log. Comput.},
volume = {15},
number = {2},
pages = {159--179},
year = {2005},
url = {https://doi.org/10.1093/logcom/exi008},
doi = {10.1093/LOGCOM/EXI008},
timestamp = {Sat, 09 Apr 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/logcom/PierroHW05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/logcom/Prakken05,
author = {Henry Prakken},
title = {Coherence and Flexibility in Dialogue Games for Argumentation},
journal = {J. Log. Comput.},
volume = {15},
number = {6},
pages = {1009--1040},
year = {2005},
url = {https://doi.org/10.1093/logcom/exi046},
doi = {10.1093/LOGCOM/EXI046},
timestamp = {Wed, 17 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/logcom/Prakken05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/logcom/Pym05,
author = {David J. Pym},
title = {Editorial},
journal = {J. Log. Comput.},
volume = {15},
number = {6},
pages = {819},
year = {2005},
url = {https://doi.org/10.1093/logcom/exh054},
doi = {10.1093/LOGCOM/EXH054},
timestamp = {Wed, 17 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/logcom/Pym05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/logcom/Rybakov05,
author = {Vladimir V. Rybakov},
title = {Logical Consecutions in Intransitive Temporal Linear Logic of Finite
Intervals},
journal = {J. Log. Comput.},
volume = {15},
number = {5},
pages = {663--678},
year = {2005},
url = {https://doi.org/10.1093/logcom/exi025},
doi = {10.1093/LOGCOM/EXI025},
timestamp = {Fri, 30 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/logcom/Rybakov05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/logcom/SchallhartT05,
author = {Christian Schallhart and
Luca Trevisan},
title = {Approximating Succinct MaxSat},
journal = {J. Log. Comput.},
volume = {15},
number = {4},
pages = {551--557},
year = {2005},
url = {https://doi.org/10.1093/logcom/exi033},
doi = {10.1093/LOGCOM/EXI033},
timestamp = {Fri, 30 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/logcom/SchallhartT05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/logcom/ShapirovskyS05,
author = {Ilya Shapirovsky and
Valentin B. Shehtman},
title = {Modal Logics of Regions and Minkowski Spacetime},
journal = {J. Log. Comput.},
volume = {15},
number = {4},
pages = {559--574},
year = {2005},
url = {https://doi.org/10.1093/logcom/exi039},
doi = {10.1093/LOGCOM/EXI039},
timestamp = {Wed, 14 Jun 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/logcom/ShapirovskyS05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/logcom/Sinot05,
author = {Fran{\c{c}}ois{-}R{\'{e}}gis Sinot},
title = {Director Strings Revisited: {A} Generic Approach to the Efficient
Representation of Free Variables in Higher-order Rewriting},
journal = {J. Log. Comput.},
volume = {15},
number = {2},
pages = {201--218},
year = {2005},
url = {https://doi.org/10.1093/logcom/exi010},
doi = {10.1093/LOGCOM/EXI010},
timestamp = {Wed, 14 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/logcom/Sinot05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/logcom/StapletonHT05,
author = {Gem Stapleton and
John Howse and
John Taylor},
title = {A Decidable Constraint Diagram Reasoning System},
journal = {J. Log. Comput.},
volume = {15},
number = {6},
pages = {975--1008},
year = {2005},
url = {https://doi.org/10.1093/logcom/exi041},
doi = {10.1093/LOGCOM/EXI041},
timestamp = {Wed, 22 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/logcom/StapletonHT05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/logcom/Terwijn05,
author = {Sebastiaan Terwijn},
title = {Probabilistic Logic and Induction},
journal = {J. Log. Comput.},
volume = {15},
number = {4},
pages = {507--515},
year = {2005},
url = {https://doi.org/10.1093/logcom/exi032},
doi = {10.1093/LOGCOM/EXI032},
timestamp = {Wed, 17 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/logcom/Terwijn05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/logcom/Turner05,
author = {Raymond Turner},
title = {Semantics and Stratification},
journal = {J. Log. Comput.},
volume = {15},
number = {2},
pages = {145--158},
year = {2005},
url = {https://doi.org/10.1093/logcom/exi007},
doi = {10.1093/LOGCOM/EXI007},
timestamp = {Wed, 17 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/logcom/Turner05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/logcom/Turner05a,
author = {Raymond Turner},
title = {The Foundations of Specification},
journal = {J. Log. Comput.},
volume = {15},
number = {5},
pages = {623--662},
year = {2005},
url = {https://doi.org/10.1093/logcom/exi052},
doi = {10.1093/LOGCOM/EXI052},
timestamp = {Wed, 17 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/logcom/Turner05a.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/logcom/WestphalH05,
author = {Jonathan Westphal and
Jim Hardy},
title = {Logic as a Vector System},
journal = {J. Log. Comput.},
volume = {15},
number = {5},
pages = {751--765},
year = {2005},
url = {https://doi.org/10.1093/logcom/exi040},
doi = {10.1093/LOGCOM/EXI040},
timestamp = {Wed, 17 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/logcom/WestphalH05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/logcom/Yavorskaya05,
author = {Tatiana Yavorskaya},
title = {Negative Operations on Proofs and Labels},
journal = {J. Log. Comput.},
volume = {15},
number = {4},
pages = {517--537},
year = {2005},
url = {https://doi.org/10.1093/logcom/exi026},
doi = {10.1093/LOGCOM/EXI026},
timestamp = {Wed, 17 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/logcom/Yavorskaya05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/logcom/Yavorskiy05,
author = {Rostislav Yavorskiy},
title = {On Kripke-style Semantics for the Provability Logic of G{\"{o}}del's
Proof Predicate with Quantifiers on Proofs},
journal = {J. Log. Comput.},
volume = {15},
number = {4},
pages = {539--549},
year = {2005},
url = {https://doi.org/10.1093/logcom/exi037},
doi = {10.1093/LOGCOM/EXI037},
timestamp = {Wed, 17 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/logcom/Yavorskiy05.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.
retrieved on 2024-11-03 12:56 CET 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:
