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/logcom/logcom14.bht:"
download as .bib file
@article{DBLP:journals/logcom/Aiguier04,
author = {Marc Aiguier},
title = {{\'{E}}TOILE-specifications: An Object-oriented Algebraic Formalism
with Refinement},
journal = {J. Log. Comput.},
volume = {14},
number = {2},
pages = {145--178},
year = {2004},
url = {https://doi.org/10.1093/logcom/14.2.145},
doi = {10.1093/LOGCOM/14.2.145},
timestamp = {Wed, 17 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/logcom/Aiguier04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/logcom/ArtaleDFF04,
author = {Alessandro Artale and
Clare Dixon and
Michael Fisher and
Enrico Franconi},
title = {Editorial},
journal = {J. Log. Comput.},
volume = {14},
number = {1},
pages = {1},
year = {2004},
url = {https://doi.org/10.1093/logcom/14.1.1},
doi = {10.1093/LOGCOM/14.1.1},
timestamp = {Fri, 25 Dec 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/logcom/ArtaleDFF04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/logcom/AwodeyB04,
author = {Steven Awodey and
Andrej Bauer},
title = {Propositions as Types},
journal = {J. Log. Comput.},
volume = {14},
number = {4},
pages = {447--471},
year = {2004},
url = {https://doi.org/10.1093/logcom/14.4.447},
doi = {10.1093/LOGCOM/14.4.447},
timestamp = {Mon, 28 Aug 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/logcom/AwodeyB04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/logcom/Banach04,
author = {Richard Banach},
title = {Review: Process Algebra with Timing},
journal = {J. Log. Comput.},
volume = {14},
number = {6},
pages = {881},
year = {2004},
url = {https://doi.org/10.1093/logcom/14.6.881},
doi = {10.1093/LOGCOM/14.6.881},
timestamp = {Wed, 17 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/logcom/Banach04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/logcom/BauerHWZ04,
author = {Sebastian Bauer and
Ian M. Hodkinson and
Frank Wolter and
Michael Zakharyaschev},
title = {On Non-local Propositional and Weak Monodic Quantified {CTL}},
journal = {J. Log. Comput.},
volume = {14},
number = {1},
pages = {3--22},
year = {2004},
url = {https://doi.org/10.1093/logcom/14.1.3},
doi = {10.1093/LOGCOM/14.1.3},
timestamp = {Sun, 17 Dec 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/logcom/BauerHWZ04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/logcom/BellinB04,
author = {Gianluigi Bellin and
Corrado Biasi},
title = {Towards a Logic for Pragmatics. Assertions and Conjectures},
journal = {J. Log. Comput.},
volume = {14},
number = {4},
pages = {473--506},
year = {2004},
url = {https://doi.org/10.1093/logcom/14.4.473},
doi = {10.1093/LOGCOM/14.4.473},
timestamp = {Sun, 22 Oct 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/logcom/BellinB04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/logcom/Belohlavek04,
author = {Radim Belohl{\'{a}}vek},
title = {Concept Equations},
journal = {J. Log. Comput.},
volume = {14},
number = {3},
pages = {395--403},
year = {2004},
url = {https://doi.org/10.1093/logcom/14.3.395},
doi = {10.1093/LOGCOM/14.3.395},
timestamp = {Wed, 17 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/logcom/Belohlavek04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/logcom/BelohlavekF04,
author = {Radim Belohl{\'{a}}vek and
Tat{\'{a}}na Funiokov{\'{a}}},
title = {Similarity and Fuzzy Tolerance Spaces},
journal = {J. Log. Comput.},
volume = {14},
number = {6},
pages = {827--855},
year = {2004},
url = {https://doi.org/10.1093/logcom/14.6.827},
doi = {10.1093/LOGCOM/14.6.827},
timestamp = {Fri, 30 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/logcom/BelohlavekF04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/logcom/BidoitAS04,
author = {Nicole Bidoit and
Sandra de Amo and
Luc Segoufin},
title = {Order Independent Temporal Properties},
journal = {J. Log. Comput.},
volume = {14},
number = {2},
pages = {277--298},
year = {2004},
url = {https://doi.org/10.1093/logcom/14.2.277},
doi = {10.1093/LOGCOM/14.2.277},
timestamp = {Wed, 17 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/logcom/BidoitAS04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/logcom/Borisavljevic04,
author = {Mirjana Borisavljevic},
title = {Extended Natural Deduction Images of Conversions from the System of
Sequents},
journal = {J. Log. Comput.},
volume = {14},
number = {6},
pages = {769--799},
year = {2004},
url = {https://doi.org/10.1093/logcom/14.6.769},
doi = {10.1093/LOGCOM/14.6.769},
timestamp = {Wed, 17 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/logcom/Borisavljevic04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/logcom/Brauner04,
author = {Torben Bra{\"{u}}ner},
title = {Natural Deduction for Hybrid Logic},
journal = {J. Log. Comput.},
volume = {14},
number = {3},
pages = {329--353},
year = {2004},
url = {https://doi.org/10.1093/logcom/14.3.329},
doi = {10.1093/LOGCOM/14.3.329},
timestamp = {Wed, 17 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/logcom/Brauner04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/logcom/Brunet04,
author = {Olivier Brunet},
title = {A Logic for Partial System Description},
journal = {J. Log. Comput.},
volume = {14},
number = {4},
pages = {507--528},
year = {2004},
url = {https://doi.org/10.1093/logcom/14.4.507},
doi = {10.1093/LOGCOM/14.4.507},
timestamp = {Wed, 17 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/logcom/Brunet04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/logcom/CamossiBMG04,
author = {Elena Camossi and
Elisa Bertino and
Marco Mesiti and
Giovanna Guerrini},
title = {Handling Expiration of Multigranular Temporal Objects},
journal = {J. Log. Comput.},
volume = {14},
number = {1},
pages = {23--50},
year = {2004},
url = {https://doi.org/10.1093/logcom/14.1.23},
doi = {10.1093/LOGCOM/14.1.23},
timestamp = {Sat, 19 Oct 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/logcom/CamossiBMG04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/logcom/Chen04,
author = {Gang Chen},
title = {Soundness of Coercion in the Calculus of Constructions},
journal = {J. Log. Comput.},
volume = {14},
number = {3},
pages = {405--427},
year = {2004},
url = {https://doi.org/10.1093/logcom/14.3.405},
doi = {10.1093/LOGCOM/14.3.405},
timestamp = {Wed, 17 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/logcom/Chen04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/logcom/CombiFP04,
author = {Carlo Combi and
Massimo Franceschet and
Adriano Peron},
title = {Representing and Reasoning about Temporal Granularities},
journal = {J. Log. Comput.},
volume = {14},
number = {1},
pages = {51--77},
year = {2004},
url = {https://doi.org/10.1093/logcom/14.1.51},
doi = {10.1093/LOGCOM/14.1.51},
timestamp = {Wed, 17 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/logcom/CombiFP04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/logcom/Crolard04,
author = {Tristan Crolard},
title = {A Formulae-as-Types Interpretation of Subtractive Logic},
journal = {J. Log. Comput.},
volume = {14},
number = {4},
pages = {529--570},
year = {2004},
url = {https://doi.org/10.1093/logcom/14.4.529},
doi = {10.1093/LOGCOM/14.4.529},
timestamp = {Wed, 17 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/logcom/Crolard04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/logcom/DelgrandeSTW04,
author = {James P. Delgrande and
Torsten Schaub and
Hans Tompits and
Stefan Woltran},
title = {On Computing Belief Change Operations using Quantified Boolean Formulas},
journal = {J. Log. Comput.},
volume = {14},
number = {6},
pages = {801--826},
year = {2004},
url = {https://doi.org/10.1093/logcom/14.6.801},
doi = {10.1093/LOGCOM/14.6.801},
timestamp = {Wed, 17 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/logcom/DelgrandeSTW04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/logcom/Diaconescu04,
author = {Razvan Diaconescu},
title = {Elementary Diagrams in Institutions},
journal = {J. Log. Comput.},
volume = {14},
number = {5},
pages = {651--674},
year = {2004},
url = {https://doi.org/10.1093/logcom/14.5.651},
doi = {10.1093/LOGCOM/14.5.651},
timestamp = {Wed, 17 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/logcom/Diaconescu04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/logcom/Fernando04,
author = {Tim Fernando},
title = {A Finite-state Approach to Events in Natural Language Semantics},
journal = {J. Log. Comput.},
volume = {14},
number = {1},
pages = {79--92},
year = {2004},
url = {https://doi.org/10.1093/logcom/14.1.79},
doi = {10.1093/LOGCOM/14.1.79},
timestamp = {Wed, 17 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/logcom/Fernando04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/logcom/FingerW04,
author = {Marcelo Finger and
Renata Wassermann},
title = {Approximate and Limited Reasoning: Semantics, Proof Theory, Expressivity
and Control},
journal = {J. Log. Comput.},
volume = {14},
number = {2},
pages = {179--204},
year = {2004},
url = {https://doi.org/10.1093/logcom/14.2.179},
doi = {10.1093/LOGCOM/14.2.179},
timestamp = {Sat, 19 Oct 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/logcom/FingerW04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/logcom/GovernatoriMAB04,
author = {Guido Governatori and
Michael J. Maher and
Grigoris Antoniou and
David Billington},
title = {Argumentation Semantics for Defeasible Logic},
journal = {J. Log. Comput.},
volume = {14},
number = {5},
pages = {675--702},
year = {2004},
url = {https://doi.org/10.1093/logcom/14.5.675},
doi = {10.1093/LOGCOM/14.5.675},
timestamp = {Wed, 14 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/logcom/GovernatoriMAB04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/logcom/Guelev04,
author = {Dimitar P. Guelev},
title = {A Complete Proof System for First-order Interval Temporal Logic with
Projection},
journal = {J. Log. Comput.},
volume = {14},
number = {2},
pages = {215--249},
year = {2004},
url = {https://doi.org/10.1093/logcom/14.2.215},
doi = {10.1093/LOGCOM/14.2.215},
timestamp = {Wed, 17 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/logcom/Guelev04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/logcom/HeCI04,
author = {Lifeng He and
Yuyan Chao and
Hidenori Itoh},
title = {{R-SATCHMO:} Refinements on {I-SATCHMO}},
journal = {J. Log. Comput.},
volume = {14},
number = {2},
pages = {117--143},
year = {2004},
url = {https://doi.org/10.1093/logcom/14.2.117},
doi = {10.1093/LOGCOM/14.2.117},
timestamp = {Wed, 17 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/logcom/HeCI04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/logcom/Kamide04,
author = {Norihiro Kamide},
title = {Combining Soft Linear Logic and Spatio-temporal Operators},
journal = {J. Log. Comput.},
volume = {14},
number = {5},
pages = {625--650},
year = {2004},
url = {https://doi.org/10.1093/logcom/14.5.625},
doi = {10.1093/LOGCOM/14.5.625},
timestamp = {Wed, 17 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/logcom/Kamide04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/logcom/Kandulski04,
author = {Maciej Kandulski},
title = {Categorial Grammars and Tree Languages},
journal = {J. Log. Comput.},
volume = {14},
number = {2},
pages = {205--214},
year = {2004},
url = {https://doi.org/10.1093/logcom/14.2.205},
doi = {10.1093/LOGCOM/14.2.205},
timestamp = {Wed, 17 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/logcom/Kandulski04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/logcom/Lavalette04,
author = {Gerard R. Renardel de Lavalette},
title = {Changing Modalities},
journal = {J. Log. Comput.},
volume = {14},
number = {2},
pages = {251--275},
year = {2004},
url = {https://doi.org/10.1093/logcom/14.2.251},
doi = {10.1093/LOGCOM/14.2.251},
timestamp = {Wed, 17 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/logcom/Lavalette04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/logcom/Liberatore04,
author = {Paolo Liberatore},
title = {Uncontroversial Default Logic},
journal = {J. Log. Comput.},
volume = {14},
number = {5},
pages = {747--765},
year = {2004},
url = {https://doi.org/10.1093/logcom/14.5.747},
doi = {10.1093/LOGCOM/14.5.747},
timestamp = {Tue, 06 Jun 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/logcom/Liberatore04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/logcom/LusinS04,
author = {Stefania Lusin and
Antonino Salibra},
title = {The Lattice of Lambda Theories},
journal = {J. Log. Comput.},
volume = {14},
number = {3},
pages = {373--394},
year = {2004},
url = {https://doi.org/10.1093/logcom/14.3.373},
doi = {10.1093/LOGCOM/14.3.373},
timestamp = {Tue, 06 Jun 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/logcom/LusinS04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/logcom/Meulen04,
author = {Alice ter Meulen},
title = {Review: Word, Proofs and Diagrams},
journal = {J. Log. Comput.},
volume = {14},
number = {6},
pages = {882},
year = {2004},
url = {https://doi.org/10.1093/logcom/14.6.882},
doi = {10.1093/LOGCOM/14.6.882},
timestamp = {Wed, 17 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/logcom/Meulen04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/logcom/Montagna04,
author = {Franco Montagna},
title = {Storage Operators and Multiplicative Quantifiers in Many-valued Logics},
journal = {J. Log. Comput.},
volume = {14},
number = {2},
pages = {299--322},
year = {2004},
url = {https://doi.org/10.1093/logcom/14.2.299},
doi = {10.1093/LOGCOM/14.2.299},
timestamp = {Wed, 17 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/logcom/Montagna04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/logcom/Mueller04,
author = {Erik T. Mueller},
title = {Event Calculus Reasoning Through Satisfiability},
journal = {J. Log. Comput.},
volume = {14},
number = {5},
pages = {703--730},
year = {2004},
url = {https://doi.org/10.1093/logcom/14.5.703},
doi = {10.1093/LOGCOM/14.5.703},
timestamp = {Wed, 17 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/logcom/Mueller04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/logcom/Overill04,
author = {Richard E. Overill},
title = {Review: From 0 to 1; an Authoritative History of Modern Computing},
journal = {J. Log. Comput.},
volume = {14},
number = {2},
pages = {323},
year = {2004},
url = {https://doi.org/10.1093/logcom/14.2.323},
doi = {10.1093/LOGCOM/14.2.323},
timestamp = {Wed, 17 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/logcom/Overill04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/logcom/Overill04a,
author = {Richard E. Overill},
title = {Review: Things a Computer Scientist Rarely Talks About},
journal = {J. Log. Comput.},
volume = {14},
number = {2},
pages = {323--324},
year = {2004},
url = {https://doi.org/10.1093/logcom/14.2.323-a},
doi = {10.1093/LOGCOM/14.2.323-A},
timestamp = {Wed, 17 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/logcom/Overill04a.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/logcom/Overill04b,
author = {Richard E. Overill},
title = {Review: {A} Dictionary of the Internet},
journal = {J. Log. Comput.},
volume = {14},
number = {2},
pages = {324--325},
year = {2004},
url = {https://doi.org/10.1093/logcom/14.2.324},
doi = {10.1093/LOGCOM/14.2.324},
timestamp = {Wed, 17 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/logcom/Overill04b.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/logcom/Overill04c,
author = {Richard E. Overill},
title = {Review: Views into the Chinese Room: New Essays on Searle and Artificial
Intelligence},
journal = {J. Log. Comput.},
volume = {14},
number = {2},
pages = {325--326},
year = {2004},
url = {https://doi.org/10.1093/logcom/14.2.325},
doi = {10.1093/LOGCOM/14.2.325},
timestamp = {Wed, 17 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/logcom/Overill04c.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/logcom/PaivaGM04,
author = {Valeria de Paiva and
Rajeev Gor{\'{e}} and
Michael Mendler},
title = {Editorial},
journal = {J. Log. Comput.},
volume = {14},
number = {4},
pages = {439--446},
year = {2004},
url = {https://doi.org/10.1093/logcom/14.4.439},
doi = {10.1093/LOGCOM/14.4.439},
timestamp = {Mon, 26 Jun 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/logcom/PaivaGM04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/logcom/PaivaGM04a,
author = {Valeria de Paiva and
Rajeev Gor{\'{e}} and
Michael Mendler},
title = {Forthcoming Papers},
journal = {J. Log. Comput.},
volume = {14},
number = {4},
pages = {621--622},
year = {2004},
url = {https://doi.org/10.1093/logcom/14.4.621},
doi = {10.1093/LOGCOM/14.4.621},
timestamp = {Wed, 17 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/logcom/PaivaGM04a.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/logcom/Peppas04,
author = {Pavlos Peppas},
title = {The Limit Assumption and Multiple Revision},
journal = {J. Log. Comput.},
volume = {14},
number = {3},
pages = {355--371},
year = {2004},
url = {https://doi.org/10.1093/logcom/14.3.355},
doi = {10.1093/LOGCOM/14.3.355},
timestamp = {Mon, 26 Oct 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/logcom/Peppas04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/logcom/SchroderM04,
author = {Lutz Schr{\"{o}}der and
Till Mossakowski},
title = {Monad-independent Dynamic Logic in HasCasl},
journal = {J. Log. Comput.},
volume = {14},
number = {4},
pages = {571--619},
year = {2004},
url = {https://doi.org/10.1093/logcom/14.4.571},
doi = {10.1093/LOGCOM/14.4.571},
timestamp = {Sun, 02 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/logcom/SchroderM04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/logcom/ShanahanW04,
author = {Murray Shanahan and
Mark Witkowski},
title = {Event Calculus Planning Through Satisfiability},
journal = {J. Log. Comput.},
volume = {14},
number = {5},
pages = {731--745},
year = {2004},
url = {https://doi.org/10.1093/logcom/14.5.731},
doi = {10.1093/LOGCOM/14.5.731},
timestamp = {Wed, 17 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/logcom/ShanahanW04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/logcom/Skura04,
author = {Tomasz F. Skura},
title = {Rules and Refutation Rules for the Logic of Finite n-ary Trees},
journal = {J. Log. Comput.},
volume = {14},
number = {3},
pages = {429--435},
year = {2004},
url = {https://doi.org/10.1093/logcom/14.3.429},
doi = {10.1093/LOGCOM/14.3.429},
timestamp = {Mon, 26 Oct 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/logcom/Skura04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/logcom/StapletonHTT04,
author = {Gem Stapleton and
John Howse and
John Taylor and
Simon J. Thompson},
title = {The Expressiveness of Spider Diagrams},
journal = {J. Log. Comput.},
volume = {14},
number = {6},
pages = {857--880},
year = {2004},
url = {https://doi.org/10.1093/logcom/14.6.857},
doi = {10.1093/LOGCOM/14.6.857},
timestamp = {Wed, 22 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/logcom/StapletonHTT04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/logcom/ThorntonBSM04,
author = {John Thornton and
Matthew Beaumont and
Abdul Sattar and
Michael J. Maher},
title = {A Local Search Approach to Modelling and Solving Interval Algebra
Problems},
journal = {J. Log. Comput.},
volume = {14},
number = {1},
pages = {93--112},
year = {2004},
url = {https://doi.org/10.1093/logcom/14.1.93},
doi = {10.1093/LOGCOM/14.1.93},
timestamp = {Mon, 25 Dec 2017 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/logcom/ThorntonBSM04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/logcom/Wansing04,
author = {Heinrich Wansing},
title = {Editorial},
journal = {J. Log. Comput.},
volume = {14},
number = {5},
pages = {623},
year = {2004},
url = {https://doi.org/10.1093/logcom/14.5.623},
doi = {10.1093/LOGCOM/14.5.623},
timestamp = {Wed, 17 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/logcom/Wansing04.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-05-24 22:36 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:
