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/logcom3.bht:"
download as .bib file
@article{DBLP:journals/logcom/Bakel93,
author = {Steffen van Bakel},
title = {Principal Type Schemes for the Strict Type Assignment System},
journal = {J. Log. Comput.},
volume = {3},
number = {6},
pages = {643--670},
year = {1993},
url = {https://doi.org/10.1093/logcom/3.6.643},
doi = {10.1093/LOGCOM/3.6.643},
timestamp = {Tue, 06 Jun 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/logcom/Bakel93.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/logcom/BarbutiCGL93,
author = {Roberto Barbuti and
Michael Codish and
Roberto Giacobazzi and
Giorgio Levi},
title = {Modelling Prolog Control},
journal = {J. Log. Comput.},
volume = {3},
number = {6},
pages = {579--603},
year = {1993},
url = {https://doi.org/10.1093/logcom/3.6.579},
doi = {10.1093/LOGCOM/3.6.579},
timestamp = {Fri, 30 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/logcom/BarbutiCGL93.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/logcom/Barwise93,
author = {Jon Barwise},
title = {Editorial},
journal = {J. Log. Comput.},
volume = {3},
number = {2},
pages = {113--114},
year = {1993},
url = {https://doi.org/10.1093/logcom/3.2.113},
doi = {10.1093/LOGCOM/3.2.113},
timestamp = {Wed, 17 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/logcom/Barwise93.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/logcom/BenkerimiH93,
author = {Kerima Benkerimi and
Patricia M. Hill},
title = {Supporting Transformations for the Partial Evaluation of Logic Programs},
journal = {J. Log. Comput.},
volume = {3},
number = {5},
pages = {469--486},
year = {1993},
url = {https://doi.org/10.1093/logcom/3.5.469},
doi = {10.1093/LOGCOM/3.5.469},
timestamp = {Wed, 17 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/logcom/BenkerimiH93.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/logcom/Benthem93,
author = {Johan van Benthem},
title = {Editorial: The Elusive Locus of Logicality},
journal = {J. Log. Comput.},
volume = {3},
number = {5},
pages = {451--453},
year = {1993},
url = {https://doi.org/10.1093/logcom/3.5.451},
doi = {10.1093/LOGCOM/3.5.451},
timestamp = {Wed, 17 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/logcom/Benthem93.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/logcom/Billington93,
author = {David Billington},
title = {Defeasible Logic is Stable},
journal = {J. Log. Comput.},
volume = {3},
number = {4},
pages = {379--400},
year = {1993},
url = {https://doi.org/10.1093/logcom/3.4.379},
doi = {10.1093/LOGCOM/3.4.379},
timestamp = {Wed, 17 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/logcom/Billington93.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/logcom/BrewkaH93,
author = {Gerhard Brewka and
Joachim Hertzberg},
title = {How to do Things with Worlds: On Formalizing Actions and Plans},
journal = {J. Log. Comput.},
volume = {3},
number = {5},
pages = {517--532},
year = {1993},
url = {https://doi.org/10.1093/logcom/3.5.517},
doi = {10.1093/LOGCOM/3.5.517},
timestamp = {Wed, 17 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/logcom/BrewkaH93.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/logcom/BrogiLM93,
author = {Antonio Brogi and
Evelina Lamma and
Paola Mello},
title = {Composing Open Logic Programs},
journal = {J. Log. Comput.},
volume = {3},
number = {4},
pages = {417--439},
year = {1993},
url = {https://doi.org/10.1093/logcom/3.4.417},
doi = {10.1093/LOGCOM/3.4.417},
timestamp = {Wed, 17 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/logcom/BrogiLM93.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/logcom/Caferra93,
author = {Ricardo Caferra},
title = {A Tableaux Method for Systematic Simultaneous Search for Refutationas
and Models Using Equational Problems},
journal = {J. Log. Comput.},
volume = {3},
number = {1},
pages = {3--25},
year = {1993},
url = {https://doi.org/10.1093/logcom/3.1.3},
doi = {10.1093/LOGCOM/3.1.3},
timestamp = {Wed, 17 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/logcom/Caferra93.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/logcom/CayrolPS93,
author = {Michel Cayrol and
Olivier Palmade and
Thomas Schiex},
title = {A Fixed Point Semantics for the {ATMS}},
journal = {J. Log. Comput.},
volume = {3},
number = {2},
pages = {115--130},
year = {1993},
url = {https://doi.org/10.1093/logcom/3.2.115},
doi = {10.1093/LOGCOM/3.2.115},
timestamp = {Wed, 17 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/logcom/CayrolPS93.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/logcom/Compton93,
author = {Kevin J. Compton},
title = {A Deductive System for Existential Least Fixpoint Logic},
journal = {J. Log. Comput.},
volume = {3},
number = {2},
pages = {197--213},
year = {1993},
url = {https://doi.org/10.1093/logcom/3.2.197},
doi = {10.1093/LOGCOM/3.2.197},
timestamp = {Wed, 17 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/logcom/Compton93.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/logcom/Doets93,
author = {Kees Doets},
title = {Levationis Laus},
journal = {J. Log. Comput.},
volume = {3},
number = {5},
pages = {487--516},
year = {1993},
url = {https://doi.org/10.1093/logcom/3.5.487},
doi = {10.1093/LOGCOM/3.5.487},
timestamp = {Wed, 17 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/logcom/Doets93.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/logcom/Dowek93,
author = {Gilles Dowek},
title = {A Complete Proof Synthesis Method for the Cube of Type Systems},
journal = {J. Log. Comput.},
volume = {3},
number = {3},
pages = {287--315},
year = {1993},
url = {https://doi.org/10.1093/logcom/3.3.287},
doi = {10.1093/LOGCOM/3.3.287},
timestamp = {Fri, 30 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/logcom/Dowek93.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/logcom/Freund93,
author = {Michael Freund},
title = {Injective Models and Disjunctive Relations},
journal = {J. Log. Comput.},
volume = {3},
number = {3},
pages = {231--247},
year = {1993},
url = {https://doi.org/10.1093/logcom/3.3.231},
doi = {10.1093/LOGCOM/3.3.231},
timestamp = {Mon, 28 Aug 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/logcom/Freund93.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/logcom/Gabbay93,
author = {Dov M. Gabbay},
title = {Editorial},
journal = {J. Log. Comput.},
volume = {3},
number = {1},
pages = {1--2},
year = {1993},
url = {https://doi.org/10.1093/logcom/3.1.1},
doi = {10.1093/LOGCOM/3.1.1},
timestamp = {Wed, 17 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/logcom/Gabbay93.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/logcom/Ghilezan93,
author = {Silvia Ghilezan},
title = {Inhabitation in Intersection and Union Type Assignment Systems},
journal = {J. Log. Comput.},
volume = {3},
number = {6},
pages = {671--685},
year = {1993},
url = {https://doi.org/10.1093/logcom/3.6.671},
doi = {10.1093/LOGCOM/3.6.671},
timestamp = {Fri, 30 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/logcom/Ghilezan93.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/logcom/GroveH93,
author = {Adam J. Grove and
Joseph Y. Halpern},
title = {Naming and Identity in Epistemic Logics Part {I:} The Propositional
Case},
journal = {J. Log. Comput.},
volume = {3},
number = {4},
pages = {345--378},
year = {1993},
url = {https://doi.org/10.1093/logcom/3.4.345},
doi = {10.1093/LOGCOM/3.4.345},
timestamp = {Wed, 17 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/logcom/GroveH93.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/logcom/Hankin93,
author = {Chris Hankin},
title = {Editorial: Logic in Abstract Interpretation},
journal = {J. Log. Comput.},
volume = {3},
number = {6},
pages = {577--578},
year = {1993},
url = {https://doi.org/10.1093/logcom/3.6.577},
doi = {10.1093/LOGCOM/3.6.577},
timestamp = {Wed, 17 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/logcom/Hankin93.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/logcom/Hirokawa93,
author = {Sachio Hirokawa},
title = {The Relevance Graph of a BCK-Formula},
journal = {J. Log. Comput.},
volume = {3},
number = {3},
pages = {269--285},
year = {1993},
url = {https://doi.org/10.1093/logcom/3.3.269},
doi = {10.1093/LOGCOM/3.3.269},
timestamp = {Fri, 30 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/logcom/Hirokawa93.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/logcom/Hoek93,
author = {Wiebe van der Hoek},
title = {Systems for Knowledge and Belief},
journal = {J. Log. Comput.},
volume = {3},
number = {2},
pages = {173--195},
year = {1993},
url = {https://doi.org/10.1093/logcom/3.2.173},
doi = {10.1093/LOGCOM/3.2.173},
timestamp = {Sun, 22 Oct 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/logcom/Hoek93.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/logcom/Hudelmaier93,
author = {J{\"{o}}rg Hudelmaier},
title = {An O(n log n)-Space Decision Procedure for Intuitionistic Propositional
Logic},
journal = {J. Log. Comput.},
volume = {3},
number = {1},
pages = {63--75},
year = {1993},
url = {https://doi.org/10.1093/logcom/3.1.63},
doi = {10.1093/LOGCOM/3.1.63},
timestamp = {Wed, 17 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/logcom/Hudelmaier93.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/logcom/Kelly93,
author = {Kevin T. Kelly},
title = {Learning Theory and Descriptive Set Theory},
journal = {J. Log. Comput.},
volume = {3},
number = {1},
pages = {27--45},
year = {1993},
url = {https://doi.org/10.1093/logcom/3.1.27},
doi = {10.1093/LOGCOM/3.1.27},
timestamp = {Wed, 17 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/logcom/Kelly93.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/logcom/Kowalski93,
author = {Robert A. Kowalski},
title = {Editorial: An Undergraduate Degree in Practical Reasoning},
journal = {J. Log. Comput.},
volume = {3},
number = {3},
pages = {227--229},
year = {1993},
url = {https://doi.org/10.1093/logcom/3.3.227},
doi = {10.1093/LOGCOM/3.3.227},
timestamp = {Wed, 17 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/logcom/Kowalski93.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/logcom/Kunzi93,
author = {Urs{-}Martin K{\"{u}}nzi},
title = {Logic Programs for Primitive Recursive Sets},
journal = {J. Log. Comput.},
volume = {3},
number = {4},
pages = {401--415},
year = {1993},
url = {https://doi.org/10.1093/logcom/3.4.401},
doi = {10.1093/LOGCOM/3.4.401},
timestamp = {Wed, 17 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/logcom/Kunzi93.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/logcom/LeoneR93,
author = {Nicola Leone and
Pasquale Rullo},
title = {Ordered Logic Programming with Sets},
journal = {J. Log. Comput.},
volume = {3},
number = {6},
pages = {621--642},
year = {1993},
url = {https://doi.org/10.1093/logcom/3.6.621},
doi = {10.1093/LOGCOM/3.6.621},
timestamp = {Tue, 06 Jun 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/logcom/LeoneR93.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/logcom/Masini93,
author = {Andrea Masini},
title = {2-Sequent Calculus: Intuitionism and Natural Deduction},
journal = {J. Log. Comput.},
volume = {3},
number = {5},
pages = {533--562},
year = {1993},
url = {https://doi.org/10.1093/logcom/3.5.533},
doi = {10.1093/LOGCOM/3.5.533},
timestamp = {Wed, 17 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/logcom/Masini93.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/logcom/OhlbachS93,
author = {Hans J{\"{u}}rgen Ohlbach and
Renate A. Schmidt},
title = {Editorial: The Possibility of Generating True Conjectures},
journal = {J. Log. Comput.},
volume = {3},
number = {4},
pages = {341--343},
year = {1993},
url = {https://doi.org/10.1093/logcom/3.4.341},
doi = {10.1093/LOGCOM/3.4.341},
timestamp = {Wed, 25 Sep 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/logcom/OhlbachS93.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/logcom/RobinsonS93,
author = {Peter J. Robinson and
John Staples},
title = {Formalizing a Hierarchical Structure of Practical Mathematical Reasoning},
journal = {J. Log. Comput.},
volume = {3},
number = {1},
pages = {47--61},
year = {1993},
url = {https://doi.org/10.1093/logcom/3.1.47},
doi = {10.1093/LOGCOM/3.1.47},
timestamp = {Wed, 17 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/logcom/RobinsonS93.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/logcom/Roscoe93,
author = {A. W. Roscoe},
title = {Unbounded Non-Determinism in {CSP}},
journal = {J. Log. Comput.},
volume = {3},
number = {2},
pages = {131--172},
year = {1993},
url = {https://doi.org/10.1093/logcom/3.2.131},
doi = {10.1093/LOGCOM/3.2.131},
timestamp = {Mon, 18 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/logcom/Roscoe93.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/logcom/Schlechta93,
author = {Karl Schlechta},
title = {Directly Sceptical Inheritance Cannot Capture the Intersection of
Extensions},
journal = {J. Log. Comput.},
volume = {3},
number = {5},
pages = {455--467},
year = {1993},
url = {https://doi.org/10.1093/logcom/3.5.455},
doi = {10.1093/LOGCOM/3.5.455},
timestamp = {Wed, 17 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/logcom/Schlechta93.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/logcom/Szalas93,
author = {Andrzej Szalas},
title = {On the Correspondence between Modal and Classical Logic: An Automated
Approach},
journal = {J. Log. Comput.},
volume = {3},
number = {6},
pages = {605--620},
year = {1993},
url = {https://doi.org/10.1093/logcom/3.6.605},
doi = {10.1093/LOGCOM/3.6.605},
timestamp = {Mon, 05 Feb 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/logcom/Szalas93.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/logcom/Turner93,
author = {Raymond Turner},
title = {Lazy Theories of Operations and Types},
journal = {J. Log. Comput.},
volume = {3},
number = {1},
pages = {77--102},
year = {1993},
url = {https://doi.org/10.1093/logcom/3.1.77},
doi = {10.1093/LOGCOM/3.1.77},
timestamp = {Wed, 17 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/logcom/Turner93.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/logcom/Vreeswijk93,
author = {Gerard Vreeswijk},
title = {Defeasible Dialectics: {A} Controversy-Oriented Approach Towards Defeasible
Argumentation},
journal = {J. Log. Comput.},
volume = {3},
number = {3},
pages = {317--334},
year = {1993},
url = {https://doi.org/10.1093/logcom/3.3.317},
doi = {10.1093/LOGCOM/3.3.317},
timestamp = {Wed, 17 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/logcom/Vreeswijk93.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/logcom/ZanardoC93,
author = {Alberto Zanardo and
Jos{\'{e}} Carmo},
title = {Ockhamist Computational Logic: Past-Sensitive Necessitation in {CTL}},
journal = {J. Log. Comput.},
volume = {3},
number = {3},
pages = {249--268},
year = {1993},
url = {https://doi.org/10.1093/logcom/3.3.249},
doi = {10.1093/LOGCOM/3.3.249},
timestamp = {Tue, 06 Jun 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/logcom/ZanardoC93.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-30 07:02 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:
