default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDSearch dblp for Publications
export results for "toc:db/journals/mlq/mlq23.bht:"
download as .bib file
@article{DBLP:journals/mlq/Baudisch77,
author = {Andreas Baudisch},
title = {The Theory of Abelian Groups With the Quantifier ({\(\leqq\)} \emph{x})},
journal = {Math. Log. Q.},
volume = {23},
number = {27-30},
pages = {447--462},
year = {1977},
url = {https://doi.org/10.1002/malq.19770232711},
doi = {10.1002/MALQ.19770232711},
timestamp = {Wed, 17 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/mlq/Baudisch77.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/mlq/Benejam77,
author = {Jean{-}Pierre B{\'{e}}n{\'{e}}jam},
title = {Algebraic Characterizations of the Satisfiability of First-Order Logical
Formulas and the Halting of Programs},
journal = {Math. Log. Q.},
volume = {23},
number = {7-12},
pages = {111--120},
year = {1977},
url = {https://doi.org/10.1002/malq.19770230704},
doi = {10.1002/MALQ.19770230704},
timestamp = {Wed, 17 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/mlq/Benejam77.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/mlq/BergL77,
author = {Eugen Peter Berg and
Gerhard Lischke},
title = {Zwei S{\"{a}}tze F{\"{u}}r Schwache Erhaltungsmasze},
journal = {Math. Log. Q.},
volume = {23},
number = {27-30},
pages = {409--410},
year = {1977},
url = {https://doi.org/10.1002/malq.19770232703},
doi = {10.1002/MALQ.19770232703},
timestamp = {Wed, 17 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/mlq/BergL77.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/mlq/Biskup77,
author = {Joachim Biskup},
title = {On BI-Immune Isols},
journal = {Math. Log. Q.},
volume = {23},
number = {31-35},
pages = {469--484},
year = {1977},
url = {https://doi.org/10.1002/malq.19770233102},
doi = {10.1002/MALQ.19770233102},
timestamp = {Wed, 17 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/mlq/Biskup77.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/mlq/Blum77,
author = {Alex Blum},
title = {Two Observations About {S5}},
journal = {Math. Log. Q.},
volume = {23},
number = {36},
pages = {485--486},
year = {1977},
url = {https://doi.org/10.1002/malq.19770233602},
doi = {10.1002/MALQ.19770233602},
timestamp = {Wed, 17 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/mlq/Blum77.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/mlq/Brockway77,
author = {M. J. Brockway},
title = {A Generalization of the Boolean Filter Concept},
journal = {Math. Log. Q.},
volume = {23},
number = {13-15},
pages = {213--222},
year = {1977},
url = {https://doi.org/10.1002/malq.19770231304},
doi = {10.1002/MALQ.19770231304},
timestamp = {Wed, 17 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/mlq/Brockway77.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/mlq/Busch77,
author = {Douglas R. Busch},
title = {A Problem Concerning Projective Prewellorderings},
journal = {Math. Log. Q.},
volume = {23},
number = {13-15},
pages = {237--240},
year = {1977},
url = {https://doi.org/10.1002/malq.19770231306},
doi = {10.1002/MALQ.19770231306},
timestamp = {Wed, 17 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/mlq/Busch77.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/mlq/Carstens77,
author = {Hans Georg Carstens},
title = {The Complexity of Some Combinatorial Constructions},
journal = {Math. Log. Q.},
volume = {23},
number = {7-12},
pages = {121--130},
year = {1977},
url = {https://doi.org/10.1002/malq.19770230705},
doi = {10.1002/MALQ.19770230705},
timestamp = {Wed, 17 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/mlq/Carstens77.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/mlq/Cutland77,
author = {Nigel J. Cutland},
title = {Some Theories Having Countably Many Countable Models},
journal = {Math. Log. Q.},
volume = {23},
number = {7-12},
pages = {105--110},
year = {1977},
url = {https://doi.org/10.1002/malq.19770230703},
doi = {10.1002/MALQ.19770230703},
timestamp = {Wed, 17 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/mlq/Cutland77.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/mlq/Dawes77,
author = {A. M. Dawes},
title = {End Extensions Which are Models of a Given Theory},
journal = {Math. Log. Q.},
volume = {23},
number = {27-30},
pages = {463--467},
year = {1977},
url = {https://doi.org/10.1002/malq.19770232712},
doi = {10.1002/MALQ.19770232712},
timestamp = {Wed, 17 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/mlq/Dawes77.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/mlq/Deutsch77,
author = {Michael Deutsch},
title = {Zum Begriff der Wortmischung {ALS} Basis F{\"{u}}r Die Arithmetik},
journal = {Math. Log. Q.},
volume = {23},
number = {16-17},
pages = {241--264},
year = {1977},
url = {https://doi.org/10.1002/malq.19770231602},
doi = {10.1002/MALQ.19770231602},
timestamp = {Wed, 17 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/mlq/Deutsch77.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/mlq/Eklof77,
author = {Paul C. Eklof},
title = {Classes Closed Under Substructures and Direct Limits},
journal = {Math. Log. Q.},
volume = {23},
number = {27-30},
pages = {427--430},
year = {1977},
url = {https://doi.org/10.1002/malq.19770232706},
doi = {10.1002/MALQ.19770232706},
timestamp = {Wed, 17 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/mlq/Eklof77.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/mlq/Ers77,
author = {Ju. L. Ers},
title = {Theorie Der Numerierungen {III}},
journal = {Math. Log. Q.},
volume = {23},
number = {19-24},
pages = {289--371},
year = {1977},
url = {https://doi.org/10.1002/malq.19770231902},
doi = {10.1002/MALQ.19770231902},
timestamp = {Wed, 17 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/mlq/Ers77.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/mlq/Gauthier77,
author = {Yvon Gauthier},
title = {Intuitionistic Logic and Local Mathematical Theories},
journal = {Math. Log. Q.},
volume = {23},
number = {27-30},
pages = {411--414},
year = {1977},
url = {https://doi.org/10.1002/malq.19770232704},
doi = {10.1002/MALQ.19770232704},
timestamp = {Wed, 17 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/mlq/Gauthier77.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/mlq/Gloede77,
author = {Klaus Gloede},
title = {The Metamathematics of Infinitary Set Theoretical Systems},
journal = {Math. Log. Q.},
volume = {23},
number = {1-6},
pages = {19--44},
year = {1977},
url = {https://doi.org/10.1002/malq.19770230103},
doi = {10.1002/MALQ.19770230103},
timestamp = {Wed, 17 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/mlq/Gloede77.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/mlq/GoetzeKG77,
author = {Bernhard G. Goetze and
Reinhard Klette and
D. Gillo},
title = {Der Iterierte Limes Rekursiver Funktionen und Die Arithmetische Hierarchie},
journal = {Math. Log. Q.},
volume = {23},
number = {16-17},
pages = {265--272},
year = {1977},
url = {https://doi.org/10.1002/malq.19770231603},
doi = {10.1002/MALQ.19770231603},
timestamp = {Sun, 02 Jun 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/mlq/GoetzeKG77.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/mlq/Grodzki77,
author = {Zdzislaw Grodzki},
title = {The Boolean (\emph{k, m, p}\({}_{\mbox{1}}\), ..., \emph{p\({}_{\mbox{m}}\)})-Shift-Registers
{II} (An Algebraic Approach)},
journal = {Math. Log. Q.},
volume = {23},
number = {25-26},
pages = {383--386},
year = {1977},
url = {https://doi.org/10.1002/malq.19770232503},
doi = {10.1002/MALQ.19770232503},
timestamp = {Wed, 17 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/mlq/Grodzki77.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/mlq/HerreW77,
author = {Heinrich Herre and
Helmut Wolter},
title = {Entscheidbarkeit Der Theorie Der Linearen Ordnung In {L}},
journal = {Math. Log. Q.},
volume = {23},
number = {18},
pages = {273--282},
year = {1977},
url = {https://doi.org/10.1002/malq.19770231802},
doi = {10.1002/MALQ.19770231802},
timestamp = {Wed, 17 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/mlq/HerreW77.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/mlq/Herrmann77,
author = {Robert A. Herrmann},
title = {A Nonstandard Generalization For Perfect Maps},
journal = {Math. Log. Q.},
volume = {23},
number = {13-15},
pages = {223--236},
year = {1977},
url = {https://doi.org/10.1002/malq.19770231305},
doi = {10.1002/MALQ.19770231305},
timestamp = {Wed, 17 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/mlq/Herrmann77.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/mlq/Hickman77,
author = {John L. Hickman},
title = {Some Results on Series of Ordinals},
journal = {Math. Log. Q.},
volume = {23},
number = {1-6},
pages = {1--18},
year = {1977},
url = {https://doi.org/10.1002/malq.19770230102},
doi = {10.1002/MALQ.19770230102},
timestamp = {Sun, 31 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/mlq/Hickman77.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/mlq/Hindley77,
author = {J. Roger Hindley},
title = {Combinatory Reductions and Lambda Reductions Compared},
journal = {Math. Log. Q.},
volume = {23},
number = {7-12},
pages = {169--180},
year = {1977},
url = {https://doi.org/10.1002/malq.19770230708},
doi = {10.1002/MALQ.19770230708},
timestamp = {Wed, 17 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/mlq/Hindley77.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/mlq/Iturrioz77,
author = {Luisa Iturrioz},
title = {Lukasiewicz and Symmetrical Heyting Algebras},
journal = {Math. Log. Q.},
volume = {23},
number = {7-12},
pages = {131--136},
year = {1977},
url = {https://doi.org/10.1002/malq.19770230706},
doi = {10.1002/MALQ.19770230706},
timestamp = {Wed, 17 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/mlq/Iturrioz77.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/mlq/Kearns77,
author = {John T. Kearns},
title = {The Logic of Calculation},
journal = {Math. Log. Q.},
volume = {23},
number = {1-6},
pages = {45--58},
year = {1977},
url = {https://doi.org/10.1002/malq.19770230104},
doi = {10.1002/MALQ.19770230104},
timestamp = {Wed, 17 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/mlq/Kearns77.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/mlq/Kinber77,
author = {Jefim Kinber},
title = {On btt-Degrees of Sets of Minimal Numbers in G{\"{o}}del Numberings},
journal = {Math. Log. Q.},
volume = {23},
number = {13-15},
pages = {201--212},
year = {1977},
url = {https://doi.org/10.1002/malq.19770231303},
doi = {10.1002/MALQ.19770231303},
timestamp = {Wed, 17 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/mlq/Kinber77.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/mlq/Krauss77,
author = {Peter H. Krauss},
title = {Homogeneous Universal Models of Universal Theories},
journal = {Math. Log. Q.},
volume = {23},
number = {27-30},
pages = {415--426},
year = {1977},
url = {https://doi.org/10.1002/malq.19770232705},
doi = {10.1002/MALQ.19770232705},
timestamp = {Wed, 17 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/mlq/Krauss77.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/mlq/Kuhnkich77,
author = {Martin K{\"{u}}hnkich},
title = {Das Yoneda-Lemma in Der Zermelo-Fraenkelschen Mengentheorie},
journal = {Math. Log. Q.},
volume = {23},
number = {27-30},
pages = {443--446},
year = {1977},
url = {https://doi.org/10.1002/malq.19770232710},
doi = {10.1002/MALQ.19770232710},
timestamp = {Wed, 17 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/mlq/Kuhnkich77.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/mlq/LindnerS77,
author = {Rolf Lindner and
Ludwig Staiger},
title = {Erkennungs-, Masz- Und Informationstheoretische Eigenschaften Regul{\"{a}}rer
Folgenmengen},
journal = {Math. Log. Q.},
volume = {23},
number = {18},
pages = {283--287},
year = {1977},
url = {https://doi.org/10.1002/malq.19770231803},
doi = {10.1002/MALQ.19770231803},
timestamp = {Thu, 14 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/mlq/LindnerS77.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/mlq/Lischke77,
author = {Gerhard Lischke},
title = {Nat{\"{u}}rliche Kompliziertheitsmasze und Erhaltungss{\"{a}}tze
{II}},
journal = {Math. Log. Q.},
volume = {23},
number = {13-15},
pages = {193--200},
year = {1977},
url = {https://doi.org/10.1002/malq.19770231302},
doi = {10.1002/MALQ.19770231302},
timestamp = {Wed, 17 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/mlq/Lischke77.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/mlq/Logan77,
author = {G. J. Logan},
title = {Closure Algebras and T\({}_{\mbox{1}}\)-Spaces},
journal = {Math. Log. Q.},
volume = {23},
number = {1-6},
pages = {91--92},
year = {1977},
url = {https://doi.org/10.1002/malq.19770230106},
doi = {10.1002/MALQ.19770230106},
timestamp = {Wed, 17 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/mlq/Logan77.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/mlq/Logan77a,
author = {G. J. Logan},
title = {Closure Algebras and Boolean Algebras},
journal = {Math. Log. Q.},
volume = {23},
number = {1-6},
pages = {93--96},
year = {1977},
url = {https://doi.org/10.1002/malq.19770230107},
doi = {10.1002/MALQ.19770230107},
timestamp = {Wed, 17 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/mlq/Logan77a.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/mlq/Logan77b,
author = {G. J. Logan},
title = {Products of Closure Algebras and Their Dual Spaces},
journal = {Math. Log. Q.},
volume = {23},
number = {27-30},
pages = {439--441},
year = {1977},
url = {https://doi.org/10.1002/malq.19770232709},
doi = {10.1002/MALQ.19770232709},
timestamp = {Wed, 17 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/mlq/Logan77b.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/mlq/LovaszG77,
author = {L{\'{a}}szl{\'{o}} Lov{\'{a}}sz and
P{\'{e}}ter G{\'{a}}cs},
title = {Some Remarks on Generalized Spectra},
journal = {Math. Log. Q.},
volume = {23},
number = {36},
pages = {547--554},
year = {1977},
url = {https://doi.org/10.1002/malq.19770233608},
doi = {10.1002/MALQ.19770233608},
timestamp = {Tue, 01 Feb 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/mlq/LovaszG77.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/mlq/MakowskyM77,
author = {Johann A. Makowsky and
Annalisa Marcja},
title = {Completeness Theorems For Modal Model Theory With the Montague-Chang
Semantics {I}},
journal = {Math. Log. Q.},
volume = {23},
number = {7-12},
pages = {97--104},
year = {1977},
url = {https://doi.org/10.1002/malq.19770230702},
doi = {10.1002/MALQ.19770230702},
timestamp = {Wed, 17 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/mlq/MakowskyM77.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/mlq/Rao77,
author = {A. P. Rao},
title = {A More Natural Alternative to Mostowski's {(MFL)}},
journal = {Math. Log. Q.},
volume = {23},
number = {25-26},
pages = {387--392},
year = {1977},
url = {https://doi.org/10.1002/malq.19770232504},
doi = {10.1002/MALQ.19770232504},
timestamp = {Wed, 17 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/mlq/Rao77.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/mlq/Rohleder77,
author = {Hans Rohleder},
title = {Ein vollst{\"{a}}ndiger Ableitungsbegriff f{\"{u}}r die
{\"{A}}quivalenz in einem funktionell unvollst{\"{a}}ndigen
dreiwertigen Aussagenkalk{\"{u}}l},
journal = {Math. Log. Q.},
volume = {23},
number = {25-26},
pages = {401--404},
year = {1977},
url = {https://doi.org/10.1002/malq.19770232506},
doi = {10.1002/MALQ.19770232506},
timestamp = {Wed, 17 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/mlq/Rohleder77.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/mlq/Routley77,
author = {Richard Routley},
title = {Welding Semantics For Weak Strict Modal Logics into the General Framework
of Modal Logic Semantics},
journal = {Math. Log. Q.},
volume = {23},
number = {36},
pages = {497--510},
year = {1977},
url = {https://doi.org/10.1002/malq.19770233604},
doi = {10.1002/MALQ.19770233604},
timestamp = {Wed, 17 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/mlq/Routley77.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/mlq/Scarpellini77,
author = {Bruno Scarpellini},
title = {A New Realizability Notion for Intuitionistic Analysis},
journal = {Math. Log. Q.},
volume = {23},
number = {7-12},
pages = {137--167},
year = {1977},
url = {https://doi.org/10.1002/malq.19770230707},
doi = {10.1002/MALQ.19770230707},
timestamp = {Wed, 17 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/mlq/Scarpellini77.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/mlq/Schinzel77,
author = {Britta Schinzel},
title = {Decomposition of G{\"{o}}delnumberings into Friedbergnumberings},
journal = {Math. Log. Q.},
volume = {23},
number = {25-26},
pages = {393--399},
year = {1977},
url = {https://doi.org/10.1002/malq.19770232505},
doi = {10.1002/MALQ.19770232505},
timestamp = {Wed, 17 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/mlq/Schinzel77.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/mlq/Schultz77,
author = {Konrad Schultz},
title = {Ein Standardmodell F{\"{u}}r Skalas Mengenlehre},
journal = {Math. Log. Q.},
volume = {23},
number = {27-30},
pages = {405--408},
year = {1977},
url = {https://doi.org/10.1002/malq.19770232702},
doi = {10.1002/MALQ.19770232702},
timestamp = {Wed, 17 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/mlq/Schultz77.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/mlq/Schwartz77,
author = {Dietrich Schwartz},
title = {Sequenzenschliessen in Der Algebraischen Attributenlogik},
journal = {Math. Log. Q.},
volume = {23},
number = {36},
pages = {487--495},
year = {1977},
url = {https://doi.org/10.1002/malq.19770233603},
doi = {10.1002/MALQ.19770233603},
timestamp = {Wed, 17 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/mlq/Schwartz77.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/mlq/SchweizerS77,
author = {B. Schweizer and
A. Sklar},
title = {The Axiomatic Characterization of Functions},
journal = {Math. Log. Q.},
volume = {23},
number = {25-26},
pages = {373--382},
year = {1977},
url = {https://doi.org/10.1002/malq.19770232502},
doi = {10.1002/MALQ.19770232502},
timestamp = {Wed, 17 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/mlq/SchweizerS77.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/mlq/Sehtman77,
author = {V. B. Sehtman},
title = {A Remark on M. K. Rennie's Paper "Models for Multiply Modal Systems"},
journal = {Math. Log. Q.},
volume = {23},
number = {36},
pages = {555--558},
year = {1977},
url = {https://doi.org/10.1002/malq.19770233609},
doi = {10.1002/MALQ.19770233609},
timestamp = {Wed, 17 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/mlq/Sehtman77.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/mlq/Vogel77,
author = {Helmut Vogel},
title = {Ausgezeichnete Folgen F{\"{u}}r Pr{\"{a}}dikative Ordinalzahlen
und Pr{\"{a}}dikativ-Rekursive Funktionen},
journal = {Math. Log. Q.},
volume = {23},
number = {27-30},
pages = {435--438},
year = {1977},
url = {https://doi.org/10.1002/malq.19770232708},
doi = {10.1002/MALQ.19770232708},
timestamp = {Wed, 17 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/mlq/Vogel77.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/mlq/Wagner77,
author = {Klaus W. Wagner},
title = {Arithmetische und Bairesche Operatoren},
journal = {Math. Log. Q.},
volume = {23},
number = {7-12},
pages = {181--191},
year = {1977},
url = {https://doi.org/10.1002/malq.19770230709},
doi = {10.1002/MALQ.19770230709},
timestamp = {Mon, 13 Nov 2017 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/mlq/Wagner77.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/mlq/Weese77,
author = {Martin Weese},
title = {Definierbare Pr{\"{a}}dikate in Booleschen Algebren {I}},
journal = {Math. Log. Q.},
volume = {23},
number = {36},
pages = {511--526},
year = {1977},
url = {https://doi.org/10.1002/malq.19770233605},
doi = {10.1002/MALQ.19770233605},
timestamp = {Wed, 17 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/mlq/Weese77.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/mlq/Weispfenning77,
author = {Volker Weispfenning},
title = {Nullstellens{\"{a}}tze - {A} Model Theoretic Framework},
journal = {Math. Log. Q.},
volume = {23},
number = {36},
pages = {539--545},
year = {1977},
url = {https://doi.org/10.1002/malq.19770233607},
doi = {10.1002/MALQ.19770233607},
timestamp = {Wed, 17 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/mlq/Weispfenning77.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/mlq/Wessels77,
author = {Linda Wessels},
title = {Cut Elimination in a Gentzen-Style {\unicode{1013}}-Calculus Without
Identity},
journal = {Math. Log. Q.},
volume = {23},
number = {36},
pages = {527--538},
year = {1977},
url = {https://doi.org/10.1002/malq.19770233606},
doi = {10.1002/MALQ.19770233606},
timestamp = {Wed, 17 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/mlq/Wessels77.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/mlq/Wierzejewski77,
author = {J. Wierzejewski},
title = {A Note on Products and Degree of Types},
journal = {Math. Log. Q.},
volume = {23},
number = {27-30},
pages = {431--434},
year = {1977},
url = {https://doi.org/10.1002/malq.19770232707},
doi = {10.1002/MALQ.19770232707},
timestamp = {Wed, 17 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/mlq/Wierzejewski77.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 2024-10-10 04:15 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:
