default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDSearch dblp for Publications
export results for "toc:db/journals/ndjfl/ndjfl18.bht:"
download as .bib file
@article{DBLP:journals/ndjfl/000277,
author = {David Meredith},
title = {In memoriam: Carew Arthur Meredith {(1904-1976)}},
journal = {Notre Dame J. Formal Log.},
volume = {18},
number = {4},
pages = {513--516},
year = {1977},
url = {https://doi.org/10.1305/ndjfl/1093888116},
doi = {10.1305/NDJFL/1093888116},
timestamp = {Thu, 21 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ndjfl/000277.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ndjfl/AlvesC77,
author = {E. H. Alves and
Newton C. A. da Costa},
title = {A semantical analysis of the calculi C\({}_{\mbox{n}}\)},
journal = {Notre Dame J. Formal Log.},
volume = {18},
number = {4},
pages = {621--630},
year = {1977},
url = {https://doi.org/10.1305/ndjfl/1093888132},
doi = {10.1305/NDJFL/1093888132},
timestamp = {Thu, 21 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ndjfl/AlvesC77.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ndjfl/ArchieHT77,
author = {Lee C. Archie and
B. G. Hurdle and
William Stewart Thomblison},
title = {A note on the truth-table for "if p then q"},
journal = {Notre Dame J. Formal Log.},
volume = {18},
number = {4},
pages = {596--598},
year = {1977},
url = {https://doi.org/10.1305/ndjfl/1093888125},
doi = {10.1305/NDJFL/1093888125},
timestamp = {Thu, 21 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ndjfl/ArchieHT77.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ndjfl/Ashworth77,
author = {Earline Jennifer Ashworth},
title = {An early fifteenth century discussion of infinite sets},
journal = {Notre Dame J. Formal Log.},
volume = {18},
number = {2},
pages = {232--234},
year = {1977},
url = {https://doi.org/10.1305/ndjfl/1093887925},
doi = {10.1305/NDJFL/1093887925},
timestamp = {Thu, 21 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ndjfl/Ashworth77.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ndjfl/Baker77,
author = {A. J. Baker},
title = {Classical logical relations},
journal = {Notre Dame J. Formal Log.},
volume = {18},
number = {1},
pages = {164--168},
year = {1977},
url = {https://doi.org/10.1305/ndjfl/1093887833},
doi = {10.1305/NDJFL/1093887833},
timestamp = {Thu, 21 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ndjfl/Baker77.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ndjfl/Banaschewski77,
author = {Bernhard Banaschewski},
title = {On G. Spencer Brown's laws of form},
journal = {Notre Dame J. Formal Log.},
volume = {18},
number = {3},
pages = {507--509},
year = {1977},
url = {https://doi.org/10.1305/ndjfl/1093888028},
doi = {10.1305/NDJFL/1093888028},
timestamp = {Thu, 21 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ndjfl/Banaschewski77.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ndjfl/BellH77,
author = {J. M. Bell and
Lloyd Humberstone},
title = {Two systems of presupposition logic},
journal = {Notre Dame J. Formal Log.},
volume = {18},
number = {3},
pages = {321--339},
year = {1977},
url = {https://doi.org/10.1305/ndjfl/1093888006},
doi = {10.1305/NDJFL/1093888006},
timestamp = {Thu, 21 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ndjfl/BellH77.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ndjfl/Bennett77,
author = {David W. Bennett},
title = {A note on the completeness proof for natural deduction},
journal = {Notre Dame J. Formal Log.},
volume = {18},
number = {1},
pages = {145--146},
year = {1977},
url = {https://doi.org/10.1305/ndjfl/1093887830},
doi = {10.1305/NDJFL/1093887830},
timestamp = {Thu, 21 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ndjfl/Bennett77.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ndjfl/Bird77,
author = {Otto Bird},
title = {In memoriam: Ivo Thomas {(1912-1976)}},
journal = {Notre Dame J. Formal Log.},
volume = {18},
number = {2},
pages = {193--194},
year = {1977},
url = {https://doi.org/10.1305/ndjfl/1093887921},
doi = {10.1305/NDJFL/1093887921},
timestamp = {Thu, 21 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ndjfl/Bird77.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ndjfl/Boer77,
author = {Steven E. Bo{\"{e}}r},
title = {Logical truth and indeterminacy},
journal = {Notre Dame J. Formal Log.},
volume = {18},
number = {1},
pages = {85--94},
year = {1977},
url = {https://doi.org/10.1305/ndjfl/1093887822},
doi = {10.1305/NDJFL/1093887822},
timestamp = {Thu, 21 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ndjfl/Boer77.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ndjfl/Boh77,
author = {Ivan Boh},
title = {The "conditionatim"-clause: one of the problems of existential import
in the history of logic},
journal = {Notre Dame J. Formal Log.},
volume = {18},
number = {3},
pages = {459--466},
year = {1977},
url = {https://doi.org/10.1305/ndjfl/1093888019},
doi = {10.1305/NDJFL/1093888019},
timestamp = {Thu, 21 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ndjfl/Boh77.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ndjfl/Butrick77,
author = {Richard Butrick},
title = {The numeral axioms},
journal = {Notre Dame J. Formal Log.},
volume = {18},
number = {3},
pages = {475--476},
year = {1977},
url = {https://doi.org/10.1305/ndjfl/1093888022},
doi = {10.1305/NDJFL/1093888022},
timestamp = {Mon, 28 Aug 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ndjfl/Butrick77.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ndjfl/Butrick77a,
author = {Richard Butrick},
title = {A deduction rule for {VBTO(} )\({}^{\mbox{n\({}_{\mbox{i=1}}\)}}\)},
journal = {Notre Dame J. Formal Log.},
volume = {18},
number = {3},
pages = {510--512},
year = {1977},
url = {https://doi.org/10.1305/ndjfl/1093888029},
doi = {10.1305/NDJFL/1093888029},
timestamp = {Thu, 21 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ndjfl/Butrick77a.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ndjfl/Button77,
author = {Robert Warren Button},
title = {When do *continuous extensions exist?},
journal = {Notre Dame J. Formal Log.},
volume = {18},
number = {3},
pages = {406--408},
year = {1977},
url = {https://doi.org/10.1305/ndjfl/1093888012},
doi = {10.1305/NDJFL/1093888012},
timestamp = {Thu, 21 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ndjfl/Button77.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ndjfl/Campbell77,
author = {Paul J. Campbell},
title = {An answer to Armstrong's question about incompleteness in Copi: "A
question about incompleteness"},
journal = {Notre Dame J. Formal Log.},
volume = {18},
number = {2},
pages = {262--264},
year = {1977},
url = {https://doi.org/10.1305/ndjfl/1093887931},
doi = {10.1305/NDJFL/1093887931},
timestamp = {Thu, 21 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ndjfl/Campbell77.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ndjfl/Catlin77,
author = {Seth Catlin},
title = {Pathologies in the ed-regressive sets of order 2},
journal = {Notre Dame J. Formal Log.},
volume = {18},
number = {4},
pages = {535--544},
year = {1977},
url = {https://doi.org/10.1305/ndjfl/1093888119},
doi = {10.1305/NDJFL/1093888119},
timestamp = {Thu, 21 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ndjfl/Catlin77.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ndjfl/Chytil77,
author = {Metodej K. Chytil},
title = {S{\'{e}}mantique des formules logiques en forme d'{\'{e}}quivalence
n-aire (demi-mod{\`{e}}les)},
journal = {Notre Dame J. Formal Log.},
volume = {18},
number = {3},
pages = {421--435},
year = {1977},
url = {https://doi.org/10.1305/ndjfl/1093888015},
doi = {10.1305/NDJFL/1093888015},
timestamp = {Thu, 21 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ndjfl/Chytil77.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ndjfl/CoburnM77,
author = {Barry Coburn and
David Miller},
title = {Two comments on Lemmon's \emph{Beginning logic}},
journal = {Notre Dame J. Formal Log.},
volume = {18},
number = {4},
pages = {607--610},
year = {1977},
url = {https://doi.org/10.1305/ndjfl/1093888128},
doi = {10.1305/NDJFL/1093888128},
timestamp = {Thu, 21 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ndjfl/CoburnM77.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ndjfl/Coppotelli77,
author = {Fred Coppotelli},
title = {On two first order type theories for the theory of sets},
journal = {Notre Dame J. Formal Log.},
volume = {18},
number = {1},
pages = {147--150},
year = {1977},
url = {https://doi.org/10.1305/ndjfl/1093887831},
doi = {10.1305/NDJFL/1093887831},
timestamp = {Thu, 21 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ndjfl/Coppotelli77.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ndjfl/Cowen77,
author = {Robert H. Cowen},
title = {Generalizing K{\"{o}}nig's infinity lemma},
journal = {Notre Dame J. Formal Log.},
volume = {18},
number = {2},
pages = {243--247},
year = {1977},
url = {https://doi.org/10.1305/ndjfl/1093887927},
doi = {10.1305/NDJFL/1093887927},
timestamp = {Sun, 19 Jan 2025 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/ndjfl/Cowen77.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ndjfl/Cowen77a,
author = {Robert H. Cowen},
title = {Binary consistent choice on triples},
journal = {Notre Dame J. Formal Log.},
volume = {18},
number = {2},
pages = {310--312},
year = {1977},
url = {https://doi.org/10.1305/ndjfl/1093887937},
doi = {10.1305/NDJFL/1093887937},
timestamp = {Thu, 21 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ndjfl/Cowen77a.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ndjfl/Czermak77,
author = {Johannes Czermak},
title = {A remark on Gentzen's calculus of sequents},
journal = {Notre Dame J. Formal Log.},
volume = {18},
number = {3},
pages = {471--474},
year = {1977},
url = {https://doi.org/10.1305/ndjfl/1093888021},
doi = {10.1305/NDJFL/1093888021},
timestamp = {Thu, 21 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ndjfl/Czermak77.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ndjfl/DavidsonJP77,
author = {B. Davidson and
Frank Cameron Jackson and
Robert Pargetter},
title = {Modal trees for {T} and {S5}},
journal = {Notre Dame J. Formal Log.},
volume = {18},
number = {4},
pages = {602--606},
year = {1977},
url = {https://doi.org/10.1305/ndjfl/1093888127},
doi = {10.1305/NDJFL/1093888127},
timestamp = {Thu, 21 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ndjfl/DavidsonJP77.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ndjfl/Daye77,
author = {Douglas Dunsmore Daye},
title = {Metalogical incompatibilities in the formal description of Buddhist
logic (Ny{\={a}}ya)},
journal = {Notre Dame J. Formal Log.},
volume = {18},
number = {2},
pages = {221--231},
year = {1977},
url = {https://doi.org/10.1305/ndjfl/1093887924},
doi = {10.1305/NDJFL/1093887924},
timestamp = {Thu, 21 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ndjfl/Daye77.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ndjfl/DeMillo77,
author = {Richard A. DeMillo},
title = {Some applications of model theory to the metatheory of program schemata},
journal = {Notre Dame J. Formal Log.},
volume = {18},
number = {3},
pages = {489--495},
year = {1977},
url = {https://doi.org/10.1305/ndjfl/1093888024},
doi = {10.1305/NDJFL/1093888024},
timestamp = {Thu, 21 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ndjfl/DeMillo77.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ndjfl/Evra77,
author = {James W. van Evra},
title = {A reassessment of George Boole's theory of logic},
journal = {Notre Dame J. Formal Log.},
volume = {18},
number = {3},
pages = {363--377},
year = {1977},
url = {https://doi.org/10.1305/ndjfl/1093888009},
doi = {10.1305/NDJFL/1093888009},
timestamp = {Thu, 21 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ndjfl/Evra77.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ndjfl/Facione77,
author = {Peter A. Facione},
title = {The entailment operator},
journal = {Notre Dame J. Formal Log.},
volume = {18},
number = {3},
pages = {415--420},
year = {1977},
url = {https://doi.org/10.1305/ndjfl/1093888014},
doi = {10.1305/NDJFL/1093888014},
timestamp = {Thu, 21 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ndjfl/Facione77.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ndjfl/Fitting77,
author = {Melvin Fitting},
title = {A tableau system for propositional {S5}},
journal = {Notre Dame J. Formal Log.},
volume = {18},
number = {2},
pages = {292--294},
year = {1977},
url = {https://doi.org/10.1305/ndjfl/1093887933},
doi = {10.1305/NDJFL/1093887933},
timestamp = {Thu, 21 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ndjfl/Fitting77.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ndjfl/Georgacarakos77,
author = {G. N. Georgacarakos},
title = {Abnormal worlds and the non-Lewis modal systems},
journal = {Notre Dame J. Formal Log.},
volume = {18},
number = {1},
pages = {95--100},
year = {1977},
url = {https://doi.org/10.1305/ndjfl/1093887823},
doi = {10.1305/NDJFL/1093887823},
timestamp = {Thu, 21 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ndjfl/Georgacarakos77.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ndjfl/Georgacarakos77a,
author = {G. N. Georgacarakos},
title = {Additional extensions of {S4}},
journal = {Notre Dame J. Formal Log.},
volume = {18},
number = {3},
pages = {477--488},
year = {1977},
url = {https://doi.org/10.1305/ndjfl/1093888023},
doi = {10.1305/NDJFL/1093888023},
timestamp = {Thu, 21 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ndjfl/Georgacarakos77a.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ndjfl/Georgacarakos77b,
author = {G. N. Georgacarakos},
title = {Semantics for {S4.03}},
journal = {Notre Dame J. Formal Log.},
volume = {18},
number = {3},
pages = {504--506},
year = {1977},
url = {https://doi.org/10.1305/ndjfl/1093888027},
doi = {10.1305/NDJFL/1093888027},
timestamp = {Thu, 21 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ndjfl/Georgacarakos77b.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ndjfl/Gersting77,
author = {Judith L. Gersting},
title = {Infinite series of regressive isols under addition},
journal = {Notre Dame J. Formal Log.},
volume = {18},
number = {2},
pages = {299--304},
year = {1977},
url = {https://doi.org/10.1305/ndjfl/1093887935},
doi = {10.1305/NDJFL/1093887935},
timestamp = {Thu, 21 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ndjfl/Gersting77.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ndjfl/Green77,
author = {Judy Green},
title = {Next {P} admissible sets are of cofinality {\(\omega\)}},
journal = {Notre Dame J. Formal Log.},
volume = {18},
number = {1},
pages = {175--176},
year = {1977},
url = {https://doi.org/10.1305/ndjfl/1093887835},
doi = {10.1305/NDJFL/1093887835},
timestamp = {Thu, 21 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ndjfl/Green77.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ndjfl/Guhl77,
author = {Richard Guhl},
title = {Two notes on recursively enumerable vector spaces},
journal = {Notre Dame J. Formal Log.},
volume = {18},
number = {2},
pages = {295--298},
year = {1977},
url = {https://doi.org/10.1305/ndjfl/1093887934},
doi = {10.1305/NDJFL/1093887934},
timestamp = {Thu, 21 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ndjfl/Guhl77.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ndjfl/HarperR77,
author = {Judith M. Harper and
Jean E. Rubin},
title = {Variations of Zorn's lemma, principles of cofinality, and Hausdorff's
maximal principle. {II.} Class forms},
journal = {Notre Dame J. Formal Log.},
volume = {18},
number = {1},
pages = {151--163},
year = {1977},
url = {https://doi.org/10.1305/ndjfl/1093887832},
doi = {10.1305/NDJFL/1093887832},
timestamp = {Sun, 19 Jan 2025 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/ndjfl/HarperR77.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ndjfl/Hickman77,
author = {John L. Hickman},
title = {Regressive order-types},
journal = {Notre Dame J. Formal Log.},
volume = {18},
number = {1},
pages = {169--174},
year = {1977},
url = {https://doi.org/10.1305/ndjfl/1093887834},
doi = {10.1305/NDJFL/1093887834},
timestamp = {Thu, 21 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ndjfl/Hickman77.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ndjfl/Hickman77a,
author = {John L. Hickman},
title = {Critical points of normal functions. {I}},
journal = {Notre Dame J. Formal Log.},
volume = {18},
number = {4},
pages = {527--534},
year = {1977},
url = {https://doi.org/10.1305/ndjfl/1093888118},
doi = {10.1305/NDJFL/1093888118},
timestamp = {Thu, 21 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ndjfl/Hickman77a.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ndjfl/Hino77,
author = {Kanzo Hino},
title = {On Yablonskii theory concerning functional completeness of k-valued
logic},
journal = {Notre Dame J. Formal Log.},
volume = {18},
number = {2},
pages = {251--254},
year = {1977},
url = {https://doi.org/10.1305/ndjfl/1093887929},
doi = {10.1305/NDJFL/1093887929},
timestamp = {Thu, 21 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ndjfl/Hino77.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ndjfl/HughesS77,
author = {Charles E. Hughes and
Wilson E. Singletary},
title = {The one-one equivalence of some general combinatorial decision problems},
journal = {Notre Dame J. Formal Log.},
volume = {18},
number = {2},
pages = {305--309},
year = {1977},
url = {https://doi.org/10.1305/ndjfl/1093887936},
doi = {10.1305/NDJFL/1093887936},
timestamp = {Thu, 21 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ndjfl/HughesS77.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ndjfl/Iturrioz77,
author = {Luisa Iturrioz},
title = {An axiom system for three-valued {\L}ukasiewicz propositional calculus},
journal = {Notre Dame J. Formal Log.},
volume = {18},
number = {4},
pages = {616--620},
year = {1977},
url = {https://doi.org/10.1305/ndjfl/1093888131},
doi = {10.1305/NDJFL/1093888131},
timestamp = {Mon, 28 Aug 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ndjfl/Iturrioz77.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ndjfl/Kohn77,
author = {Robert V. Kohn},
title = {Some Post-complete extensions of {S2} and {S3}},
journal = {Notre Dame J. Formal Log.},
volume = {18},
number = {3},
pages = {467--470},
year = {1977},
url = {https://doi.org/10.1305/ndjfl/1093888020},
doi = {10.1305/NDJFL/1093888020},
timestamp = {Thu, 21 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ndjfl/Kohn77.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ndjfl/Kowalski77,
author = {James George Kowalski},
title = {Le{\'{s}}niewski's ontology extended with the axiom of choice},
journal = {Notre Dame J. Formal Log.},
volume = {18},
number = {1},
pages = {1--78},
year = {1977},
url = {https://doi.org/10.1305/ndjfl/1093887820},
doi = {10.1305/NDJFL/1093887820},
timestamp = {Mon, 28 Aug 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ndjfl/Kowalski77.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ndjfl/Leblanc77,
author = {Hugues Leblanc},
title = {A strong completeness theorem for 3-valued logic. {II}},
journal = {Notre Dame J. Formal Log.},
volume = {18},
number = {1},
pages = {107--116},
year = {1977},
url = {https://doi.org/10.1305/ndjfl/1093887825},
doi = {10.1305/NDJFL/1093887825},
timestamp = {Thu, 21 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ndjfl/Leblanc77.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ndjfl/Loader77,
author = {John Loader},
title = {Second order and higher order universal decision elements in m-valued
logic},
journal = {Notre Dame J. Formal Log.},
volume = {18},
number = {2},
pages = {313--317},
year = {1977},
url = {https://doi.org/10.1305/ndjfl/1093887938},
doi = {10.1305/NDJFL/1093887938},
timestamp = {Thu, 21 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ndjfl/Loader77.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ndjfl/Lolli77,
author = {Gabriele Lolli},
title = {On Ramsey's theorem and the axiom of choice},
journal = {Notre Dame J. Formal Log.},
volume = {18},
number = {4},
pages = {599--601},
year = {1977},
url = {https://doi.org/10.1305/ndjfl/1093888126},
doi = {10.1305/NDJFL/1093888126},
timestamp = {Mon, 28 Aug 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ndjfl/Lolli77.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ndjfl/Mainzer77,
author = {Klaus Mainzer},
title = {Is the intuitionistic bar-induction a constructive principle?},
journal = {Notre Dame J. Formal Log.},
volume = {18},
number = {4},
pages = {583--588},
year = {1977},
url = {https://doi.org/10.1305/ndjfl/1093888122},
doi = {10.1305/NDJFL/1093888122},
timestamp = {Thu, 21 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ndjfl/Mainzer77.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ndjfl/Marshall77,
author = {David Marshall},
title = {{\L}ukasiewicz, Leibniz and the arithmetization of the syllogism},
journal = {Notre Dame J. Formal Log.},
volume = {18},
number = {2},
pages = {235--242},
year = {1977},
url = {https://doi.org/10.1305/ndjfl/1093887926},
doi = {10.1305/NDJFL/1093887926},
timestamp = {Sun, 22 Oct 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ndjfl/Marshall77.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ndjfl/Martin77,
author = {John Neil Martin},
title = {An axiomatization of Herzberger's 2-dimensional presuppositional semantics},
journal = {Notre Dame J. Formal Log.},
volume = {18},
number = {3},
pages = {378--382},
year = {1977},
url = {https://doi.org/10.1305/ndjfl/1093888010},
doi = {10.1305/NDJFL/1093888010},
timestamp = {Mon, 11 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ndjfl/Martin77.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ndjfl/Martin77a,
author = {Richard Milton Martin},
title = {Some thomistic properties of primordiality},
journal = {Notre Dame J. Formal Log.},
volume = {18},
number = {4},
pages = {567--582},
year = {1977},
url = {https://doi.org/10.1305/ndjfl/1093888121},
doi = {10.1305/NDJFL/1093888121},
timestamp = {Thu, 21 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ndjfl/Martin77a.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ndjfl/Massey77,
author = {Gerald J. Massey},
title = {Negation, material equivalence, and conditioned nonconjunction: completeness
and duality},
journal = {Notre Dame J. Formal Log.},
volume = {18},
number = {1},
pages = {140--144},
year = {1977},
url = {https://doi.org/10.1305/ndjfl/1093887829},
doi = {10.1305/NDJFL/1093887829},
timestamp = {Thu, 21 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ndjfl/Massey77.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ndjfl/McArthur77,
author = {Robert P. McArthur},
title = {Three-valued free tense logic},
journal = {Notre Dame J. Formal Log.},
volume = {18},
number = {1},
pages = {101--106},
year = {1977},
url = {https://doi.org/10.1305/ndjfl/1093887824},
doi = {10.1305/NDJFL/1093887824},
timestamp = {Thu, 21 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ndjfl/McArthur77.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ndjfl/McLaughlin77,
author = {Thomas G. McLaughlin},
title = {Degrees of unsolvability and strong forms of {\(\Lambda\)}\({}_{\mbox{R}}\)
+ {\(\Lambda\)}\({}_{\mbox{R}}\) {\(\not\subseteq\)} {\(\Lambda\)}\({}_{\mbox{R}}\)},
journal = {Notre Dame J. Formal Log.},
volume = {18},
number = {4},
pages = {545--566},
year = {1977},
url = {https://doi.org/10.1305/ndjfl/1093888120},
doi = {10.1305/NDJFL/1093888120},
timestamp = {Thu, 21 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ndjfl/McLaughlin77.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ndjfl/Merrill77,
author = {Daniel D. Merrill},
title = {On De Morgan's argument},
journal = {Notre Dame J. Formal Log.},
volume = {18},
number = {1},
pages = {133--139},
year = {1977},
url = {https://doi.org/10.1305/ndjfl/1093887828},
doi = {10.1305/NDJFL/1093887828},
timestamp = {Thu, 21 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ndjfl/Merrill77.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ndjfl/Merrill77a,
author = {Gary H. Merrill},
title = {On an enduring \emph{non sequitur} of Quine's},
journal = {Notre Dame J. Formal Log.},
volume = {18},
number = {4},
pages = {613--615},
year = {1977},
url = {https://doi.org/10.1305/ndjfl/1093888130},
doi = {10.1305/NDJFL/1093888130},
timestamp = {Thu, 21 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ndjfl/Merrill77a.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ndjfl/Meyer77,
author = {Robert K. Meyer},
title = {First degree formulas in Curry's {LD}},
journal = {Notre Dame J. Formal Log.},
volume = {18},
number = {1},
pages = {181--191},
year = {1977},
url = {https://doi.org/10.1305/ndjfl/1093887837},
doi = {10.1305/NDJFL/1093887837},
timestamp = {Thu, 21 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ndjfl/Meyer77.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ndjfl/Michael77,
author = {Emily Michael},
title = {A note on the roots on Peirce's division of logic into three branches},
journal = {Notre Dame J. Formal Log.},
volume = {18},
number = {4},
pages = {639--640},
year = {1977},
url = {https://doi.org/10.1305/ndjfl/1093888135},
doi = {10.1305/NDJFL/1093888135},
timestamp = {Thu, 21 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ndjfl/Michael77.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ndjfl/MiuraO77,
author = {Satoshi Miura and
Shigeo Ohama},
title = {A note on Thomason's representation of {S5}},
journal = {Notre Dame J. Formal Log.},
volume = {18},
number = {1},
pages = {177--180},
year = {1977},
url = {https://doi.org/10.1305/ndjfl/1093887836},
doi = {10.1305/NDJFL/1093887836},
timestamp = {Thu, 21 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ndjfl/MiuraO77.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ndjfl/Murungi77,
author = {Robert W. Murungi},
title = {Necessitas consequentis in a singleton possible world},
journal = {Notre Dame J. Formal Log.},
volume = {18},
number = {4},
pages = {637--638},
year = {1977},
url = {https://doi.org/10.1305/ndjfl/1093888134},
doi = {10.1305/NDJFL/1093888134},
timestamp = {Thu, 21 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ndjfl/Murungi77.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ndjfl/Nolan77,
author = {Patric Cean Nolan},
title = {A semantics model for imperatives},
journal = {Notre Dame J. Formal Log.},
volume = {18},
number = {1},
pages = {79--84},
year = {1977},
url = {https://doi.org/10.1305/ndjfl/1093887821},
doi = {10.1305/NDJFL/1093887821},
timestamp = {Thu, 21 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ndjfl/Nolan77.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ndjfl/Odifreddi77,
author = {Piergiorgio Odifreddi},
title = {A note on Suzuki's chain of hyperdegrees},
journal = {Notre Dame J. Formal Log.},
volume = {18},
number = {4},
pages = {589--590},
year = {1977},
url = {https://doi.org/10.1305/ndjfl/1093888123},
doi = {10.1305/NDJFL/1093888123},
timestamp = {Thu, 21 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ndjfl/Odifreddi77.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ndjfl/Orenduff77,
author = {J. Michael Orenduff},
title = {Are modal contexts referentially opaque?},
journal = {Notre Dame J. Formal Log.},
volume = {18},
number = {1},
pages = {128--132},
year = {1977},
url = {https://doi.org/10.1305/ndjfl/1093887827},
doi = {10.1305/NDJFL/1093887827},
timestamp = {Thu, 21 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ndjfl/Orenduff77.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ndjfl/Patt77,
author = {Yale N. Patt},
title = {Independent necessary conditions for functional completeness in m-valued
logic},
journal = {Notre Dame J. Formal Log.},
volume = {18},
number = {2},
pages = {318--320},
year = {1977},
url = {https://doi.org/10.1305/ndjfl/1093887939},
doi = {10.1305/NDJFL/1093887939},
timestamp = {Thu, 21 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ndjfl/Patt77.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ndjfl/Porte77,
author = {Deirdre La Porte},
title = {Bibliography of Ivo Thomas},
journal = {Notre Dame J. Formal Log.},
volume = {18},
number = {2},
pages = {195--207},
year = {1977},
url = {https://doi.org/10.1305/ndjfl/1093887922},
doi = {10.1305/NDJFL/1093887922},
timestamp = {Thu, 21 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ndjfl/Porte77.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ndjfl/Priest77,
author = {Graham Priest},
title = {A refoundation of modal logic},
journal = {Notre Dame J. Formal Log.},
volume = {18},
number = {3},
pages = {340--354},
year = {1977},
url = {https://doi.org/10.1305/ndjfl/1093888007},
doi = {10.1305/NDJFL/1093888007},
timestamp = {Thu, 21 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ndjfl/Priest77.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ndjfl/Rose77,
author = {Alan Rose},
title = {Simplified formalizations of fragments of the propositional calculus},
journal = {Notre Dame J. Formal Log.},
volume = {18},
number = {2},
pages = {255--261},
year = {1977},
url = {https://doi.org/10.1305/ndjfl/1093887930},
doi = {10.1305/NDJFL/1093887930},
timestamp = {Thu, 21 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ndjfl/Rose77.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ndjfl/Sarlet77,
author = {Henri J. Sarlet},
title = {Hintikka's free logic is not free},
journal = {Notre Dame J. Formal Log.},
volume = {18},
number = {3},
pages = {458},
year = {1977},
url = {https://doi.org/10.1305/ndjfl/1093888018},
doi = {10.1305/NDJFL/1093888018},
timestamp = {Thu, 21 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ndjfl/Sarlet77.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ndjfl/Schock77,
author = {Rolf Schock},
title = {A note on the axiom of choice and the continuum hypothesis},
journal = {Notre Dame J. Formal Log.},
volume = {18},
number = {3},
pages = {409--414},
year = {1977},
url = {https://doi.org/10.1305/ndjfl/1093888013},
doi = {10.1305/NDJFL/1093888013},
timestamp = {Mon, 28 Aug 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ndjfl/Schock77.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ndjfl/Seldin77,
author = {Jonathan P. Seldin},
title = {The Q-consistency of \emph{F}\({}_{\mbox{22}}\)},
journal = {Notre Dame J. Formal Log.},
volume = {18},
number = {1},
pages = {117--127},
year = {1977},
url = {https://doi.org/10.1305/ndjfl/1093887826},
doi = {10.1305/NDJFL/1093887826},
timestamp = {Thu, 21 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ndjfl/Seldin77.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ndjfl/Shapiro77,
author = {Stewart Shapiro},
title = {Incomplete translations of complete logics},
journal = {Notre Dame J. Formal Log.},
volume = {18},
number = {2},
pages = {248--250},
year = {1977},
url = {https://doi.org/10.1305/ndjfl/1093887928},
doi = {10.1305/NDJFL/1093887928},
timestamp = {Thu, 21 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ndjfl/Shapiro77.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ndjfl/Siemens77,
author = {David F. Siemens},
title = {Fitch-style rules for many modal logics},
journal = {Notre Dame J. Formal Log.},
volume = {18},
number = {4},
pages = {631--636},
year = {1977},
url = {https://doi.org/10.1305/ndjfl/1093888133},
doi = {10.1305/NDJFL/1093888133},
timestamp = {Thu, 21 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ndjfl/Siemens77.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ndjfl/Singh77,
author = {Dasharath Singh},
title = {On Ackermann's theory of sets},
journal = {Notre Dame J. Formal Log.},
volume = {18},
number = {4},
pages = {591--595},
year = {1977},
url = {https://doi.org/10.1305/ndjfl/1093888124},
doi = {10.1305/NDJFL/1093888124},
timestamp = {Thu, 21 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ndjfl/Singh77.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ndjfl/Slaght77,
author = {Ralph L. Slaght},
title = {Modal tree constructions},
journal = {Notre Dame J. Formal Log.},
volume = {18},
number = {4},
pages = {517--526},
year = {1977},
url = {https://doi.org/10.1305/ndjfl/1093888117},
doi = {10.1305/NDJFL/1093888117},
timestamp = {Thu, 21 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ndjfl/Slaght77.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ndjfl/Szabo77,
author = {Manfred E. Szabo},
title = {The logic of closed categories},
journal = {Notre Dame J. Formal Log.},
volume = {18},
number = {3},
pages = {441--457},
year = {1977},
url = {https://doi.org/10.1305/ndjfl/1093888017},
doi = {10.1305/NDJFL/1093888017},
timestamp = {Thu, 21 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ndjfl/Szabo77.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ndjfl/Vobach77,
author = {Arnold R. Vobach},
title = {The weak topology on logical calculi},
journal = {Notre Dame J. Formal Log.},
volume = {18},
number = {3},
pages = {436--440},
year = {1977},
url = {https://doi.org/10.1305/ndjfl/1093888016},
doi = {10.1305/NDJFL/1093888016},
timestamp = {Thu, 21 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ndjfl/Vobach77.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ndjfl/Vuckovic77,
author = {Vladeta Vuckovic},
title = {Recursive and recursively enumerable manifolds. {I}},
journal = {Notre Dame J. Formal Log.},
volume = {18},
number = {2},
pages = {265--291},
year = {1977},
url = {https://doi.org/10.1305/ndjfl/1093887932},
doi = {10.1305/NDJFL/1093887932},
timestamp = {Thu, 21 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ndjfl/Vuckovic77.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ndjfl/Vuckovic77a,
author = {Vladeta Vuckovic},
title = {Recursive and recursively enumerable manifolds. {II}},
journal = {Notre Dame J. Formal Log.},
volume = {18},
number = {3},
pages = {383--405},
year = {1977},
url = {https://doi.org/10.1305/ndjfl/1093888011},
doi = {10.1305/NDJFL/1093888011},
timestamp = {Thu, 21 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ndjfl/Vuckovic77a.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ndjfl/Werner77,
author = {Charles G. Werner},
title = {Frequencies and beliefs},
journal = {Notre Dame J. Formal Log.},
volume = {18},
number = {3},
pages = {496--498},
year = {1977},
url = {https://doi.org/10.1305/ndjfl/1093888025},
doi = {10.1305/NDJFL/1093888025},
timestamp = {Thu, 21 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ndjfl/Werner77.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ndjfl/Wertz77,
author = {Spencer K. Wertz},
title = {"Not both p and q, therefore if p then q" is a valid form of argument},
journal = {Notre Dame J. Formal Log.},
volume = {18},
number = {4},
pages = {611--612},
year = {1977},
url = {https://doi.org/10.1305/ndjfl/1093888129},
doi = {10.1305/NDJFL/1093888129},
timestamp = {Sat, 11 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/ndjfl/Wertz77.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ndjfl/Weston77,
author = {Thomas S. Weston},
title = {The continuum hypothesis is independent of second-order {ZF}},
journal = {Notre Dame J. Formal Log.},
volume = {18},
number = {3},
pages = {499--503},
year = {1977},
url = {https://doi.org/10.1305/ndjfl/1093888026},
doi = {10.1305/NDJFL/1093888026},
timestamp = {Thu, 21 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ndjfl/Weston77.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ndjfl/Wilson77,
author = {Robert L. Wilson},
title = {The modal predicate logics PF\({}^{\mbox{*}}\) {F}},
journal = {Notre Dame J. Formal Log.},
volume = {18},
number = {2},
pages = {208--220},
year = {1977},
url = {https://doi.org/10.1305/ndjfl/1093887923},
doi = {10.1305/NDJFL/1093887923},
timestamp = {Thu, 21 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ndjfl/Wilson77.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ndjfl/Wilson77a,
author = {Robert L. Wilson},
title = {A note on metaphysics and the foundations of mathematics},
journal = {Notre Dame J. Formal Log.},
volume = {18},
number = {3},
pages = {355--362},
year = {1977},
url = {https://doi.org/10.1305/ndjfl/1093888008},
doi = {10.1305/NDJFL/1093888008},
timestamp = {Thu, 21 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ndjfl/Wilson77a.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 2025-01-24 11:58 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:
