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/mlq/mlq26.bht:"
download as .bib file
@article{DBLP:journals/mlq/Alkor80,
author = {C. Alkor},
title = {On {A} Theory of Classes},
journal = {Math. Log. Q.},
volume = {26},
number = {22-24},
pages = {337--342},
year = {1980},
url = {https://doi.org/10.1002/malq.19800262202},
doi = {10.1002/MALQ.19800262202},
timestamp = {Wed, 17 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/mlq/Alkor80.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/mlq/AnapolitanosV80,
author = {D. A. Anapolitanos and
Jouko A. V{\"{a}}{\"{a}}n{\"{a}}nen},
title = {On the Axiomatizability of the Notion of an Automorphism of a Finite
Order},
journal = {Math. Log. Q.},
volume = {26},
number = {28-30},
pages = {433--437},
year = {1980},
url = {https://doi.org/10.1002/malq.19800262802},
doi = {10.1002/MALQ.19800262802},
timestamp = {Tue, 06 Jun 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/mlq/AnapolitanosV80.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/mlq/BorgerB80,
author = {Egon B{\"{o}}rger and
Hans Kleine{ }B{\"{u}}ning},
title = {The R. E. Complexity of Decision Problems for Commutative Semi-Thue
Systems With Recursive Rule Set},
journal = {Math. Log. Q.},
volume = {26},
number = {28-30},
pages = {459--469},
year = {1980},
url = {https://doi.org/10.1002/malq.19800262805},
doi = {10.1002/MALQ.19800262805},
timestamp = {Wed, 17 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/mlq/BorgerB80.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/mlq/Burgess80,
author = {John P. Burgess},
title = {Brouwer and Souslin on Transfinite Cardinals},
journal = {Math. Log. Q.},
volume = {26},
number = {14-18},
pages = {209--214},
year = {1980},
url = {https://doi.org/10.1002/malq.19800261402},
doi = {10.1002/MALQ.19800261402},
timestamp = {Wed, 17 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/mlq/Burgess80.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/mlq/Buszkowski80,
author = {Wojciech Buszkowski},
title = {Logical Complexity of Some Classes of Tree Languages Generated by
Multiple-Tree-Automata},
journal = {Math. Log. Q.},
volume = {26},
number = {1-6},
pages = {41--49},
year = {1980},
url = {https://doi.org/10.1002/malq.19800260105},
doi = {10.1002/MALQ.19800260105},
timestamp = {Fri, 09 Apr 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/mlq/Buszkowski80.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/mlq/Chlebus80,
author = {Bogdan S. Chlebus},
title = {Decidability and Definability Results Concerning Well-Orderings and
Some Extensions of First Order Logic},
journal = {Math. Log. Q.},
volume = {26},
number = {34-35},
pages = {529--536},
year = {1980},
url = {https://doi.org/10.1002/malq.19800263402},
doi = {10.1002/MALQ.19800263402},
timestamp = {Wed, 17 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/mlq/Chlebus80.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/mlq/Dahn80,
author = {Bernd I. Dahn},
title = {First Order Logics for Metric Structures},
journal = {Math. Log. Q.},
volume = {26},
number = {1-6},
pages = {77--88},
year = {1980},
url = {https://doi.org/10.1002/malq.19800260109},
doi = {10.1002/MALQ.19800260109},
timestamp = {Wed, 17 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/mlq/Dahn80.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/mlq/DarsowK80,
author = {W. Darsow and
Phyllis M. Kittel},
title = {On Intermediate Consequence Relations},
journal = {Math. Log. Q.},
volume = {26},
number = {1-6},
pages = {33--34},
year = {1980},
url = {https://doi.org/10.1002/malq.19800260103},
doi = {10.1002/MALQ.19800260103},
timestamp = {Wed, 17 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/mlq/DarsowK80.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/mlq/Denecke80,
author = {Klaus Denecke},
title = {Implikative BCK-Algebren},
journal = {Math. Log. Q.},
volume = {26},
number = {34-35},
pages = {547--554},
year = {1980},
url = {https://doi.org/10.1002/malq.19800263404},
doi = {10.1002/MALQ.19800263404},
timestamp = {Wed, 17 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/mlq/Denecke80.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/mlq/Deutsch80,
author = {Michael Deutsch},
title = {Zur G{\"{o}}delisierungsfreien Darstellung der Rekursiven und
Primitiv-Rekursiven Funktionen und Rekursiv Aufz{\"{a}}hlbaren
Pr{\"{a}}dikate {\"{U}}ber Quotiententermmengen},
journal = {Math. Log. Q.},
volume = {26},
number = {1-6},
pages = {1--32},
year = {1980},
url = {https://doi.org/10.1002/malq.19800260102},
doi = {10.1002/MALQ.19800260102},
timestamp = {Wed, 17 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/mlq/Deutsch80.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/mlq/Ellentuck80,
author = {Erik Ellentuck},
title = {Diagonal Methods in the Theory of Isols},
journal = {Math. Log. Q.},
volume = {26},
number = {13},
pages = {193--204},
year = {1980},
url = {https://doi.org/10.1002/malq.19800261302},
doi = {10.1002/MALQ.19800261302},
timestamp = {Wed, 17 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/mlq/Ellentuck80.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/mlq/Falkinger80,
author = {Josef Falkinger},
title = {Reduzierbarkeit von Berechenbaren Numerierungen von P\({}_{\mbox{1}}\)},
journal = {Math. Log. Q.},
volume = {26},
number = {28-30},
pages = {445--458},
year = {1980},
url = {https://doi.org/10.1002/malq.19800262804},
doi = {10.1002/MALQ.19800262804},
timestamp = {Wed, 17 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/mlq/Falkinger80.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/mlq/Falkinger80a,
author = {Josef Falkinger},
title = {Universalit{\"{a}}t von Berechenbaren Numerierungen von Partiell
Rekursiven Funktionen},
journal = {Math. Log. Q.},
volume = {26},
number = {32-33},
pages = {523--528},
year = {1980},
url = {https://doi.org/10.1002/malq.19800263206},
doi = {10.1002/MALQ.19800263206},
timestamp = {Wed, 17 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/mlq/Falkinger80a.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/mlq/Foldes80,
author = {St{\'{e}}phane Foldes},
title = {On Intervals in Relational Structures},
journal = {Math. Log. Q.},
volume = {26},
number = {7-9},
pages = {97--101},
year = {1980},
url = {https://doi.org/10.1002/malq.19800260702},
doi = {10.1002/MALQ.19800260702},
timestamp = {Wed, 17 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/mlq/Foldes80.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/mlq/Gacs80,
author = {P{\'{e}}ter G{\'{a}}cs},
title = {Exact Expressions for Some Randomness Tests},
journal = {Math. Log. Q.},
volume = {26},
number = {25-27},
pages = {385--394},
year = {1980},
url = {https://doi.org/10.1002/malq.19800262502},
doi = {10.1002/MALQ.19800262502},
timestamp = {Wed, 17 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/mlq/Gacs80.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/mlq/Gloede80,
author = {Klaus Gloede},
title = {On a Collection of Classes in Ackermann's Set Theory With the Axiomschema
of Foundation},
journal = {Math. Log. Q.},
volume = {26},
number = {32-33},
pages = {517--522},
year = {1980},
url = {https://doi.org/10.1002/malq.19800263205},
doi = {10.1002/MALQ.19800263205},
timestamp = {Wed, 17 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/mlq/Gloede80.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/mlq/GoetzeN80,
author = {Bernhard G. Goetze and
Werner Nehrlich},
title = {The Structure of Loop Programs and Subrecursive Hierarchies},
journal = {Math. Log. Q.},
volume = {26},
number = {14-18},
pages = {255--278},
year = {1980},
url = {https://doi.org/10.1002/malq.19800261407},
doi = {10.1002/MALQ.19800261407},
timestamp = {Wed, 17 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/mlq/GoetzeN80.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/mlq/Gold80,
author = {Jerrold M. Gold},
title = {Some Results on the Structure of the {\(\phi\)}-Spectrum},
journal = {Math. Log. Q.},
volume = {26},
number = {32-33},
pages = {503--507},
year = {1980},
url = {https://doi.org/10.1002/malq.19800263203},
doi = {10.1002/MALQ.19800263203},
timestamp = {Wed, 17 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/mlq/Gold80.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/mlq/Hanazawa80,
author = {Masazumi Hanazawa},
title = {An Extension of the Notion of Relativization to Hilbert's {\unicode{1013}}-Symbol},
journal = {Math. Log. Q.},
volume = {26},
number = {31},
pages = {491--496},
year = {1980},
url = {https://doi.org/10.1002/malq.19800263103},
doi = {10.1002/MALQ.19800263103},
timestamp = {Wed, 17 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/mlq/Hanazawa80.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/mlq/Hauck80,
author = {J{\"{u}}rgen Hauck},
title = {Stetigkeitseigenschaften Berechenbarer Reeller Funktionen},
journal = {Math. Log. Q.},
volume = {26},
number = {1-6},
pages = {69--76},
year = {1980},
url = {https://doi.org/10.1002/malq.19800260108},
doi = {10.1002/MALQ.19800260108},
timestamp = {Wed, 17 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/mlq/Hauck80.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/mlq/Hauck80a,
author = {J{\"{u}}rgen Hauck},
title = {Konstruktive Darstellungen in Topologischen R{\"{a}}umen mit
Rekursiver Basis},
journal = {Math. Log. Q.},
volume = {26},
number = {36},
pages = {565--576},
year = {1980},
url = {https://doi.org/10.1002/malq.19800263603},
doi = {10.1002/MALQ.19800263603},
timestamp = {Wed, 17 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/mlq/Hauck80a.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/mlq/Hecker80,
author = {Hans{-}Dietrich Hecker},
title = {Enumerationen in Speziellen Standardklassen Rekursiv-Aufz{\"{a}}hlbarer
Mengen},
journal = {Math. Log. Q.},
volume = {26},
number = {10-12},
pages = {165--180},
year = {1980},
url = {https://doi.org/10.1002/malq.19800261003},
doi = {10.1002/MALQ.19800261003},
timestamp = {Wed, 17 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/mlq/Hecker80.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/mlq/Herre80,
author = {Heinrich Herre},
title = {Modelltheoretische Eigenschaften Endlichvalenter Graphen},
journal = {Math. Log. Q.},
volume = {26},
number = {1-6},
pages = {51--58},
year = {1980},
url = {https://doi.org/10.1002/malq.19800260106},
doi = {10.1002/MALQ.19800260106},
timestamp = {Wed, 17 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/mlq/Herre80.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/mlq/Herrmann80,
author = {Robert A. Herrmann},
title = {A Nonstandard Approach to Pseudotopological Compactifications},
journal = {Math. Log. Q.},
volume = {26},
number = {22-24},
pages = {361--384},
year = {1980},
url = {https://doi.org/10.1002/malq.19800262206},
doi = {10.1002/MALQ.19800262206},
timestamp = {Wed, 17 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/mlq/Herrmann80.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/mlq/HerrmannW80,
author = {Eberhard Herrmann and
Helmut Wolter},
title = {Untersuchungen zu Schwachen Logiken der Zweiten Stufe},
journal = {Math. Log. Q.},
volume = {26},
number = {1-6},
pages = {59--68},
year = {1980},
url = {https://doi.org/10.1002/malq.19800260107},
doi = {10.1002/MALQ.19800260107},
timestamp = {Wed, 17 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/mlq/HerrmannW80.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/mlq/Hickman80,
author = {John L. Hickman},
title = {\emph{A}-Minimal Lattices},
journal = {Math. Log. Q.},
volume = {26},
number = {10-12},
pages = {181--191},
year = {1980},
url = {https://doi.org/10.1002/malq.19800261004},
doi = {10.1002/MALQ.19800261004},
timestamp = {Wed, 17 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/mlq/Hickman80.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/mlq/Hickman80a,
author = {John L. Hickman},
title = {Some Observations Concerning Medial Fields},
journal = {Math. Log. Q.},
volume = {26},
number = {28-30},
pages = {471--475},
year = {1980},
url = {https://doi.org/10.1002/malq.19800262806},
doi = {10.1002/MALQ.19800262806},
timestamp = {Wed, 17 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/mlq/Hickman80a.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/mlq/Hickman80b,
author = {John L. Hickman},
title = {A Class of Polynomial Equations in a Single Ordinal Variable},
journal = {Math. Log. Q.},
volume = {26},
number = {28-30},
pages = {477--479},
year = {1980},
url = {https://doi.org/10.1002/malq.19800262807},
doi = {10.1002/MALQ.19800262807},
timestamp = {Wed, 17 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/mlq/Hickman80b.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/mlq/HindleyL80,
author = {R. Hindley and
G. Longo},
title = {Lambda-Calculus Models and Extensionality},
journal = {Math. Log. Q.},
volume = {26},
number = {19-21},
pages = {289--310},
year = {1980},
url = {https://doi.org/10.1002/malq.19800261902},
doi = {10.1002/MALQ.19800261902},
timestamp = {Wed, 17 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/mlq/HindleyL80.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/mlq/JenningsJS80,
author = {Ray E. Jennings and
D. K. Johnston and
Peter K. Schotch},
title = {Universal First-Order Definability in Modal Logic},
journal = {Math. Log. Q.},
volume = {26},
number = {19-21},
pages = {327--330},
year = {1980},
url = {https://doi.org/10.1002/malq.19800261904},
doi = {10.1002/MALQ.19800261904},
timestamp = {Wed, 17 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/mlq/JenningsJS80.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/mlq/Jockusch80,
author = {Carl G. Jockusch Jr.},
title = {Fine Degrees of Word Problems of Cancellation Semigroups},
journal = {Math. Log. Q.},
volume = {26},
number = {1-6},
pages = {93--95},
year = {1980},
url = {https://doi.org/10.1002/malq.19800260111},
doi = {10.1002/MALQ.19800260111},
timestamp = {Wed, 17 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/mlq/Jockusch80.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/mlq/Kaiser80,
author = {Klaus Kaiser},
title = {On {A} Lattice of Relational Reducts},
journal = {Math. Log. Q.},
volume = {26},
number = {25-27},
pages = {429--432},
year = {1980},
url = {https://doi.org/10.1002/malq.19800262506},
doi = {10.1002/MALQ.19800262506},
timestamp = {Wed, 17 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/mlq/Kaiser80.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/mlq/Kirk80,
author = {Robert E. Kirk},
title = {A Characterization of the Classes of Finite Tree Frames Which are
Adequate for the Intuitionistic Logic},
journal = {Math. Log. Q.},
volume = {26},
number = {32-33},
pages = {497--501},
year = {1980},
url = {https://doi.org/10.1002/malq.19800263202},
doi = {10.1002/MALQ.19800263202},
timestamp = {Wed, 17 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/mlq/Kirk80.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/mlq/KlotzekO80,
author = {Benno Klotzek and
Rudolf Ottenberg},
title = {Pseudoeuklidische R{\"{a}}ume im Aufbau der Geometrie aus dem
Spiegelungsbegriff},
journal = {Math. Log. Q.},
volume = {26},
number = {10-12},
pages = {145--164},
year = {1980},
url = {https://doi.org/10.1002/malq.19800261002},
doi = {10.1002/MALQ.19800261002},
timestamp = {Wed, 17 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/mlq/KlotzekO80.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/mlq/Kotlarski80,
author = {Henryk Kotlarski},
title = {On Skolem Ultrapowers and Their Non-Standard Variant},
journal = {Math. Log. Q.},
volume = {26},
number = {14-18},
pages = {227--236},
year = {1980},
url = {https://doi.org/10.1002/malq.19800261404},
doi = {10.1002/MALQ.19800261404},
timestamp = {Wed, 17 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/mlq/Kotlarski80.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/mlq/Kuhnrich80,
author = {Martin K{\"{u}}hnrich},
title = {The Boolean Algebra of Predicates},
journal = {Math. Log. Q.},
volume = {26},
number = {22-24},
pages = {355--360},
year = {1980},
url = {https://doi.org/10.1002/malq.19800262205},
doi = {10.1002/MALQ.19800262205},
timestamp = {Wed, 17 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/mlq/Kuhnrich80.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/mlq/KuhnrichS80,
author = {Martin K{\"{u}}hnrich and
Konrad Schultz},
title = {A Hierarchy of Models for Skala's Set Theory},
journal = {Math. Log. Q.},
volume = {26},
number = {34-35},
pages = {555--559},
year = {1980},
url = {https://doi.org/10.1002/malq.19800263405},
doi = {10.1002/MALQ.19800263405},
timestamp = {Wed, 17 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/mlq/KuhnrichS80.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/mlq/Lenzen80,
author = {Wolfgang Lenzen},
title = {Beschr{\"{a}}nkte und Unbeschr{\"{a}}nkte Reduktion von
Konjunktionen von Modalit{\"{a}}ten in {S4}},
journal = {Math. Log. Q.},
volume = {26},
number = {7-9},
pages = {131--143},
year = {1980},
url = {https://doi.org/10.1002/malq.19800260707},
doi = {10.1002/MALQ.19800260707},
timestamp = {Wed, 17 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/mlq/Lenzen80.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/mlq/Manders80,
author = {Kenneth L. Manders},
title = {Theories With the Existential Substructure Property},
journal = {Math. Log. Q.},
volume = {26},
number = {1-6},
pages = {89--92},
year = {1980},
url = {https://doi.org/10.1002/malq.19800260110},
doi = {10.1002/MALQ.19800260110},
timestamp = {Wed, 17 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/mlq/Manders80.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/mlq/McBeth80,
author = {Rod McBeth},
title = {Fundamental Sequences for Exponential Polynomials},
journal = {Math. Log. Q.},
volume = {26},
number = {7-9},
pages = {115--122},
year = {1980},
url = {https://doi.org/10.1002/malq.19800260705},
doi = {10.1002/MALQ.19800260705},
timestamp = {Wed, 17 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/mlq/McBeth80.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/mlq/McBeth80a,
author = {Rod McBeth},
title = {Exponential Polynomials of Linear Height},
journal = {Math. Log. Q.},
volume = {26},
number = {25-27},
pages = {399--404},
year = {1980},
url = {https://doi.org/10.1002/malq.19800262504},
doi = {10.1002/MALQ.19800262504},
timestamp = {Wed, 17 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/mlq/McBeth80a.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/mlq/McBeth80b,
author = {Rod McBeth},
title = {A Generalization of Ackermann's Function},
journal = {Math. Log. Q.},
volume = {26},
number = {32-33},
pages = {509--516},
year = {1980},
url = {https://doi.org/10.1002/malq.19800263204},
doi = {10.1002/MALQ.19800263204},
timestamp = {Wed, 17 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/mlq/McBeth80b.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/mlq/McKee80,
author = {Terry A. McKee},
title = {Monadic Characterizations in Nonstandard Topology},
journal = {Math. Log. Q.},
volume = {26},
number = {25-27},
pages = {395--397},
year = {1980},
url = {https://doi.org/10.1002/malq.19800262503},
doi = {10.1002/MALQ.19800262503},
timestamp = {Wed, 17 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/mlq/McKee80.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/mlq/Mikkelson80,
author = {Ruth L. Mikkelson},
title = {Totally and Partially Ambiguous Points of Planar Functions},
journal = {Math. Log. Q.},
volume = {26},
number = {25-27},
pages = {405--428},
year = {1980},
url = {https://doi.org/10.1002/malq.19800262505},
doi = {10.1002/MALQ.19800262505},
timestamp = {Wed, 17 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/mlq/Mikkelson80.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/mlq/Murawski80,
author = {Roman Murawski},
title = {Some Remarks on the Structure of Expansions},
journal = {Math. Log. Q.},
volume = {26},
number = {34-35},
pages = {537--546},
year = {1980},
url = {https://doi.org/10.1002/malq.19800263403},
doi = {10.1002/MALQ.19800263403},
timestamp = {Wed, 17 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/mlq/Murawski80.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/mlq/Nadel80,
author = {Mark E. Nadel},
title = {An Arbitrary Equivalence Relation as Elementary Equivalence in an
Abstract Logic},
journal = {Math. Log. Q.},
volume = {26},
number = {7-9},
pages = {103--109},
year = {1980},
url = {https://doi.org/10.1002/malq.19800260703},
doi = {10.1002/MALQ.19800260703},
timestamp = {Wed, 17 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/mlq/Nadel80.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/mlq/Nishimura80,
author = {Hirokazu Nishimura},
title = {A Preservation Theorem for Tense Logic},
journal = {Math. Log. Q.},
volume = {26},
number = {19-21},
pages = {331--335},
year = {1980},
url = {https://doi.org/10.1002/malq.19800261905},
doi = {10.1002/MALQ.19800261905},
timestamp = {Wed, 17 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/mlq/Nishimura80.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/mlq/Nishimura80a,
author = {Hirokazu Nishimura},
title = {Saturated and Special Models in Modal Model Theory With Applications
to the Modal and {DE} {RE} Hierarchies},
journal = {Math. Log. Q.},
volume = {26},
number = {31},
pages = {481--490},
year = {1980},
url = {https://doi.org/10.1002/malq.19800263102},
doi = {10.1002/MALQ.19800263102},
timestamp = {Wed, 17 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/mlq/Nishimura80a.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/mlq/RemmelM80,
author = {Jeffrey B. Remmel and
Alfred B. Manaster},
title = {CO-Simple Higher-Order Indecomposable Isols},
journal = {Math. Log. Q.},
volume = {26},
number = {14-18},
pages = {279--288},
year = {1980},
url = {https://doi.org/10.1002/malq.19800261408},
doi = {10.1002/MALQ.19800261408},
timestamp = {Wed, 17 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/mlq/RemmelM80.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/mlq/SambinV80,
author = {Giovanni Sambin and
Silvio Valentini},
title = {Post Completeness and Free Algebras},
journal = {Math. Log. Q.},
volume = {26},
number = {22-24},
pages = {343--347},
year = {1980},
url = {https://doi.org/10.1002/malq.19800262203},
doi = {10.1002/MALQ.19800262203},
timestamp = {Wed, 17 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/mlq/SambinV80.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/mlq/Schinzel80,
author = {Britta Schinzel},
title = {Zerlegung mit Vergleichsbedingungen Einer G{\"{o}}delnumerierung},
journal = {Math. Log. Q.},
volume = {26},
number = {14-18},
pages = {215--226},
year = {1980},
url = {https://doi.org/10.1002/malq.19800261403},
doi = {10.1002/MALQ.19800261403},
timestamp = {Wed, 17 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/mlq/Schinzel80.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/mlq/Schultz80,
author = {Konrad Schultz},
title = {A Topological Model for Troelstra's System {CS} of Intuitionistic
Analysis},
journal = {Math. Log. Q.},
volume = {26},
number = {22-24},
pages = {349--354},
year = {1980},
url = {https://doi.org/10.1002/malq.19800262204},
doi = {10.1002/MALQ.19800262204},
timestamp = {Wed, 17 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/mlq/Schultz80.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/mlq/Schwartz80,
author = {Dietrich Schwartz},
title = {Cylindric Algebras with Filter Quantifiers},
journal = {Math. Log. Q.},
volume = {26},
number = {14-18},
pages = {251--254},
year = {1980},
url = {https://doi.org/10.1002/malq.19800261406},
doi = {10.1002/MALQ.19800261406},
timestamp = {Wed, 17 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/mlq/Schwartz80.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/mlq/Schwartz80a,
author = {Dietrich Schwartz},
title = {Polyadic MV-Algebras},
journal = {Math. Log. Q.},
volume = {26},
number = {36},
pages = {561--564},
year = {1980},
url = {https://doi.org/10.1002/malq.19800263602},
doi = {10.1002/MALQ.19800263602},
timestamp = {Wed, 17 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/mlq/Schwartz80a.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/mlq/Shafaat80,
author = {Ahmad Shafaat},
title = {Consistency in Categorical Languages for Algebras},
journal = {Math. Log. Q.},
volume = {26},
number = {13},
pages = {205--207},
year = {1980},
url = {https://doi.org/10.1002/malq.19800261303},
doi = {10.1002/MALQ.19800261303},
timestamp = {Wed, 17 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/mlq/Shafaat80.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/mlq/Szczerba80,
author = {L. W. Szczerba},
title = {Interpretations With Parameters},
journal = {Math. Log. Q.},
volume = {26},
number = {1-6},
pages = {35--39},
year = {1980},
url = {https://doi.org/10.1002/malq.19800260104},
doi = {10.1002/MALQ.19800260104},
timestamp = {Wed, 17 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/mlq/Szczerba80.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/mlq/Tuschik80,
author = {Hans{-}Peter Tuschik},
title = {An Application of Rank-Forcing to {\(\omega\)}\({}_{\mbox{1}}\)-Categoricity},
journal = {Math. Log. Q.},
volume = {26},
number = {14-18},
pages = {237--250},
year = {1980},
url = {https://doi.org/10.1002/malq.19800261405},
doi = {10.1002/MALQ.19800261405},
timestamp = {Wed, 17 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/mlq/Tuschik80.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/mlq/Vaananen80,
author = {Jouko V{\"{a}}{\"{a}}n{\"{a}}nen},
title = {A Quantifier for Isomorphisms},
journal = {Math. Log. Q.},
volume = {26},
number = {7-9},
pages = {123--130},
year = {1980},
url = {https://doi.org/10.1002/malq.19800260706},
doi = {10.1002/MALQ.19800260706},
timestamp = {Thu, 07 Jun 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/mlq/Vaananen80.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/mlq/Wasilewska80,
author = {Anita Wasilewska},
title = {On the Gentzen Type Formalizations},
journal = {Math. Log. Q.},
volume = {26},
number = {28-30},
pages = {439--444},
year = {1980},
url = {https://doi.org/10.1002/malq.19800262803},
doi = {10.1002/MALQ.19800262803},
timestamp = {Wed, 17 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/mlq/Wasilewska80.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/mlq/Weaver80,
author = {George Weaver},
title = {A Note on the Compactness Theorem in First Order Logic},
journal = {Math. Log. Q.},
volume = {26},
number = {7-9},
pages = {111--113},
year = {1980},
url = {https://doi.org/10.1002/malq.19800260704},
doi = {10.1002/MALQ.19800260704},
timestamp = {Wed, 17 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/mlq/Weaver80.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-24 13:56 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:
