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/ndjfl28.bht:"
download as .bib file
@article{DBLP:journals/ndjfl/Anderson87,
author = {C. Anthony Anderson},
title = {Semantical antinomies in the logic of sense and denotation},
journal = {Notre Dame J. Formal Log.},
volume = {28},
number = {1},
pages = {99--114},
year = {1987},
url = {https://doi.org/10.1305/ndjfl/1093636849},
doi = {10.1305/NDJFL/1093636849},
timestamp = {Thu, 21 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ndjfl/Anderson87.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ndjfl/Bell87,
author = {David Bell},
title = {Thoughts},
journal = {Notre Dame J. Formal Log.},
volume = {28},
number = {1},
pages = {36--50},
year = {1987},
url = {https://doi.org/10.1305/ndjfl/1093636844},
doi = {10.1305/NDJFL/1093636844},
timestamp = {Thu, 21 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ndjfl/Bell87.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ndjfl/Bull87,
author = {R. A. Bull},
title = {Survey of generalizations of Urquhart semantics},
journal = {Notre Dame J. Formal Log.},
volume = {28},
number = {2},
pages = {220--237},
year = {1987},
url = {https://doi.org/10.1305/ndjfl/1093636940},
doi = {10.1305/NDJFL/1093636940},
timestamp = {Thu, 21 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ndjfl/Bull87.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ndjfl/BurriezaL87,
author = {A. Burrieza and
Juan C. Le{\'{o}}n},
title = {Modal trees: correction to a decision procedure for {S5} (and {T)}},
journal = {Notre Dame J. Formal Log.},
volume = {28},
number = {3},
pages = {385--391},
year = {1987},
url = {https://doi.org/10.1305/ndjfl/1093637558},
doi = {10.1305/NDJFL/1093637558},
timestamp = {Thu, 21 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ndjfl/BurriezaL87.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ndjfl/Butrick87,
author = {Richard Butrick},
title = {A system of predicate logic with transatomic units},
journal = {Notre Dame J. Formal Log.},
volume = {28},
number = {3},
pages = {431--438},
year = {1987},
url = {https://doi.org/10.1305/ndjfl/1093637564},
doi = {10.1305/NDJFL/1093637564},
timestamp = {Thu, 21 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ndjfl/Butrick87.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ndjfl/Currie87,
author = {Gregory Currie},
title = {Remarks on Frege's conception of inference},
journal = {Notre Dame J. Formal Log.},
volume = {28},
number = {1},
pages = {55--68},
year = {1987},
url = {https://doi.org/10.1305/ndjfl/1093636846},
doi = {10.1305/NDJFL/1093636846},
timestamp = {Thu, 21 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ndjfl/Currie87.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ndjfl/Daniels87,
author = {Charles B. Daniels},
title = {A first-order logic with no logical constants},
journal = {Notre Dame J. Formal Log.},
volume = {28},
number = {3},
pages = {408--413},
year = {1987},
url = {https://doi.org/10.1305/ndjfl/1093637561},
doi = {10.1305/NDJFL/1093637561},
timestamp = {Thu, 21 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ndjfl/Daniels87.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ndjfl/Doets87,
author = {Kees Doets},
title = {On n-equivalence of binary trees},
journal = {Notre Dame J. Formal Log.},
volume = {28},
number = {2},
pages = {238--243},
year = {1987},
url = {https://doi.org/10.1305/ndjfl/1093636941},
doi = {10.1305/NDJFL/1093636941},
timestamp = {Thu, 21 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ndjfl/Doets87.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ndjfl/Flannery87,
author = {Kevin L. Flannery},
title = {A rationale for Aristotle's notion of perfect syllogisms},
journal = {Notre Dame J. Formal Log.},
volume = {28},
number = {3},
pages = {455--471},
year = {1987},
url = {https://doi.org/10.1305/ndjfl/1093637566},
doi = {10.1305/NDJFL/1093637566},
timestamp = {Thu, 21 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ndjfl/Flannery87.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ndjfl/Gold87,
author = {Bonnie Gold},
title = {Relatively Diophantine correct models of arithmetic},
journal = {Notre Dame J. Formal Log.},
volume = {28},
number = {2},
pages = {291--296},
year = {1987},
url = {https://doi.org/10.1305/ndjfl/1093636946},
doi = {10.1305/NDJFL/1093636946},
timestamp = {Thu, 21 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ndjfl/Gold87.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ndjfl/Goodman87,
author = {Nicolas D. Goodman},
title = {Intensions, Church's thesis, and the formalization of mathematics},
journal = {Notre Dame J. Formal Log.},
volume = {28},
number = {4},
pages = {473--489},
year = {1987},
url = {https://doi.org/10.1305/ndjfl/1093637644},
doi = {10.1305/NDJFL/1093637644},
timestamp = {Thu, 21 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ndjfl/Goodman87.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ndjfl/Hand87,
author = {Michael Hand},
title = {\emph{Other} and \emph{else}: restrictions on quantifier domains in
game-theoretical semantics},
journal = {Notre Dame J. Formal Log.},
volume = {28},
number = {3},
pages = {423--430},
year = {1987},
url = {https://doi.org/10.1305/ndjfl/1093637563},
doi = {10.1305/NDJFL/1093637563},
timestamp = {Thu, 21 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ndjfl/Hand87.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ndjfl/Helman87,
author = {Glen Helman},
title = {On the equivalence of proofs involving identity},
journal = {Notre Dame J. Formal Log.},
volume = {28},
number = {3},
pages = {297--321},
year = {1987},
url = {https://doi.org/10.1305/ndjfl/1093637554},
doi = {10.1305/NDJFL/1093637554},
timestamp = {Thu, 21 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ndjfl/Helman87.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ndjfl/Hill87,
author = {Christopher S. Hill},
title = {Rudiments of a theory of reference},
journal = {Notre Dame J. Formal Log.},
volume = {28},
number = {2},
pages = {200--219},
year = {1987},
url = {https://doi.org/10.1305/ndjfl/1093636939},
doi = {10.1305/NDJFL/1093636939},
timestamp = {Thu, 21 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ndjfl/Hill87.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ndjfl/HowardY87,
author = {Paul E. Howard and
Mary Yorke},
title = {Maximal p-subgroups and the axiom of choice},
journal = {Notre Dame J. Formal Log.},
volume = {28},
number = {2},
pages = {276--283},
year = {1987},
url = {https://doi.org/10.1305/ndjfl/1093636944},
doi = {10.1305/NDJFL/1093636944},
timestamp = {Mon, 28 Aug 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ndjfl/HowardY87.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ndjfl/HuglyS87,
author = {Philip Hugly and
Charles Sayward},
title = {Do we need models?},
journal = {Notre Dame J. Formal Log.},
volume = {28},
number = {3},
pages = {414--422},
year = {1987},
url = {https://doi.org/10.1305/ndjfl/1093637562},
doi = {10.1305/NDJFL/1093637562},
timestamp = {Thu, 21 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ndjfl/HuglyS87.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ndjfl/Humberstone87,
author = {I. L. Humberstone},
title = {The modal logic of 'all and only'},
journal = {Notre Dame J. Formal Log.},
volume = {28},
number = {2},
pages = {177--188},
year = {1987},
url = {https://doi.org/10.1305/ndjfl/1093636937},
doi = {10.1305/NDJFL/1093636937},
timestamp = {Thu, 21 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ndjfl/Humberstone87.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ndjfl/Jurcic87,
author = {Joseph Jurcic},
title = {On defining sentential connectives},
journal = {Notre Dame J. Formal Log.},
volume = {28},
number = {2},
pages = {189--199},
year = {1987},
url = {https://doi.org/10.1305/ndjfl/1093636938},
doi = {10.1305/NDJFL/1093636938},
timestamp = {Thu, 21 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ndjfl/Jurcic87.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ndjfl/KapetanovicK87,
author = {Miodrag Kapetanovic and
Aleksandar Krapez},
title = {More on trees and finite satisfiability: the taming of terms},
journal = {Notre Dame J. Formal Log.},
volume = {28},
number = {3},
pages = {392--394},
year = {1987},
url = {https://doi.org/10.1305/ndjfl/1093637559},
doi = {10.1305/NDJFL/1093637559},
timestamp = {Thu, 21 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ndjfl/KapetanovicK87.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ndjfl/Kleene87,
author = {Stephen Cole Kleene},
title = {Reflections on Church's thesis},
journal = {Notre Dame J. Formal Log.},
volume = {28},
number = {4},
pages = {490--498},
year = {1987},
url = {https://doi.org/10.1305/ndjfl/1093637645},
doi = {10.1305/NDJFL/1093637645},
timestamp = {Thu, 21 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ndjfl/Kleene87.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ndjfl/Kreisel87,
author = {Georg Kreisel},
title = {Church's thesis and the ideal of informal rigour},
journal = {Notre Dame J. Formal Log.},
volume = {28},
number = {4},
pages = {499--519},
year = {1987},
url = {https://doi.org/10.1305/ndjfl/1093637646},
doi = {10.1305/NDJFL/1093637646},
timestamp = {Thu, 21 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ndjfl/Kreisel87.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ndjfl/Martinez87,
author = {Juan Carlos Mart{\'{\i}}nez},
title = {Decision procedure for a class of (L\({}_{\mbox{{\(\omega\)}\({}_{\mbox{1}}\){\(\omega\)}}}\))\({}_{\mbox{t}}\)-types
of T\({}_{\mbox{3}}\) spaces},
journal = {Notre Dame J. Formal Log.},
volume = {28},
number = {2},
pages = {284--290},
year = {1987},
url = {https://doi.org/10.1305/ndjfl/1093636945},
doi = {10.1305/NDJFL/1093636945},
timestamp = {Thu, 21 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ndjfl/Martinez87.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ndjfl/McCarthyS87,
author = {Timothy G. McCarthy and
Stewart Shapiro},
title = {Turing projectability},
journal = {Notre Dame J. Formal Log.},
volume = {28},
number = {4},
pages = {520--535},
year = {1987},
url = {https://doi.org/10.1305/ndjfl/1093637647},
doi = {10.1305/NDJFL/1093637647},
timestamp = {Thu, 21 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ndjfl/McCarthyS87.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ndjfl/McCarty87,
author = {Charles McCarty},
title = {Variations on a thesis: intuitionism and computability},
journal = {Notre Dame J. Formal Log.},
volume = {28},
number = {4},
pages = {536--580},
year = {1987},
url = {https://doi.org/10.1305/ndjfl/1093637648},
doi = {10.1305/NDJFL/1093637648},
timestamp = {Thu, 21 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ndjfl/McCarty87.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ndjfl/Mendelsohn87,
author = {Richard L. Mendelsohn},
title = {Frege's two senses of "is"},
journal = {Notre Dame J. Formal Log.},
volume = {28},
number = {1},
pages = {139--160},
year = {1987},
url = {https://doi.org/10.1305/ndjfl/1093636852},
doi = {10.1305/NDJFL/1093636852},
timestamp = {Thu, 21 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ndjfl/Mendelsohn87.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ndjfl/MooreR87,
author = {Adrian W. Moore and
Andrew Rein},
title = {Frege's permutation argument},
journal = {Notre Dame J. Formal Log.},
volume = {28},
number = {1},
pages = {51--54},
year = {1987},
url = {https://doi.org/10.1305/ndjfl/1093636845},
doi = {10.1305/NDJFL/1093636845},
timestamp = {Thu, 21 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ndjfl/MooreR87.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ndjfl/Nelson87,
author = {Raymond J. Nelson},
title = {Church's thesis and cognitive science},
journal = {Notre Dame J. Formal Log.},
volume = {28},
number = {4},
pages = {581--614},
year = {1987},
url = {https://doi.org/10.1305/ndjfl/1093637649},
doi = {10.1305/NDJFL/1093637649},
timestamp = {Thu, 21 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ndjfl/Nelson87.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ndjfl/Parsons87,
author = {Terence Parsons},
title = {On the consistency of the first-order portion of Frege's logical system},
journal = {Notre Dame J. Formal Log.},
volume = {28},
number = {1},
pages = {161--168},
year = {1987},
url = {https://doi.org/10.1305/ndjfl/1093636853},
doi = {10.1305/NDJFL/1093636853},
timestamp = {Thu, 21 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ndjfl/Parsons87.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ndjfl/Powers87,
author = {Lawrence Powers},
title = {Quantifier responsiveness},
journal = {Notre Dame J. Formal Log.},
volume = {28},
number = {3},
pages = {322--355},
year = {1987},
url = {https://doi.org/10.1305/ndjfl/1093637555},
doi = {10.1305/NDJFL/1093637555},
timestamp = {Thu, 21 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ndjfl/Powers87.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ndjfl/Russinoff87,
author = {I. Susan Russinoff},
title = {On the brink of a paradox?},
journal = {Notre Dame J. Formal Log.},
volume = {28},
number = {1},
pages = {115--131},
year = {1987},
url = {https://doi.org/10.1305/ndjfl/1093636850},
doi = {10.1305/NDJFL/1093636850},
timestamp = {Thu, 21 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ndjfl/Russinoff87.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ndjfl/Schroeder-Heister87,
author = {Peter Schroeder{-}Heister},
title = {A model-theoretic reconstruction of Frege's permutation argument},
journal = {Notre Dame J. Formal Log.},
volume = {28},
number = {1},
pages = {69--79},
year = {1987},
url = {https://doi.org/10.1305/ndjfl/1093636847},
doi = {10.1305/NDJFL/1093636847},
timestamp = {Thu, 21 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ndjfl/Schroeder-Heister87.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ndjfl/Shanker87,
author = {Stuart G. Shanker},
title = {Wittgenstein versus Turing on the nature of Church's thesis},
journal = {Notre Dame J. Formal Log.},
volume = {28},
number = {4},
pages = {615--649},
year = {1987},
url = {https://doi.org/10.1305/ndjfl/1093637650},
doi = {10.1305/NDJFL/1093637650},
timestamp = {Thu, 21 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ndjfl/Shanker87.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ndjfl/Slaney87,
author = {John K. Slaney},
title = {Reduced models for relevant logics without {WI}},
journal = {Notre Dame J. Formal Log.},
volume = {28},
number = {3},
pages = {395--407},
year = {1987},
url = {https://doi.org/10.1305/ndjfl/1093637560},
doi = {10.1305/NDJFL/1093637560},
timestamp = {Thu, 21 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ndjfl/Slaney87.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ndjfl/Sluga87,
author = {Hans Sluga},
title = {Frege against the Booleans},
journal = {Notre Dame J. Formal Log.},
volume = {28},
number = {1},
pages = {80--98},
year = {1987},
url = {https://doi.org/10.1305/ndjfl/1093636848},
doi = {10.1305/NDJFL/1093636848},
timestamp = {Thu, 21 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ndjfl/Sluga87.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ndjfl/Smorynski87,
author = {Craig Smorynski},
title = {Quantified modal logic and self-reference},
journal = {Notre Dame J. Formal Log.},
volume = {28},
number = {3},
pages = {356--370},
year = {1987},
url = {https://doi.org/10.1305/ndjfl/1093637556},
doi = {10.1305/NDJFL/1093637556},
timestamp = {Thu, 21 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ndjfl/Smorynski87.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ndjfl/Tapscott87,
author = {Bangs L. Tapscott},
title = {A simplified natural deduction approach to certain modal systems},
journal = {Notre Dame J. Formal Log.},
volume = {28},
number = {3},
pages = {371--384},
year = {1987},
url = {https://doi.org/10.1305/ndjfl/1093637557},
doi = {10.1305/NDJFL/1093637557},
timestamp = {Thu, 21 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ndjfl/Tapscott87.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ndjfl/Toffalori87,
author = {Carlo Toffalori},
title = {Cantor-Bendixson spectra of {\(\omega\)}-stable theories},
journal = {Notre Dame J. Formal Log.},
volume = {28},
number = {2},
pages = {259--275},
year = {1987},
url = {https://doi.org/10.1305/ndjfl/1093636943},
doi = {10.1305/NDJFL/1093636943},
timestamp = {Thu, 21 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ndjfl/Toffalori87.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ndjfl/Wagner87,
author = {Steven J. Wagner},
title = {The rationalist conception of logic},
journal = {Notre Dame J. Formal Log.},
volume = {28},
number = {1},
pages = {3--35},
year = {1987},
url = {https://doi.org/10.1305/ndjfl/1093636843},
doi = {10.1305/NDJFL/1093636843},
timestamp = {Thu, 21 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ndjfl/Wagner87.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ndjfl/Williamson87,
author = {Timothy Williamson},
title = {Invertible definitions},
journal = {Notre Dame J. Formal Log.},
volume = {28},
number = {2},
pages = {244--258},
year = {1987},
url = {https://doi.org/10.1305/ndjfl/1093636942},
doi = {10.1305/NDJFL/1093636942},
timestamp = {Thu, 21 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ndjfl/Williamson87.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ndjfl/Wilson87,
author = {Fred Wilson},
title = {The distribution of terms: a defense of the traditional doctrine},
journal = {Notre Dame J. Formal Log.},
volume = {28},
number = {3},
pages = {439--454},
year = {1987},
url = {https://doi.org/10.1305/ndjfl/1093637565},
doi = {10.1305/NDJFL/1093637565},
timestamp = {Thu, 21 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ndjfl/Wilson87.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ndjfl/Yourgrau87,
author = {Palle Yourgrau},
title = {Frege on truth and reference},
journal = {Notre Dame J. Formal Log.},
volume = {28},
number = {1},
pages = {132--138},
year = {1987},
url = {https://doi.org/10.1305/ndjfl/1093636851},
doi = {10.1305/NDJFL/1093636851},
timestamp = {Thu, 21 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ndjfl/Yourgrau87.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-22 09:05 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:
