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/ndjfl/ndjfl36.bht:"
download as .bib file
@article{DBLP:journals/ndjfl/AnshakovR95,
author = {Oleg Anshakov and
S. Rychkov},
title = {On Finite-Valued Propositional Logical Calculi},
journal = {Notre Dame J. Formal Log.},
volume = {36},
number = {4},
pages = {606--629},
year = {1995},
url = {https://doi.org/10.1305/ndjfl/1040136920},
doi = {10.1305/NDJFL/1040136920},
timestamp = {Thu, 21 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ndjfl/AnshakovR95.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ndjfl/BelleP95,
author = {Dorella Bell{\`{e}} and
Franco Parlamento},
title = {Decidability and Completeness for Open Formulas of Membership Theories},
journal = {Notre Dame J. Formal Log.},
volume = {36},
number = {2},
pages = {304--318},
year = {1995},
url = {https://doi.org/10.1305/ndjfl/1040248461},
doi = {10.1305/NDJFL/1040248461},
timestamp = {Thu, 21 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ndjfl/BelleP95.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ndjfl/BellissimaB95,
author = {Fabio Bellissima and
Anna Bucalo},
title = {A Distinguishable Model Theorem for the Minimal US-Tense Logic},
journal = {Notre Dame J. Formal Log.},
volume = {36},
number = {4},
pages = {585--594},
year = {1995},
url = {https://doi.org/10.1305/ndjfl/1040136918},
doi = {10.1305/NDJFL/1040136918},
timestamp = {Thu, 21 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ndjfl/BellissimaB95.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ndjfl/Boutilier95,
author = {Craig Boutilier},
title = {On the Revision of Probabilistic Belief States},
journal = {Notre Dame J. Formal Log.},
volume = {36},
number = {1},
pages = {158--183},
year = {1995},
url = {https://doi.org/10.1305/ndjfl/1040308833},
doi = {10.1305/NDJFL/1040308833},
timestamp = {Thu, 21 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ndjfl/Boutilier95.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ndjfl/BritzB95,
author = {Katarina Britz and
Chris Brink},
title = {Computing Verisimilitude},
journal = {Notre Dame J. Formal Log.},
volume = {36},
number = {1},
pages = {30--43},
year = {1995},
url = {https://doi.org/10.1305/ndjfl/1040308827},
doi = {10.1305/NDJFL/1040308827},
timestamp = {Thu, 21 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ndjfl/BritzB95.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ndjfl/Cain95,
author = {James Cain},
title = {Arithmetic With Satisfaction},
journal = {Notre Dame J. Formal Log.},
volume = {36},
number = {2},
pages = {299--303},
year = {1995},
url = {https://doi.org/10.1305/ndjfl/1040248460},
doi = {10.1305/NDJFL/1040248460},
timestamp = {Thu, 21 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ndjfl/Cain95.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ndjfl/Cantini95,
author = {Andrea Cantini},
title = {Levels of Truth},
journal = {Notre Dame J. Formal Log.},
volume = {36},
number = {2},
pages = {185--213},
year = {1995},
url = {https://doi.org/10.1305/ndjfl/1040248454},
doi = {10.1305/NDJFL/1040248454},
timestamp = {Thu, 21 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ndjfl/Cantini95.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ndjfl/Clote95,
author = {Peter Clote},
title = {Editor's Introduction},
journal = {Notre Dame J. Formal Log.},
volume = {36},
number = {4},
pages = {499--501},
year = {1995},
url = {https://doi.org/10.1305/ndjfl/1040136910},
doi = {10.1305/NDJFL/1040136910},
timestamp = {Thu, 21 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ndjfl/Clote95.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ndjfl/Forbes95,
author = {Graeme Forbes},
title = {Book Review: Ruth Barcan Marcus, Modalities, Oxford University Press,
1993},
journal = {Notre Dame J. Formal Log.},
volume = {36},
number = {2},
pages = {336--339},
year = {1995},
url = {https://doi.org/10.1305/ndjfl/1040248463},
doi = {10.1305/NDJFL/1040248463},
timestamp = {Thu, 21 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ndjfl/Forbes95.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ndjfl/Fuhrmann95,
author = {Andr{\'{e}} Fuhrmann},
title = {Editor's Introduction},
journal = {Notre Dame J. Formal Log.},
volume = {36},
number = {1},
pages = {1--14},
year = {1995},
url = {https://doi.org/10.1305/ndjfl/1040308825},
doi = {10.1305/NDJFL/1040308825},
timestamp = {Thu, 21 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ndjfl/Fuhrmann95.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ndjfl/Gargov95,
author = {George Gargov},
title = {An Approach to Uncertainty via Sets of Truth Values},
journal = {Notre Dame J. Formal Log.},
volume = {36},
number = {2},
pages = {235--268},
year = {1995},
url = {https://doi.org/10.1305/ndjfl/1040248457},
doi = {10.1305/NDJFL/1040248457},
timestamp = {Thu, 21 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ndjfl/Gargov95.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ndjfl/HanssonO95,
author = {Sven Ove Hansson and
Erik J. Olsson},
title = {Levi Contractions and {AGM} Contractions: a Comparison},
journal = {Notre Dame J. Formal Log.},
volume = {36},
number = {1},
pages = {103--119},
year = {1995},
url = {https://doi.org/10.1305/ndjfl/1040308830},
doi = {10.1305/NDJFL/1040308830},
timestamp = {Thu, 21 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ndjfl/HanssonO95.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ndjfl/Helmreich95,
author = {J. E. Helmreich},
title = {Expansions of Ultrahomogeneous Graphs},
journal = {Notre Dame J. Formal Log.},
volume = {36},
number = {3},
pages = {414--424},
year = {1995},
url = {https://doi.org/10.1305/ndjfl/1040149357},
doi = {10.1305/NDJFL/1040149357},
timestamp = {Thu, 21 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ndjfl/Helmreich95.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ndjfl/Higasikawa95,
author = {Masasi Higasikawa},
title = {Partition Principles and Infinite Sums of Cardinal Numbers},
journal = {Notre Dame J. Formal Log.},
volume = {36},
number = {3},
pages = {425--434},
year = {1995},
url = {https://doi.org/10.1305/ndjfl/1040149358},
doi = {10.1305/NDJFL/1040149358},
timestamp = {Thu, 21 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ndjfl/Higasikawa95.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ndjfl/Humberstone95,
author = {Lloyd Humberstone},
title = {The Logic of Non-contingency},
journal = {Notre Dame J. Formal Log.},
volume = {36},
number = {2},
pages = {214--229},
year = {1995},
url = {https://doi.org/10.1305/ndjfl/1040248455},
doi = {10.1305/NDJFL/1040248455},
timestamp = {Thu, 21 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ndjfl/Humberstone95.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ndjfl/Hyttinen95,
author = {Tapani Hyttinen},
title = {Remarks on Structure Theorems for {\(\omega\)}\({}_{\mbox{1}}\)-Saturated
Models},
journal = {Notre Dame J. Formal Log.},
volume = {36},
number = {2},
pages = {269--278},
year = {1995},
url = {https://doi.org/10.1305/ndjfl/1040248458},
doi = {10.1305/NDJFL/1040248458},
timestamp = {Thu, 21 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ndjfl/Hyttinen95.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ndjfl/Jaspars95,
author = {Jan Jaspars},
title = {Partial Up and Down Logic},
journal = {Notre Dame J. Formal Log.},
volume = {36},
number = {1},
pages = {134--157},
year = {1995},
url = {https://doi.org/10.1305/ndjfl/1040308832},
doi = {10.1305/NDJFL/1040308832},
timestamp = {Thu, 21 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ndjfl/Jaspars95.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ndjfl/JoyR95,
author = {Mike S. Joy and
Victor J. Rayward{-}Smith},
title = {NP-Completeness of a Combinator Optimization Problem},
journal = {Notre Dame J. Formal Log.},
volume = {36},
number = {2},
pages = {319--335},
year = {1995},
url = {https://doi.org/10.1305/ndjfl/1040248462},
doi = {10.1305/NDJFL/1040248462},
timestamp = {Thu, 21 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ndjfl/JoyR95.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ndjfl/Kaye95,
author = {Richard Kaye},
title = {The Theory of {\(\kappa\)}-like Models of Arithmetic},
journal = {Notre Dame J. Formal Log.},
volume = {36},
number = {4},
pages = {547--559},
year = {1995},
url = {https://doi.org/10.1305/ndjfl/1040136915},
doi = {10.1305/NDJFL/1040136915},
timestamp = {Thu, 21 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ndjfl/Kaye95.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ndjfl/Kondo95,
author = {Michiro Kondo},
title = {Classification of Weak DeMorgan Algebras},
journal = {Notre Dame J. Formal Log.},
volume = {36},
number = {3},
pages = {396--406},
year = {1995},
url = {https://doi.org/10.1305/ndjfl/1040149355},
doi = {10.1305/NDJFL/1040149355},
timestamp = {Thu, 21 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ndjfl/Kondo95.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ndjfl/Kondo95a,
author = {Michiro Kondo},
title = {Approximation Logic and Strong Bunge Algebra},
journal = {Notre Dame J. Formal Log.},
volume = {36},
number = {4},
pages = {595--605},
year = {1995},
url = {https://doi.org/10.1305/ndjfl/1040136919},
doi = {10.1305/NDJFL/1040136919},
timestamp = {Thu, 21 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ndjfl/Kondo95a.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ndjfl/Kossak95,
author = {Roman Kossak},
title = {Four Problems Concerning Recursively Saturated Models of Arithmetic},
journal = {Notre Dame J. Formal Log.},
volume = {36},
number = {4},
pages = {519--530},
year = {1995},
url = {https://doi.org/10.1305/ndjfl/1040136913},
doi = {10.1305/NDJFL/1040136913},
timestamp = {Thu, 21 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ndjfl/Kossak95.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ndjfl/KossakS95,
author = {Roman Kossak and
James H. Schmerl},
title = {Arithmetically Saturated Models of Arithmetic},
journal = {Notre Dame J. Formal Log.},
volume = {36},
number = {4},
pages = {531--546},
year = {1995},
url = {https://doi.org/10.1305/ndjfl/1040136914},
doi = {10.1305/NDJFL/1040136914},
timestamp = {Thu, 21 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ndjfl/KossakS95.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ndjfl/Kotlarski95,
author = {Henryk Kotlarski},
title = {Automorphisms of Countable Recursively Saturated Models of {PA:} a
Survey},
journal = {Notre Dame J. Formal Log.},
volume = {36},
number = {4},
pages = {505--518},
year = {1995},
url = {https://doi.org/10.1305/ndjfl/1040136912},
doi = {10.1305/NDJFL/1040136912},
timestamp = {Thu, 21 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ndjfl/Kotlarski95.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ndjfl/Kuhn95,
author = {Steven T. Kuhn},
title = {Minimal Non-contingency Logic},
journal = {Notre Dame J. Formal Log.},
volume = {36},
number = {2},
pages = {230--234},
year = {1995},
url = {https://doi.org/10.1305/ndjfl/1040248456},
doi = {10.1305/NDJFL/1040248456},
timestamp = {Thu, 21 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ndjfl/Kuhn95.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ndjfl/Makkai95,
author = {Michael Makkai},
title = {On Gabbay's Proof of the Craig Interpolation Theorem for Intuitionistic
Predicate Logic},
journal = {Notre Dame J. Formal Log.},
volume = {36},
number = {3},
pages = {364--381},
year = {1995},
url = {https://doi.org/10.1305/ndjfl/1040149353},
doi = {10.1305/NDJFL/1040149353},
timestamp = {Thu, 21 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ndjfl/Makkai95.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ndjfl/Megill95,
author = {Norman D. Megill},
title = {A Finitely Axiomatized Formalization of Predicate Calculus with Equality},
journal = {Notre Dame J. Formal Log.},
volume = {36},
number = {3},
pages = {435--453},
year = {1995},
url = {https://doi.org/10.1305/ndjfl/1040149359},
doi = {10.1305/NDJFL/1040149359},
timestamp = {Thu, 21 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ndjfl/Megill95.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ndjfl/Meixner95,
author = {Uwe Meixner},
title = {Ontologically Minimal Logical Semantics},
journal = {Notre Dame J. Formal Log.},
volume = {36},
number = {2},
pages = {279--298},
year = {1995},
url = {https://doi.org/10.1305/ndjfl/1040248459},
doi = {10.1305/NDJFL/1040248459},
timestamp = {Thu, 21 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ndjfl/Meixner95.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ndjfl/MendezS95,
author = {Jos{\'{e}} M. M{\'{e}}ndez and
Francisco Salto},
title = {Urquhart's {C} with Intuitionistic Negation: Dummett's {LC} without
the Contraction Axiom},
journal = {Notre Dame J. Formal Log.},
volume = {36},
number = {3},
pages = {407--413},
year = {1995},
url = {https://doi.org/10.1305/ndjfl/1040149356},
doi = {10.1305/NDJFL/1040149356},
timestamp = {Mon, 28 Aug 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ndjfl/MendezS95.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ndjfl/MichaelT95,
author = {Michaelis Michael and
A. V. Townsend},
title = {Binary Quantification Systems},
journal = {Notre Dame J. Formal Log.},
volume = {36},
number = {3},
pages = {382--395},
year = {1995},
url = {https://doi.org/10.1305/ndjfl/1040149354},
doi = {10.1305/NDJFL/1040149354},
timestamp = {Thu, 21 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ndjfl/MichaelT95.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ndjfl/Murawski95,
author = {Roman Murawski},
title = {The Contribution of Zygmunt Ratajczyk to the Foundations of Arithmetic},
journal = {Notre Dame J. Formal Log.},
volume = {36},
number = {4},
pages = {502--504},
year = {1995},
url = {https://doi.org/10.1305/ndjfl/1040136911},
doi = {10.1305/NDJFL/1040136911},
timestamp = {Thu, 21 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ndjfl/Murawski95.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ndjfl/OHaraRS95,
author = {Kieron O'Hara and
Han Reichgelt and
Nigel Shadbolt},
title = {Avoiding Omnidoxasticity in Logics of Belief: {A} Reply to MacPherson},
journal = {Notre Dame J. Formal Log.},
volume = {36},
number = {3},
pages = {475--495},
year = {1995},
url = {https://doi.org/10.1305/ndjfl/1040149361},
doi = {10.1305/NDJFL/1040149361},
timestamp = {Thu, 21 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ndjfl/OHaraRS95.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ndjfl/PeppasW95,
author = {Pavlos Peppas and
Mary{-}Anne Williams},
title = {Constructive Modelings for Theory Change},
journal = {Notre Dame J. Formal Log.},
volume = {36},
number = {1},
pages = {120--133},
year = {1995},
url = {https://doi.org/10.1305/ndjfl/1040308831},
doi = {10.1305/NDJFL/1040308831},
timestamp = {Thu, 14 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ndjfl/PeppasW95.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ndjfl/RoeperL95,
author = {Peter Roeper and
Hugues Leblanc},
title = {Consequence and Confirmation},
journal = {Notre Dame J. Formal Log.},
volume = {36},
number = {3},
pages = {341--363},
year = {1995},
url = {https://doi.org/10.1305/ndjfl/1040149352},
doi = {10.1305/NDJFL/1040149352},
timestamp = {Thu, 21 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ndjfl/RoeperL95.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ndjfl/RyanS95,
author = {Mark Ryan and
Pierre{-}Yves Schobbens},
title = {Belief Revision and Verisimilitude},
journal = {Notre Dame J. Formal Log.},
volume = {36},
number = {1},
pages = {15--29},
year = {1995},
url = {https://doi.org/10.1305/ndjfl/1040308826},
doi = {10.1305/NDJFL/1040308826},
timestamp = {Wed, 07 Dec 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/ndjfl/RyanS95.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ndjfl/Schmerl95,
author = {James H. Schmerl},
title = {PA(aa)},
journal = {Notre Dame J. Formal Log.},
volume = {36},
number = {4},
pages = {560--569},
year = {1995},
url = {https://doi.org/10.1305/ndjfl/1040136916},
doi = {10.1305/NDJFL/1040136916},
timestamp = {Thu, 21 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ndjfl/Schmerl95.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ndjfl/SeetapunS95,
author = {David Seetapun and
Theodore A. Slaman},
title = {On the Strength of Ramsey's Theorem},
journal = {Notre Dame J. Formal Log.},
volume = {36},
number = {4},
pages = {570--582},
year = {1995},
url = {https://doi.org/10.1305/ndjfl/1040136917},
doi = {10.1305/NDJFL/1040136917},
timestamp = {Thu, 21 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ndjfl/SeetapunS95.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ndjfl/Tzouvaras95,
author = {Athanassios Tzouvaras},
title = {Worlds of Homogeneous Artifacts},
journal = {Notre Dame J. Formal Log.},
volume = {36},
number = {3},
pages = {454--474},
year = {1995},
url = {https://doi.org/10.1305/ndjfl/1040149360},
doi = {10.1305/NDJFL/1040149360},
timestamp = {Thu, 21 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ndjfl/Tzouvaras95.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ndjfl/Wansing95,
author = {Heinrich Wansing},
title = {Semantics-based Nonmonotonic Inference},
journal = {Notre Dame J. Formal Log.},
volume = {36},
number = {1},
pages = {44--54},
year = {1995},
url = {https://doi.org/10.1305/ndjfl/1040308828},
doi = {10.1305/NDJFL/1040308828},
timestamp = {Wed, 07 Dec 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/ndjfl/Wansing95.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ndjfl/Wobcke95,
author = {Wayne Wobcke},
title = {Belief Revision, Conditional Logic and Nonmonotonic Reasoning},
journal = {Notre Dame J. Formal Log.},
volume = {36},
number = {1},
pages = {55--102},
year = {1995},
url = {https://doi.org/10.1305/ndjfl/1040308829},
doi = {10.1305/NDJFL/1040308829},
timestamp = {Thu, 21 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ndjfl/Wobcke95.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-07-03 01:37 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:
