default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDSearch dblp for Publications
export results for "toc:db/journals/logcom/logcom11.bht:"
download as .bib file
@article{DBLP:journals/logcom/ArecesB01,
author = {Carlos Areces and
Patrick Blackburn},
title = {Bringing them all Together},
journal = {J. Log. Comput.},
volume = {11},
number = {5},
pages = {657--669},
year = {2001},
url = {https://doi.org/10.1093/logcom/11.5.657},
doi = {10.1093/LOGCOM/11.5.657},
timestamp = {Sun, 04 Aug 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/logcom/ArecesB01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/logcom/ArecesRN01,
author = {Carlos Areces and
Maarten de Rijke and
Hans de Nivelle},
title = {Resolution in Modal, Description and Hybrid Logic},
journal = {J. Log. Comput.},
volume = {11},
number = {5},
pages = {717--736},
year = {2001},
url = {https://doi.org/10.1093/logcom/11.5.717},
doi = {10.1093/LOGCOM/11.5.717},
timestamp = {Sun, 04 Aug 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/logcom/ArecesRN01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/logcom/Brewka01,
author = {Gerhard Brewka},
title = {Dynamic Argument Systems: {A} Formal Model of Argumentation Processes
Based on Situation Calculus},
journal = {J. Log. Comput.},
volume = {11},
number = {2},
pages = {257--282},
year = {2001},
url = {https://doi.org/10.1093/logcom/11.2.257},
doi = {10.1093/LOGCOM/11.2.257},
timestamp = {Wed, 17 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/logcom/Brewka01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/logcom/Ciabattoni01,
author = {Agata Ciabattoni},
title = {Hypersequent Calculi for some Intermediate Logics with Bounded Kripke
Models},
journal = {J. Log. Comput.},
volume = {11},
number = {2},
pages = {283--294},
year = {2001},
url = {https://doi.org/10.1093/logcom/11.2.283},
doi = {10.1093/LOGCOM/11.2.283},
timestamp = {Mon, 26 Oct 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/logcom/Ciabattoni01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/logcom/Coste-MarquisM01,
author = {Sylvie Coste{-}Marquis and
Pierre Marquis},
title = {Knowledge Compilation for Closed World Reasoning and Circumscription},
journal = {J. Log. Comput.},
volume = {11},
number = {4},
pages = {579--607},
year = {2001},
url = {https://doi.org/10.1093/logcom/11.4.579},
doi = {10.1093/LOGCOM/11.4.579},
timestamp = {Tue, 06 Jun 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/logcom/Coste-MarquisM01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/logcom/Demri01,
author = {St{\'{e}}phane Demri},
title = {The Complexity of Regularity in Grammar Logics and Related Modal Logics},
journal = {J. Log. Comput.},
volume = {11},
number = {6},
pages = {933--960},
year = {2001},
url = {https://doi.org/10.1093/logcom/11.6.933},
doi = {10.1093/LOGCOM/11.6.933},
timestamp = {Wed, 17 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/logcom/Demri01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/logcom/Dezani-CiancagliniHM01,
author = {Mariangiola Dezani{-}Ciancaglini and
Furio Honsell and
Yoko Motohama},
title = {Approximation Theorems for Intersection Type Systems},
journal = {J. Log. Comput.},
volume = {11},
number = {3},
pages = {395--417},
year = {2001},
url = {https://doi.org/10.1093/logcom/11.3.395},
doi = {10.1093/LOGCOM/11.3.395},
timestamp = {Thu, 14 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/logcom/Dezani-CiancagliniHM01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/logcom/Dowek01,
author = {Gilles Dowek},
title = {About Folding-Unfolding Cuts and Cuts Modulo},
journal = {J. Log. Comput.},
volume = {11},
number = {3},
pages = {419--429},
year = {2001},
url = {https://doi.org/10.1093/logcom/11.3.419},
doi = {10.1093/LOGCOM/11.3.419},
timestamp = {Fri, 30 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/logcom/Dowek01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/logcom/EijkBHM01,
author = {Rogier M. van Eijk and
Frank S. de Boer and
Wiebe van der Hoek and
John{-}Jules Ch. Meyer},
title = {Modal Logic with Bounded Quantification over Worlds},
journal = {J. Log. Comput.},
volume = {11},
number = {5},
pages = {701--715},
year = {2001},
url = {https://doi.org/10.1093/logcom/11.5.701},
doi = {10.1093/LOGCOM/11.5.701},
timestamp = {Sun, 06 Oct 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/logcom/EijkBHM01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/logcom/ForgetRS01,
author = {Lionel Forget and
Vincent Risch and
Pierre Siegel},
title = {Preferential Logics are X-logics},
journal = {J. Log. Comput.},
volume = {11},
number = {1},
pages = {71--83},
year = {2001},
url = {https://doi.org/10.1093/logcom/11.1.71},
doi = {10.1093/LOGCOM/11.1.71},
timestamp = {Wed, 17 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/logcom/ForgetRS01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/logcom/Gabbay01,
author = {Dov M. Gabbay},
title = {Editorial},
journal = {J. Log. Comput.},
volume = {11},
number = {1},
pages = {1},
year = {2001},
url = {https://doi.org/10.1093/logcom/11.1.1},
doi = {10.1093/LOGCOM/11.1.1},
timestamp = {Wed, 17 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/logcom/Gabbay01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/logcom/GiunchigliaG01,
author = {Enrico Giunchiglia and
Fausto Giunchiglia},
title = {Ideal and Real Belief about Belief},
journal = {J. Log. Comput.},
volume = {11},
number = {1},
pages = {157--192},
year = {2001},
url = {https://doi.org/10.1093/logcom/11.1.157},
doi = {10.1093/LOGCOM/11.1.157},
timestamp = {Sun, 02 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/logcom/GiunchigliaG01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/logcom/GorankoV01,
author = {Valentin Goranko and
Dimiter Vakarelov},
title = {Sahlqvist Formulas in Hybrid Polyadic Modal Logics},
journal = {J. Log. Comput.},
volume = {11},
number = {5},
pages = {737--754},
year = {2001},
url = {https://doi.org/10.1093/logcom/11.5.737},
doi = {10.1093/LOGCOM/11.5.737},
timestamp = {Wed, 17 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/logcom/GorankoV01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/logcom/GrumbergK01,
author = {Orna Grumberg and
Robert P. Kurshan},
title = {Which Branching-Time Properties are Effectively Linear?},
journal = {J. Log. Comput.},
volume = {11},
number = {2},
pages = {201--228},
year = {2001},
url = {https://doi.org/10.1093/logcom/11.2.201},
doi = {10.1093/LOGCOM/11.2.201},
timestamp = {Wed, 17 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/logcom/GrumbergK01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/logcom/Guerra01,
author = {Sofia Guerra},
title = {Composition of Default Specifications},
journal = {J. Log. Comput.},
volume = {11},
number = {4},
pages = {559--578},
year = {2001},
url = {https://doi.org/10.1093/logcom/11.4.559},
doi = {10.1093/LOGCOM/11.4.559},
timestamp = {Wed, 17 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/logcom/Guerra01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/logcom/HalpernL01,
author = {Joseph Y. Halpern and
Gerhard Lakemeyer},
title = {Multi-agent Only Knowing},
journal = {J. Log. Comput.},
volume = {11},
number = {1},
pages = {41--70},
year = {2001},
url = {https://doi.org/10.1093/logcom/11.1.41},
doi = {10.1093/LOGCOM/11.1.41},
timestamp = {Wed, 17 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/logcom/HalpernL01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/logcom/Hemaspaandra01,
author = {Edith Hemaspaandra},
title = {The Complexity of Poor Man's Logic},
journal = {J. Log. Comput.},
volume = {11},
number = {4},
pages = {609--622},
year = {2001},
url = {https://doi.org/10.1093/logcom/11.4.609},
doi = {10.1093/LOGCOM/11.4.609},
timestamp = {Wed, 17 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/logcom/Hemaspaandra01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/logcom/Herbelin01,
author = {Hugo Herbelin},
title = {Explicit Substitutions and Reducibility},
journal = {J. Log. Comput.},
volume = {11},
number = {3},
pages = {431--451},
year = {2001},
url = {https://doi.org/10.1093/logcom/11.3.431},
doi = {10.1093/LOGCOM/11.3.431},
timestamp = {Wed, 17 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/logcom/Herbelin01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/logcom/Kamareddine01,
author = {Fairouz Kamareddine},
title = {Editorial},
journal = {J. Log. Comput.},
volume = {11},
number = {3},
pages = {359--361},
year = {2001},
url = {https://doi.org/10.1093/logcom/11.3.359},
doi = {10.1093/LOGCOM/11.3.359},
timestamp = {Wed, 17 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/logcom/Kamareddine01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/logcom/Kamareddine01a,
author = {Fairouz Kamareddine},
title = {Reviewing the Classical and the de Bruijn Notation for [lambda]-calculus
and Pure Type Systems},
journal = {J. Log. Comput.},
volume = {11},
number = {3},
pages = {363--394},
year = {2001},
url = {https://doi.org/10.1093/logcom/11.3.363},
doi = {10.1093/LOGCOM/11.3.363},
timestamp = {Wed, 14 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/logcom/Kamareddine01a.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/logcom/KirchnerM01,
author = {H{\'{e}}l{\`{e}}ne Kirchner and
Peter D. Mosses},
title = {Algebraic Specifications, Higher-order Types and Set-theoretic Models},
journal = {J. Log. Comput.},
volume = {11},
number = {3},
pages = {453--481},
year = {2001},
url = {https://doi.org/10.1093/logcom/11.3.453},
doi = {10.1093/LOGCOM/11.3.453},
timestamp = {Wed, 14 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/logcom/KirchnerM01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/logcom/Kracht01,
author = {Marcus Kracht},
title = {Reducing Modal Consequence Relations},
journal = {J. Log. Comput.},
volume = {11},
number = {6},
pages = {879--907},
year = {2001},
url = {https://doi.org/10.1093/logcom/11.6.879},
doi = {10.1093/LOGCOM/11.6.879},
timestamp = {Wed, 17 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/logcom/Kracht01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/logcom/LaanF01,
author = {Twan Laan and
Michael Franssen},
title = {Embedding First-order Logic in a Pure Type System with Parameters},
journal = {J. Log. Comput.},
volume = {11},
number = {4},
pages = {545--557},
year = {2001},
url = {https://doi.org/10.1093/logcom/11.4.545},
doi = {10.1093/LOGCOM/11.4.545},
timestamp = {Wed, 17 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/logcom/LaanF01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/logcom/Lamb01,
author = {Lu{\'{\i}}s C. Lamb},
title = {Book Review: "Elementary Logics: a Procedural Perspective" by Dov
M. Gabbay},
journal = {J. Log. Comput.},
volume = {11},
number = {1},
pages = {193--194},
year = {2001},
url = {https://doi.org/10.1093/logcom/11.1.193},
doi = {10.1093/LOGCOM/11.1.193},
timestamp = {Fri, 30 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/logcom/Lamb01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/logcom/Lambalgen01,
author = {Michiel van Lambalgen},
title = {Conditional Quantification, or Poor Man's Probability},
journal = {J. Log. Comput.},
volume = {11},
number = {2},
pages = {295--336},
year = {2001},
url = {https://doi.org/10.1093/logcom/11.2.295},
doi = {10.1093/LOGCOM/11.2.295},
timestamp = {Wed, 17 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/logcom/Lambalgen01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/logcom/Lehmann01,
author = {Daniel Lehmann},
title = {Nonmonotonic Logics and Semantics},
journal = {J. Log. Comput.},
volume = {11},
number = {2},
pages = {229--256},
year = {2001},
url = {https://doi.org/10.1093/logcom/11.2.229},
doi = {10.1093/LOGCOM/11.2.229},
timestamp = {Fri, 09 Aug 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/logcom/Lehmann01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/logcom/Levi01,
author = {Francesca Levi},
title = {Compositional Verification of Quantitative Properties of Statecharts},
journal = {J. Log. Comput.},
volume = {11},
number = {6},
pages = {829--878},
year = {2001},
url = {https://doi.org/10.1093/logcom/11.6.829},
doi = {10.1093/LOGCOM/11.6.829},
timestamp = {Wed, 17 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/logcom/Levi01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/logcom/Lowe01,
author = {Benedikt L{\"{o}}we},
title = {Revision Sequences and Computers with an Infinite Amount of Time},
journal = {J. Log. Comput.},
volume = {11},
number = {1},
pages = {25--40},
year = {2001},
url = {https://doi.org/10.1093/logcom/11.1.25},
doi = {10.1093/LOGCOM/11.1.25},
timestamp = {Wed, 17 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/logcom/Lowe01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/logcom/Marx01,
author = {Maarten Marx},
title = {Relation Algebra with Binders},
journal = {J. Log. Comput.},
volume = {11},
number = {5},
pages = {691--700},
year = {2001},
url = {https://doi.org/10.1093/logcom/11.5.691},
doi = {10.1093/LOGCOM/11.5.691},
timestamp = {Sat, 19 Oct 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/logcom/Marx01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/logcom/MayK01,
author = {Wolfgang May and
Paul{-}Thomas Kandzia},
title = {Nonmonotonic Inheritance in Object-Oriented Deductive Database Languages},
journal = {J. Log. Comput.},
volume = {11},
number = {4},
pages = {499--525},
year = {2001},
url = {https://doi.org/10.1093/logcom/11.4.499},
doi = {10.1093/LOGCOM/11.4.499},
timestamp = {Wed, 17 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/logcom/MayK01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/logcom/Ndjatou01,
author = {Gilbert Ndjatou},
title = {Minimizing Agent Specifications using a Logic of Knowledge and Actions},
journal = {J. Log. Comput.},
volume = {11},
number = {2},
pages = {337--354},
year = {2001},
url = {https://doi.org/10.1093/logcom/11.2.337},
doi = {10.1093/LOGCOM/11.2.337},
timestamp = {Wed, 17 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/logcom/Ndjatou01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/logcom/Overill01,
author = {Richard E. Overill},
title = {Book Review: "Selected Papers on Analysis of Algorithms" by Donald
E. Knuth},
journal = {J. Log. Comput.},
volume = {11},
number = {2},
pages = {355},
year = {2001},
url = {https://doi.org/10.1093/logcom/11.2.355},
doi = {10.1093/LOGCOM/11.2.355},
timestamp = {Wed, 17 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/logcom/Overill01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/logcom/Overill01a,
author = {Richard E. Overill},
title = {Book Review: "Parallel Processing and Parallel Algorithms: Theory
and Computation" by Seyed H. Roosta},
journal = {J. Log. Comput.},
volume = {11},
number = {2},
pages = {355--356},
year = {2001},
url = {https://doi.org/10.1093/logcom/11.2.355-a},
doi = {10.1093/LOGCOM/11.2.355-A},
timestamp = {Wed, 17 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/logcom/Overill01a.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/logcom/Overill01b,
author = {Richard E. Overill},
title = {Book Review: "Time Warps, String Edits, and Macromolecules: the Theory
and Practice of Sequence Comparison" by David Sankoff and Joseph Kruskal},
journal = {J. Log. Comput.},
volume = {11},
number = {2},
pages = {356},
year = {2001},
url = {https://doi.org/10.1093/logcom/11.2.356},
doi = {10.1093/LOGCOM/11.2.356},
timestamp = {Wed, 17 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/logcom/Overill01b.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/logcom/Overill01c,
author = {Richard E. Overill},
title = {Book Review: "Cryptography and Computational Number Theory" by {K.-Y.}
Lam, I. Shparlinski, H. Wang and C. Xing},
journal = {J. Log. Comput.},
volume = {11},
number = {6},
pages = {961},
year = {2001},
url = {https://doi.org/10.1093/logcom/11.6.961},
doi = {10.1093/LOGCOM/11.6.961},
timestamp = {Wed, 17 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/logcom/Overill01c.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/logcom/Overill01d,
author = {Richard E. Overill},
title = {Book Review: "Artificial Immune Systems and their Applications" by
D. Dasgupta},
journal = {J. Log. Comput.},
volume = {11},
number = {6},
pages = {961--962},
year = {2001},
url = {https://doi.org/10.1093/logcom/11.6.961-a},
doi = {10.1093/LOGCOM/11.6.961-A},
timestamp = {Wed, 17 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/logcom/Overill01d.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/logcom/ReynoldsZ01,
author = {Mark Reynolds and
Michael Zakharyaschev},
title = {On the Products of Linear Modal Logics},
journal = {J. Log. Comput.},
volume = {11},
number = {6},
pages = {909--931},
year = {2001},
url = {https://doi.org/10.1093/logcom/11.6.909},
doi = {10.1093/LOGCOM/11.6.909},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/logcom/ReynoldsZ01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/logcom/Robering01,
author = {Klaus Robering},
title = {Ackermann's Implication for Typefree Logic},
journal = {J. Log. Comput.},
volume = {11},
number = {1},
pages = {5--23},
year = {2001},
url = {https://doi.org/10.1093/logcom/11.1.5},
doi = {10.1093/LOGCOM/11.1.5},
timestamp = {Wed, 17 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/logcom/Robering01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/logcom/Rudlof01,
author = {Thomas M. Rudlof},
title = {{SHR} Tableaux - {A} Framework for Automated Model Generation},
journal = {J. Log. Comput.},
volume = {11},
number = {1},
pages = {107--155},
year = {2001},
url = {https://doi.org/10.1093/logcom/11.1.107},
doi = {10.1093/LOGCOM/11.1.107},
timestamp = {Wed, 17 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/logcom/Rudlof01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/logcom/Seldin01,
author = {Jonathan P. Seldin},
title = {Extensional Set Equality in the Calculus of Constructions},
journal = {J. Log. Comput.},
volume = {11},
number = {3},
pages = {483--493},
year = {2001},
url = {https://doi.org/10.1093/logcom/11.3.483},
doi = {10.1093/LOGCOM/11.3.483},
timestamp = {Wed, 17 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/logcom/Seldin01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/logcom/Seligman01,
author = {Jerry Seligman},
title = {Internalization: The Case of Hybrid Logics},
journal = {J. Log. Comput.},
volume = {11},
number = {5},
pages = {671--689},
year = {2001},
url = {https://doi.org/10.1093/logcom/11.5.671},
doi = {10.1093/LOGCOM/11.5.671},
timestamp = {Wed, 17 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/logcom/Seligman01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/logcom/ShramkoDT01,
author = {Yaroslav Shramko and
J. Michael Dunn and
Tatsutoshi Takenaka},
title = {The Trilattice of Constructive Truth Values},
journal = {J. Log. Comput.},
volume = {11},
number = {6},
pages = {761--788},
year = {2001},
url = {https://doi.org/10.1093/logcom/11.6.761},
doi = {10.1093/LOGCOM/11.6.761},
timestamp = {Sat, 16 Sep 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/logcom/ShramkoDT01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/logcom/Steel01,
author = {Sam Steel},
title = {Comparing some Intuitions of 'Process Calculus' and 'Program Logic'},
journal = {J. Log. Comput.},
volume = {11},
number = {6},
pages = {789--827},
year = {2001},
url = {https://doi.org/10.1093/logcom/11.6.789},
doi = {10.1093/LOGCOM/11.6.789},
timestamp = {Wed, 17 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/logcom/Steel01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/logcom/Studer01,
author = {Thomas Studer},
title = {A Semantics for [lambda]: a Calculus with Overloading and Late-binding},
journal = {J. Log. Comput.},
volume = {11},
number = {4},
pages = {527--544},
year = {2001},
url = {https://doi.org/10.1093/logcom/11.4.527},
doi = {10.1093/LOGCOM/11.4.527},
timestamp = {Sun, 02 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/logcom/Studer01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/logcom/Tobies01,
author = {Stephan Tobies},
title = {{PSPACE} Reasoning for Graded Modal Logics},
journal = {J. Log. Comput.},
volume = {11},
number = {1},
pages = {85--106},
year = {2001},
url = {https://doi.org/10.1093/logcom/11.1.85},
doi = {10.1093/LOGCOM/11.1.85},
timestamp = {Wed, 17 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/logcom/Tobies01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/logcom/Tourlakis01,
author = {George Tourlakis},
title = {On the Soundness and Completeness of Equational Predicate Logics},
journal = {J. Log. Comput.},
volume = {11},
number = {4},
pages = {623--653},
year = {2001},
url = {https://doi.org/10.1093/logcom/11.4.623},
doi = {10.1093/LOGCOM/11.4.623},
timestamp = {Wed, 17 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/logcom/Tourlakis01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/logcom/Wansing01,
author = {Heinrich Wansing},
title = {Editorial and Call for Papers},
journal = {J. Log. Comput.},
volume = {11},
number = {1},
pages = {3--4},
year = {2001},
url = {https://doi.org/10.1093/logcom/11.1.3},
doi = {10.1093/LOGCOM/11.1.3},
timestamp = {Wed, 17 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/logcom/Wansing01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/logcom/Wansing01a,
author = {Heinrich Wansing},
title = {Corner on directions in nonclassical logic},
journal = {J. Log. Comput.},
volume = {11},
number = {6},
pages = {759--760},
year = {2001},
url = {https://doi.org/10.1093/logcom/11.6.759},
doi = {10.1093/LOGCOM/11.6.759},
timestamp = {Tue, 29 Dec 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/logcom/Wansing01a.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/logcom/Zakharov01,
author = {Vladimir A. Zakharov},
title = {Book Review: "Model Checking" by E. Clarke, O. Grumberg and D. A.
Peled},
journal = {J. Log. Comput.},
volume = {11},
number = {6},
pages = {962--964},
year = {2001},
url = {https://doi.org/10.1093/logcom/11.6.962},
doi = {10.1093/LOGCOM/11.6.962},
timestamp = {Wed, 14 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/logcom/Zakharov01.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-15 17:41 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:
