default search action
Search dblp for Publications
export results for "toc:db/journals/ndjfl/ndjfl9.bht:"
@article{DBLP:journals/ndjfl/Anderson68, author = {Michael Anderson}, title = {Approximation to a decision procedure for the halting problem}, journal = {Notre Dame J. Formal Log.}, volume = {9}, number = {4}, pages = {305--312}, year = {1968}, url = {https://doi.org/10.1305/ndjfl/1093893516}, doi = {10.1305/NDJFL/1093893516}, timestamp = {Thu, 21 May 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/ndjfl/Anderson68.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/ndjfl/Ashworth68, author = {Earline Jennifer Ashworth}, title = {Propositional logic in the sixteenth and early seventeenth centuries}, journal = {Notre Dame J. Formal Log.}, volume = {9}, number = {2}, pages = {179--192}, year = {1968}, url = {https://doi.org/10.1305/ndjfl/1093893415}, doi = {10.1305/NDJFL/1093893415}, timestamp = {Thu, 21 May 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/ndjfl/Ashworth68.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/ndjfl/Ashworth68a, author = {Earline Jennifer Ashworth}, title = {Petrus Fonseca and material implication}, journal = {Notre Dame J. Formal Log.}, volume = {9}, number = {3}, pages = {227--228}, year = {1968}, url = {https://doi.org/10.1305/ndjfl/1093893458}, doi = {10.1305/NDJFL/1093893458}, timestamp = {Thu, 21 May 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/ndjfl/Ashworth68a.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/ndjfl/Barbo68, author = {Francesca Rivetti Barb{\`{o}}}, title = {A philosophical remark on G{\"{o}}del's unprovability of consistency proof}, journal = {Notre Dame J. Formal Log.}, volume = {9}, number = {1}, pages = {67--74}, year = {1968}, url = {https://doi.org/10.1305/ndjfl/1093893353}, doi = {10.1305/NDJFL/1093893353}, timestamp = {Thu, 21 May 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/ndjfl/Barbo68.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/ndjfl/Bloom68, author = {Stephen L. Bloom}, title = {A note on the arithmetical hierarchy}, journal = {Notre Dame J. Formal Log.}, volume = {9}, number = {1}, pages = {89--91}, year = {1968}, url = {https://doi.org/10.1305/ndjfl/1093893357}, doi = {10.1305/NDJFL/1093893357}, timestamp = {Thu, 21 May 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/ndjfl/Bloom68.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/ndjfl/Canty68, author = {John Thomas Canty}, title = {On symbolizing singulary {S5} functions}, journal = {Notre Dame J. Formal Log.}, volume = {9}, number = {4}, pages = {340--342}, year = {1968}, url = {https://doi.org/10.1305/ndjfl/1093893521}, doi = {10.1305/NDJFL/1093893521}, timestamp = {Thu, 21 May 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/ndjfl/Canty68.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/ndjfl/CarnesW68, author = {Robert D. Carnes and William C. Wilcox}, title = {An infixed, punctuation-free notation}, journal = {Notre Dame J. Formal Log.}, volume = {9}, number = {2}, pages = {171--178}, year = {1968}, url = {https://doi.org/10.1305/ndjfl/1093893414}, doi = {10.1305/NDJFL/1093893414}, timestamp = {Thu, 21 May 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/ndjfl/CarnesW68.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/ndjfl/Carpentier68, author = {M. Adrian Carpentier}, title = {Creative sequences and double sequences}, journal = {Notre Dame J. Formal Log.}, volume = {9}, number = {1}, pages = {35--61}, year = {1968}, url = {https://doi.org/10.1305/ndjfl/1093893351}, doi = {10.1305/NDJFL/1093893351}, timestamp = {Thu, 21 May 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/ndjfl/Carpentier68.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/ndjfl/Chandler68, author = {Hugh S. Chandler}, title = {Logical continuity}, journal = {Notre Dame J. Formal Log.}, volume = {9}, number = {4}, pages = {325--328}, year = {1968}, url = {https://doi.org/10.1305/ndjfl/1093893518}, doi = {10.1305/NDJFL/1093893518}, timestamp = {Thu, 21 May 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/ndjfl/Chandler68.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/ndjfl/Chang68, author = {Chung{-}ying Chang}, title = {On explanation of number progression}, journal = {Notre Dame J. Formal Log.}, volume = {9}, number = {4}, pages = {329--334}, year = {1968}, url = {https://doi.org/10.1305/ndjfl/1093893519}, doi = {10.1305/NDJFL/1093893519}, timestamp = {Thu, 21 May 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/ndjfl/Chang68.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/ndjfl/Cole68, author = {Richard Cole}, title = {Definitional Boolean calculi}, journal = {Notre Dame J. Formal Log.}, volume = {9}, number = {4}, pages = {343--350}, year = {1968}, url = {https://doi.org/10.1305/ndjfl/1093893522}, doi = {10.1305/NDJFL/1093893522}, timestamp = {Thu, 21 May 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/ndjfl/Cole68.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/ndjfl/Coppotelli68, author = {Fred Coppotelli}, title = {A first order type theory for the theory of sets}, journal = {Notre Dame J. Formal Log.}, volume = {9}, number = {4}, pages = {367--370}, year = {1968}, url = {https://doi.org/10.1305/ndjfl/1093893525}, doi = {10.1305/NDJFL/1093893525}, timestamp = {Thu, 21 May 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/ndjfl/Coppotelli68.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/ndjfl/Cresswell68, author = {Max J. Cresswell}, title = {Some proofs of relative completeness in modal logic}, journal = {Notre Dame J. Formal Log.}, volume = {9}, number = {1}, pages = {62--66}, year = {1968}, url = {https://doi.org/10.1305/ndjfl/1093893352}, doi = {10.1305/NDJFL/1093893352}, timestamp = {Thu, 21 May 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/ndjfl/Cresswell68.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/ndjfl/Cresswell68a, author = {Max J. Cresswell}, title = {Completeness without the Barcan formula}, journal = {Notre Dame J. Formal Log.}, volume = {9}, number = {1}, pages = {75--80}, year = {1968}, url = {https://doi.org/10.1305/ndjfl/1093893354}, doi = {10.1305/NDJFL/1093893354}, timestamp = {Thu, 21 May 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/ndjfl/Cresswell68a.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/ndjfl/Enderton68, author = {Herbert B. Enderton}, title = {On provable recursive functions}, journal = {Notre Dame J. Formal Log.}, volume = {9}, number = {1}, pages = {86--88}, year = {1968}, url = {https://doi.org/10.1305/ndjfl/1093893356}, doi = {10.1305/NDJFL/1093893356}, timestamp = {Thu, 21 May 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/ndjfl/Enderton68.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/ndjfl/Goddard68, author = {Leonard Goddard}, title = {Towards a logic of significance}, journal = {Notre Dame J. Formal Log.}, volume = {9}, number = {3}, pages = {233--264}, year = {1968}, url = {https://doi.org/10.1305/ndjfl/1093893460}, doi = {10.1305/NDJFL/1093893460}, timestamp = {Thu, 21 May 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/ndjfl/Goddard68.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/ndjfl/Kearns68, author = {John T. Kearns}, title = {The logical concept of existence}, journal = {Notre Dame J. Formal Log.}, volume = {9}, number = {4}, pages = {313--324}, year = {1968}, url = {https://doi.org/10.1305/ndjfl/1093893517}, doi = {10.1305/NDJFL/1093893517}, timestamp = {Thu, 21 May 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/ndjfl/Kearns68.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/ndjfl/Larouche68, author = {Laurent Larouche}, title = {Examination of the axiomatic foundations of a theory of change. {I}}, journal = {Notre Dame J. Formal Log.}, volume = {9}, number = {4}, pages = {371--384}, year = {1968}, url = {https://doi.org/10.1305/ndjfl/1093893526}, doi = {10.1305/NDJFL/1093893526}, timestamp = {Thu, 21 May 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/ndjfl/Larouche68.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/ndjfl/Leblanc68, author = {Hugues Leblanc}, title = {Syntactically free, semantically bound. {A} note on variables}, journal = {Notre Dame J. Formal Log.}, volume = {9}, number = {2}, pages = {167--170}, year = {1968}, url = {https://doi.org/10.1305/ndjfl/1093893413}, doi = {10.1305/NDJFL/1093893413}, timestamp = {Thu, 21 May 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/ndjfl/Leblanc68.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/ndjfl/Loewen68, author = {Kenneth Loewen}, title = {Modified strong reduction in combinatory logic}, journal = {Notre Dame J. Formal Log.}, volume = {9}, number = {3}, pages = {265--270}, year = {1968}, url = {https://doi.org/10.1305/ndjfl/1093893461}, doi = {10.1305/NDJFL/1093893461}, timestamp = {Thu, 21 May 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/ndjfl/Loewen68.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/ndjfl/Loewen68a, author = {Kenneth Loewen}, title = {A standardization theorem for strong reduction}, journal = {Notre Dame J. Formal Log.}, volume = {9}, number = {3}, pages = {271--283}, year = {1968}, url = {https://doi.org/10.1305/ndjfl/1093893462}, doi = {10.1305/NDJFL/1093893462}, timestamp = {Thu, 21 May 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/ndjfl/Loewen68a.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/ndjfl/Loewen68b, author = {Kenneth Loewen}, title = {The Church Rosser theorem for strong reduction in combinatory logic}, journal = {Notre Dame J. Formal Log.}, volume = {9}, number = {4}, pages = {299--302}, year = {1968}, url = {https://doi.org/10.1305/ndjfl/1093893514}, doi = {10.1305/NDJFL/1093893514}, timestamp = {Thu, 21 May 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/ndjfl/Loewen68b.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/ndjfl/Massey68, author = {Gerald J. Massey}, title = {Normal form generation of {S5} functions via truth functions}, journal = {Notre Dame J. Formal Log.}, volume = {9}, number = {1}, pages = {81--85}, year = {1968}, url = {https://doi.org/10.1305/ndjfl/1093893355}, doi = {10.1305/NDJFL/1093893355}, timestamp = {Thu, 21 May 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/ndjfl/Massey68.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/ndjfl/McKay68, author = {C. G. McKay}, title = {Correction to my paper "Some completeness results for intermediate propositional logics"}, journal = {Notre Dame J. Formal Log.}, volume = {9}, number = {4}, pages = {388}, year = {1968}, url = {https://doi.org/10.1305/ndjfl/1093893528}, doi = {10.1305/NDJFL/1093893528}, timestamp = {Thu, 21 May 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/ndjfl/McKay68.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/ndjfl/MeredithP68, author = {C. A. Meredith and A. N. Prior}, title = {Equational logic}, journal = {Notre Dame J. Formal Log.}, volume = {9}, number = {3}, pages = {212--226}, year = {1968}, url = {https://doi.org/10.1305/ndjfl/1093893457}, doi = {10.1305/NDJFL/1093893457}, timestamp = {Thu, 21 May 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/ndjfl/MeredithP68.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/ndjfl/Raggio68, author = {Andr{\'{e}}s R. Raggio}, title = {Propositional sequence-calculi for inconsistent systems}, journal = {Notre Dame J. Formal Log.}, volume = {9}, number = {4}, pages = {359--366}, year = {1968}, url = {https://doi.org/10.1305/ndjfl/1093893524}, doi = {10.1305/NDJFL/1093893524}, timestamp = {Thu, 21 May 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/ndjfl/Raggio68.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/ndjfl/Reichbach68, author = {Juliusz Reichbach}, title = {A note on theses of the first-order functional calculus}, journal = {Notre Dame J. Formal Log.}, volume = {9}, number = {4}, pages = {335--339}, year = {1968}, url = {https://doi.org/10.1305/ndjfl/1093893520}, doi = {10.1305/NDJFL/1093893520}, timestamp = {Thu, 21 May 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/ndjfl/Reichbach68.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/ndjfl/Ristea68, author = {Tudor Ristea}, title = {On propositional, truth and Boolean functions}, journal = {Notre Dame J. Formal Log.}, volume = {9}, number = {2}, pages = {160--166}, year = {1968}, url = {https://doi.org/10.1305/ndjfl/1093893412}, doi = {10.1305/NDJFL/1093893412}, timestamp = {Thu, 21 May 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/ndjfl/Ristea68.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/ndjfl/Saito68, author = {Setsuo Saito}, title = {On the Leibnizian modal system}, journal = {Notre Dame J. Formal Log.}, volume = {9}, number = {1}, pages = {92--96}, year = {1968}, url = {https://doi.org/10.1305/ndjfl/1093893358}, doi = {10.1305/NDJFL/1093893358}, timestamp = {Thu, 21 May 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/ndjfl/Saito68.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/ndjfl/Schumm68, author = {George F. Schumm}, title = {A note on the structure of the power set}, journal = {Notre Dame J. Formal Log.}, volume = {9}, number = {4}, pages = {303--304}, year = {1968}, url = {https://doi.org/10.1305/ndjfl/1093893515}, doi = {10.1305/NDJFL/1093893515}, timestamp = {Thu, 21 May 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/ndjfl/Schumm68.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/ndjfl/Seldin68, author = {Jonathan P. Seldin}, title = {Note on definitional reductions}, journal = {Notre Dame J. Formal Log.}, volume = {9}, number = {1}, pages = {4--6}, year = {1968}, url = {https://doi.org/10.1305/ndjfl/1093893348}, doi = {10.1305/NDJFL/1093893348}, timestamp = {Thu, 21 May 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/ndjfl/Seldin68.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/ndjfl/Sibajiban68, author = {Sibajiban}, title = {The middle term}, journal = {Notre Dame J. Formal Log.}, volume = {9}, number = {3}, pages = {229--232}, year = {1968}, url = {https://doi.org/10.1305/ndjfl/1093893459}, doi = {10.1305/NDJFL/1093893459}, timestamp = {Thu, 21 May 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/ndjfl/Sibajiban68.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/ndjfl/Singletary68, author = {Wilson E. Singletary}, title = {Results regarding the axiomatization of partial propositional calculi}, journal = {Notre Dame J. Formal Log.}, volume = {9}, number = {3}, pages = {193--211}, year = {1968}, url = {https://doi.org/10.1305/ndjfl/1093893456}, doi = {10.1305/NDJFL/1093893456}, timestamp = {Thu, 21 May 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/ndjfl/Singletary68.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/ndjfl/Suszko68, author = {Roman Suszko}, title = {Ontology in the \emph{Tractatus} of L. Wittgenstein}, journal = {Notre Dame J. Formal Log.}, volume = {9}, number = {1}, pages = {7--33}, year = {1968}, url = {https://doi.org/10.1305/ndjfl/1093893349}, doi = {10.1305/NDJFL/1093893349}, timestamp = {Mon, 28 Aug 2023 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/ndjfl/Suszko68.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/ndjfl/Thomas68, author = {Ivo Thomas}, title = {In memoriam: Edward John Lemmon {(1930} - 1966)}, journal = {Notre Dame J. Formal Log.}, volume = {9}, number = {1}, pages = {1--3}, year = {1968}, url = {https://doi.org/10.1305/ndjfl/1093893347}, doi = {10.1305/NDJFL/1093893347}, timestamp = {Thu, 21 May 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/ndjfl/Thomas68.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/ndjfl/Thomas68a, author = {Ivo Thomas}, title = {The rule of Peirce}, journal = {Notre Dame J. Formal Log.}, volume = {9}, number = {1}, pages = {34}, year = {1968}, url = {https://doi.org/10.1305/ndjfl/1093893350}, doi = {10.1305/NDJFL/1093893350}, timestamp = {Thu, 21 May 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/ndjfl/Thomas68a.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/ndjfl/Tompkins68, author = {Robert R. Tompkins}, title = {On Kleene's recursive realizability as an interpretation for intuitionistic elementary number theory}, journal = {Notre Dame J. Formal Log.}, volume = {9}, number = {4}, pages = {289--293}, year = {1968}, url = {https://doi.org/10.1305/ndjfl/1093893512}, doi = {10.1305/NDJFL/1093893512}, timestamp = {Thu, 21 May 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/ndjfl/Tompkins68.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/ndjfl/Trew68, author = {A. Trew}, title = {Incompleteness of a logic of Routley's}, journal = {Notre Dame J. Formal Log.}, volume = {9}, number = {4}, pages = {385--387}, year = {1968}, url = {https://doi.org/10.1305/ndjfl/1093893527}, doi = {10.1305/NDJFL/1093893527}, timestamp = {Thu, 21 May 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/ndjfl/Trew68.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/ndjfl/Tursman68, author = {Richard Tursman}, title = {The shortest axioms of the implicational calculus}, journal = {Notre Dame J. Formal Log.}, volume = {9}, number = {4}, pages = {351--358}, year = {1968}, url = {https://doi.org/10.1305/ndjfl/1093893523}, doi = {10.1305/NDJFL/1093893523}, timestamp = {Mon, 28 Aug 2023 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/ndjfl/Tursman68.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/ndjfl/Weingartner68, author = {Paul Weingartner}, title = {Modal logics with two kinds of necessity and possibility}, journal = {Notre Dame J. Formal Log.}, volume = {9}, number = {2}, pages = {97--159}, year = {1968}, url = {https://doi.org/10.1305/ndjfl/1093893411}, doi = {10.1305/NDJFL/1093893411}, timestamp = {Thu, 21 May 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/ndjfl/Weingartner68.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/ndjfl/WorksY68, author = {Chandler Works and Wolfgang Yourgrau}, title = {Note on duality in propositional calculus}, journal = {Notre Dame J. Formal Log.}, volume = {9}, number = {3}, pages = {284--288}, year = {1968}, url = {https://doi.org/10.1305/ndjfl/1093893463}, doi = {10.1305/NDJFL/1093893463}, timestamp = {Thu, 21 May 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/ndjfl/WorksY68.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/ndjfl/Zeman68, author = {J. Jay Zeman}, title = {The propostitional calculus {MC} and its modal analog}, journal = {Notre Dame J. Formal Log.}, volume = {9}, number = {4}, pages = {294--298}, year = {1968}, url = {https://doi.org/10.1305/ndjfl/1093893513}, doi = {10.1305/NDJFL/1093893513}, timestamp = {Thu, 21 May 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/ndjfl/Zeman68.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.