Stop the war!
Остановите войну!
for scientists:
default search action
Search dblp for Publications
export results for "toc:db/journals/ndjfl/ndjfl28.bht:"
@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} }
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.