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/mlq32.bht:"
download as .bib file
@article{DBLP:journals/mlq/000186,
author = {Peter Schreiber},
title = {Herrn Professor Dr. sc. nat. G{\"{u}}nter Asser zum 60. Geburtstag},
journal = {Math. Log. Q.},
volume = {32},
number = {1-5},
pages = {3--4},
year = {1986},
url = {https://doi.org/10.1002/malq.19860320102},
doi = {10.1002/MALQ.19860320102},
timestamp = {Wed, 17 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/mlq/000186.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/mlq/Armbrust86,
author = {Manfred Armbrust},
title = {An Equivalence-Theoretic Equivalent of the Axiom of Choice},
journal = {Math. Log. Q.},
volume = {32},
number = {6},
pages = {95},
year = {1986},
url = {https://doi.org/10.1002/malq.19860320604},
doi = {10.1002/MALQ.19860320604},
timestamp = {Sun, 01 Oct 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/mlq/Armbrust86.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/mlq/Benthem86,
author = {Johan van Benthem},
title = {Tenses in Real Time},
journal = {Math. Log. Q.},
volume = {32},
number = {1-5},
pages = {61--72},
year = {1986},
url = {https://doi.org/10.1002/malq.19860320108},
doi = {10.1002/MALQ.19860320108},
timestamp = {Wed, 17 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/mlq/Benthem86.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/mlq/BorgaG86,
author = {Marco Borga and
Paolo Gentilini},
title = {On the Proof Theory of the Modal Logic Grz},
journal = {Math. Log. Q.},
volume = {32},
number = {10-12},
pages = {145--148},
year = {1986},
url = {https://doi.org/10.1002/malq.19860321002},
doi = {10.1002/MALQ.19860321002},
timestamp = {Wed, 17 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/mlq/BorgaG86.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/mlq/Buszkowski86,
author = {Wojciech Buszkowski},
title = {Completeness Results for Lambek Syntactic Calculus},
journal = {Math. Log. Q.},
volume = {32},
number = {1-5},
pages = {13--28},
year = {1986},
url = {https://doi.org/10.1002/malq.19860320104},
doi = {10.1002/MALQ.19860320104},
timestamp = {Fri, 09 Apr 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/mlq/Buszkowski86.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/mlq/Buszkowski86a,
author = {Wojciech Buszkowski},
title = {Embedding Boolean Structures into Atomic Boolean Structures},
journal = {Math. Log. Q.},
volume = {32},
number = {13-16},
pages = {227--228},
year = {1986},
url = {https://doi.org/10.1002/malq.19860321307},
doi = {10.1002/MALQ.19860321307},
timestamp = {Fri, 09 Apr 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/mlq/Buszkowski86a.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/mlq/CialdeaC86,
author = {Marta Cialdea and
Luis Fari{\~{n}}as del Cerro},
title = {A Modal Herbrand's Property},
journal = {Math. Log. Q.},
volume = {32},
number = {31-34},
pages = {523--530},
year = {1986},
url = {https://doi.org/10.1002/malq.19860323106},
doi = {10.1002/MALQ.19860323106},
timestamp = {Wed, 17 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/mlq/CialdeaC86.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/mlq/Delzell86,
author = {Charles N. Delzell},
title = {Note on Quantifier Prefixes Over Diophantine Equations},
journal = {Math. Log. Q.},
volume = {32},
number = {25-30},
pages = {395--397},
year = {1986},
url = {https://doi.org/10.1002/malq.19860322503},
doi = {10.1002/MALQ.19860322503},
timestamp = {Wed, 17 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/mlq/Delzell86.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/mlq/Deutsch86,
author = {Michael Deutsch},
title = {Ein Neuer Beweis und Eine Versch{\"{a}}rfung f{\"{u}}r den
Konservativen Reduktionstyp {\(\forall\)}{\(\exists\)}{\(\forall\)}{\(\exists\)}{\(\infty\)}(0,
1)},
journal = {Math. Log. Q.},
volume = {32},
number = {35-36},
pages = {551--574},
year = {1986},
url = {https://doi.org/10.1002/malq.19860323503},
doi = {10.1002/MALQ.19860323503},
timestamp = {Wed, 17 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/mlq/Deutsch86.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/mlq/Dimitracopoulos86,
author = {Costas Dimitracopoulos and
Jeff B. Paris},
title = {The Pigeonhole Principle and Fragments of Arithmetic},
journal = {Math. Log. Q.},
volume = {32},
number = {1-5},
pages = {73--80},
year = {1986},
url = {https://doi.org/10.1002/malq.19860320109},
doi = {10.1002/MALQ.19860320109},
timestamp = {Wed, 17 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/mlq/Dimitracopoulos86.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/mlq/Downey86,
author = {Rodney G. Downey},
title = {Bases of Supermaximal Subspaces and Steinitz Systems {II}},
journal = {Math. Log. Q.},
volume = {32},
number = {13-16},
pages = {203--210},
year = {1986},
url = {https://doi.org/10.1002/malq.19860321304},
doi = {10.1002/MALQ.19860321304},
timestamp = {Wed, 17 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/mlq/Downey86.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/mlq/Ecsedi-Toth86,
author = {P{\'{e}}ter Ecsedi{-}T{\'{o}}th},
title = {On the Expressive Power of Equality-Free First Order Languages},
journal = {Math. Log. Q.},
volume = {32},
number = {19-24},
pages = {371--375},
year = {1986},
url = {https://doi.org/10.1002/malq.19860321911},
doi = {10.1002/MALQ.19860321911},
timestamp = {Tue, 22 Dec 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/mlq/Ecsedi-Toth86.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/mlq/Font86,
author = {Josep Maria Font},
title = {Some Remarks on Heyting Matrices},
journal = {Math. Log. Q.},
volume = {32},
number = {31-34},
pages = {517--520},
year = {1986},
url = {https://doi.org/10.1002/malq.19860323104},
doi = {10.1002/MALQ.19860323104},
timestamp = {Wed, 17 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/mlq/Font86.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/mlq/Forrest86,
author = {Williams Kramer Forrest},
title = {The Fundamental Configurations of Linear Projective Geometry},
journal = {Math. Log. Q.},
volume = {32},
number = {19-24},
pages = {289--306},
year = {1986},
url = {https://doi.org/10.1002/malq.19860321902},
doi = {10.1002/MALQ.19860321902},
timestamp = {Wed, 17 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/mlq/Forrest86.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/mlq/HatcherS86,
author = {William S. Hatcher and
Philip J. Scott},
title = {Lambda-Algebras and \emph{C}-Monoids},
journal = {Math. Log. Q.},
volume = {32},
number = {25-30},
pages = {415--430},
year = {1986},
url = {https://doi.org/10.1002/malq.19860322507},
doi = {10.1002/MALQ.19860322507},
timestamp = {Wed, 17 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/mlq/HatcherS86.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/mlq/Hemmerling86,
author = {Armin Hemmerling},
title = {1-Pointer Automata Searching Finite Plane Graphs},
journal = {Math. Log. Q.},
volume = {32},
number = {13-16},
pages = {245--256},
year = {1986},
url = {https://doi.org/10.1002/malq.19860321310},
doi = {10.1002/MALQ.19860321310},
timestamp = {Wed, 17 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/mlq/Hemmerling86.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/mlq/Hernandez86,
author = {E. G. Hernandez},
title = {Boolean-Valued Models of Set Theory with Automorphisms},
journal = {Math. Log. Q.},
volume = {32},
number = {7-9},
pages = {117--130},
year = {1986},
url = {https://doi.org/10.1002/malq.19860320704},
doi = {10.1002/MALQ.19860320704},
timestamp = {Wed, 17 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/mlq/Hernandez86.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/mlq/Hickman86,
author = {John L. Hickman},
title = {A Note on Transitive Equivalence},
journal = {Math. Log. Q.},
volume = {32},
number = {13-16},
pages = {193--196},
year = {1986},
url = {https://doi.org/10.1002/malq.19860321302},
doi = {10.1002/MALQ.19860321302},
timestamp = {Wed, 17 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/mlq/Hickman86.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/mlq/Hinnion86,
author = {Roland Hinnion},
title = {Extensionality in Zermelo-Fraenkel Set Theory},
journal = {Math. Log. Q.},
volume = {32},
number = {1-5},
pages = {51--60},
year = {1986},
url = {https://doi.org/10.1002/malq.19860320107},
doi = {10.1002/MALQ.19860320107},
timestamp = {Wed, 17 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/mlq/Hinnion86.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/mlq/Hoole86,
author = {M. R. R. Hoole},
title = {Forcing and Consistency Results for Recursion in \({}^{\mbox{3}}\)E
Together with Selection Over {\(\aleph\)}\({}_{\mbox{1}}\)},
journal = {Math. Log. Q.},
volume = {32},
number = {7-9},
pages = {107--115},
year = {1986},
url = {https://doi.org/10.1002/malq.19860320703},
doi = {10.1002/MALQ.19860320703},
timestamp = {Wed, 17 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/mlq/Hoole86.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/mlq/Hoole86a,
author = {M. R. R. Hoole},
title = {Plus-1 Results for \emph{E}-Recursion},
journal = {Math. Log. Q.},
volume = {32},
number = {25-30},
pages = {473--479},
year = {1986},
url = {https://doi.org/10.1002/malq.19860322515},
doi = {10.1002/MALQ.19860322515},
timestamp = {Wed, 17 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/mlq/Hoole86a.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/mlq/HumberstoneL86,
author = {I. L. Humberstone and
A. J. Lock},
title = {Semicomplemented Lattices and the Finite Model Property},
journal = {Math. Log. Q.},
volume = {32},
number = {25-30},
pages = {431--437},
year = {1986},
url = {https://doi.org/10.1002/malq.19860322508},
doi = {10.1002/MALQ.19860322508},
timestamp = {Wed, 17 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/mlq/HumberstoneL86.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/mlq/Jager86,
author = {Gerhard J{\"{a}}ger},
title = {Countable Admissible Ordinals and Dilators},
journal = {Math. Log. Q.},
volume = {32},
number = {25-30},
pages = {451--456},
year = {1986},
url = {https://doi.org/10.1002/malq.19860322511},
doi = {10.1002/MALQ.19860322511},
timestamp = {Wed, 17 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/mlq/Jager86.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/mlq/Johnson86,
author = {C. A. Johnson},
title = {Precipitous Ideals on Singular Cardinals},
journal = {Math. Log. Q.},
volume = {32},
number = {25-30},
pages = {461--465},
year = {1986},
url = {https://doi.org/10.1002/malq.19860322513},
doi = {10.1002/MALQ.19860322513},
timestamp = {Wed, 17 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/mlq/Johnson86.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/mlq/Johnson86a,
author = {Chris A. Johnson},
title = {Saturated Ideals Need Not be \emph{p}-points},
journal = {Math. Log. Q.},
volume = {32},
number = {31-34},
pages = {521--522},
year = {1986},
url = {https://doi.org/10.1002/malq.19860323105},
doi = {10.1002/MALQ.19860323105},
timestamp = {Sat, 10 Mar 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/mlq/Johnson86a.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/mlq/JonesLW86,
author = {James P. Jones and
Hilbert Levitz and
A. J. Wilkie},
title = {Classification of Quantifier Prefixes Over Exponential Diophantine
Equations},
journal = {Math. Log. Q.},
volume = {32},
number = {25-30},
pages = {399--406},
year = {1986},
url = {https://doi.org/10.1002/malq.19860322504},
doi = {10.1002/MALQ.19860322504},
timestamp = {Wed, 17 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/mlq/JonesLW86.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/mlq/Kanda86,
author = {Akira Kanda},
title = {Classes of Numeration Models of {\(\lambda\)}-Calculus},
journal = {Math. Log. Q.},
volume = {32},
number = {19-24},
pages = {315--322},
year = {1986},
url = {https://doi.org/10.1002/malq.19860321904},
doi = {10.1002/MALQ.19860321904},
timestamp = {Wed, 17 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/mlq/Kanda86.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/mlq/Kanda86a,
author = {Akira Kanda},
title = {Numeration Models of {\(\lambda\)}{\(\beta\)}-Calculus},
journal = {Math. Log. Q.},
volume = {32},
number = {25-30},
pages = {409--414},
year = {1986},
url = {https://doi.org/10.1002/malq.19860322506},
doi = {10.1002/MALQ.19860322506},
timestamp = {Wed, 17 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/mlq/Kanda86a.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/mlq/Kotlarski86,
author = {Henryk Kotlarski},
title = {The Recursively Saturated Part of Models of Peano Arithmetic},
journal = {Math. Log. Q.},
volume = {32},
number = {19-24},
pages = {365--370},
year = {1986},
url = {https://doi.org/10.1002/malq.19860321910},
doi = {10.1002/MALQ.19860321910},
timestamp = {Wed, 17 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/mlq/Kotlarski86.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/mlq/Kotlarski86a,
author = {Henryk Kotlarski},
title = {Bounded Induction and Satisfaction Classes},
journal = {Math. Log. Q.},
volume = {32},
number = {31-34},
pages = {531--544},
year = {1986},
url = {https://doi.org/10.1002/malq.19860323107},
doi = {10.1002/MALQ.19860323107},
timestamp = {Wed, 17 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/mlq/Kotlarski86a.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/mlq/Kuhnrich86,
author = {Martin K{\"{u}}hnrich},
title = {Untersuchungen zur Friedmanschen Theorie der Pr{\"{a}}dikate},
journal = {Math. Log. Q.},
volume = {32},
number = {1-5},
pages = {29--44},
year = {1986},
url = {https://doi.org/10.1002/malq.19860320105},
doi = {10.1002/MALQ.19860320105},
timestamp = {Wed, 17 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/mlq/Kuhnrich86.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/mlq/Kuhnrich86a,
author = {Martin K{\"{u}}hnrich},
title = {Zur Axiomatik der Friedmanschen Theorie der Pr{\"{a}}dikate},
journal = {Math. Log. Q.},
volume = {32},
number = {7-9},
pages = {97--106},
year = {1986},
url = {https://doi.org/10.1002/malq.19860320702},
doi = {10.1002/MALQ.19860320702},
timestamp = {Wed, 17 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/mlq/Kuhnrich86a.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/mlq/Kuhnrich86b,
author = {Martin K{\"{u}}hnrich},
title = {Differentialoperatoren {\"{U}}ber Booleschen Algebren},
journal = {Math. Log. Q.},
volume = {32},
number = {17-18},
pages = {271--288},
year = {1986},
url = {https://doi.org/10.1002/malq.19860321703},
doi = {10.1002/MALQ.19860321703},
timestamp = {Wed, 17 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/mlq/Kuhnrich86b.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/mlq/Kutylowski86,
author = {Miroslaw Kutylowski},
title = {Restricted Collection and Comprehension Schemata in Weak Set Theories},
journal = {Math. Log. Q.},
volume = {32},
number = {35-36},
pages = {545--549},
year = {1986},
url = {https://doi.org/10.1002/malq.19860323502},
doi = {10.1002/MALQ.19860323502},
timestamp = {Wed, 17 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/mlq/Kutylowski86.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/mlq/Lischke86,
author = {Gerhard Lischke},
title = {Oracle-Constructions to Prove All Possible Relationships Between Relativizations
of P, NP, EL, NEL, {EP} and {NEP}},
journal = {Math. Log. Q.},
volume = {32},
number = {17-18},
pages = {257--270},
year = {1986},
url = {https://doi.org/10.1002/malq.19860321702},
doi = {10.1002/MALQ.19860321702},
timestamp = {Wed, 17 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/mlq/Lischke86.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/mlq/MarongiuT86,
author = {Gabriele Marongiu and
Sauro Tulipani},
title = {Horn Sentences of Small Size in Identity Theory},
journal = {Math. Log. Q.},
volume = {32},
number = {25-30},
pages = {439--444},
year = {1986},
url = {https://doi.org/10.1002/malq.19860322509},
doi = {10.1002/MALQ.19860322509},
timestamp = {Wed, 17 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/mlq/MarongiuT86.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/mlq/Meyer86,
author = {Robert K. Meyer},
title = {Idempotents in {R}},
journal = {Math. Log. Q.},
volume = {32},
number = {25-30},
pages = {407--408},
year = {1986},
url = {https://doi.org/10.1002/malq.19860322505},
doi = {10.1002/MALQ.19860322505},
timestamp = {Wed, 17 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/mlq/Meyer86.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/mlq/MeyerU86,
author = {Robert K. Meyer and
Igor Urbas},
title = {Conservative Extension in Relevant Arithmetic},
journal = {Math. Log. Q.},
volume = {32},
number = {1-5},
pages = {45--50},
year = {1986},
url = {https://doi.org/10.1002/malq.19860320106},
doi = {10.1002/MALQ.19860320106},
timestamp = {Wed, 17 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/mlq/MeyerU86.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/mlq/Mohrherr86,
author = {Jeanleah Mohrherr},
title = {A Refinement of Low \emph{n} and High \emph{n} for the {R.E.} Degrees},
journal = {Math. Log. Q.},
volume = {32},
number = {1-5},
pages = {5--12},
year = {1986},
url = {https://doi.org/10.1002/malq.19860320103},
doi = {10.1002/MALQ.19860320103},
timestamp = {Wed, 17 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/mlq/Mohrherr86.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/mlq/Moses86,
author = {Michael Moses},
title = {Relations Intrinsically Recursive in Linear Orders},
journal = {Math. Log. Q.},
volume = {32},
number = {25-30},
pages = {467--472},
year = {1986},
url = {https://doi.org/10.1002/malq.19860322514},
doi = {10.1002/MALQ.19860322514},
timestamp = {Wed, 17 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/mlq/Moses86.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/mlq/Murawski86,
author = {Roman Murawski},
title = {Some More Remarks on Expandability of Initial Segments},
journal = {Math. Log. Q.},
volume = {32},
number = {25-30},
pages = {445--450},
year = {1986},
url = {https://doi.org/10.1002/malq.19860322510},
doi = {10.1002/MALQ.19860322510},
timestamp = {Wed, 17 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/mlq/Murawski86.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/mlq/NolaG86,
author = {Antonio Di Nola and
Brunella Gerla},
title = {Fuzzy Models of First Order Languages},
journal = {Math. Log. Q.},
volume = {32},
number = {19-24},
pages = {331--340},
year = {1986},
url = {https://doi.org/10.1002/malq.19860321906},
doi = {10.1002/MALQ.19860321906},
timestamp = {Fri, 05 Jun 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/mlq/NolaG86.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/mlq/Pazdyka86,
author = {Pawel Pazdyka},
title = {On Definability of Relations by Only One Relation},
journal = {Math. Log. Q.},
volume = {32},
number = {25-30},
pages = {457--459},
year = {1986},
url = {https://doi.org/10.1002/malq.19860322512},
doi = {10.1002/MALQ.19860322512},
timestamp = {Wed, 17 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/mlq/Pazdyka86.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/mlq/Pollard86,
author = {Stephen Pollard},
title = {Transfinite Recursion in a Theory of Properties},
journal = {Math. Log. Q.},
volume = {32},
number = {19-24},
pages = {307--314},
year = {1986},
url = {https://doi.org/10.1002/malq.19860321903},
doi = {10.1002/MALQ.19860321903},
timestamp = {Wed, 17 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/mlq/Pollard86.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/mlq/RaskovicZ86,
author = {Miodrag Raskovic and
Rade T. Zivaljevic},
title = {Barwise Completeness Theorems for Some Biprobability Logics},
journal = {Math. Log. Q.},
volume = {32},
number = {7-9},
pages = {133--135},
year = {1986},
url = {https://doi.org/10.1002/malq.19860320706},
doi = {10.1002/MALQ.19860320706},
timestamp = {Wed, 17 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/mlq/RaskovicZ86.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/mlq/Rose86,
author = {Alan Rose},
title = {A Relationship Between Ordinary Functional Completeness and a Generalisation
of the Concept},
journal = {Math. Log. Q.},
volume = {32},
number = {19-24},
pages = {323--330},
year = {1986},
url = {https://doi.org/10.1002/malq.19860321905},
doi = {10.1002/MALQ.19860321905},
timestamp = {Wed, 17 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/mlq/Rose86.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/mlq/Sachwanowicz86,
author = {Wojciech Sachwanowicz},
title = {Forcing and the Omitting Types Theorem For L\({}_{\mbox{t}}\)},
journal = {Math. Log. Q.},
volume = {32},
number = {6},
pages = {89--94},
year = {1986},
url = {https://doi.org/10.1002/malq.19860320603},
doi = {10.1002/MALQ.19860320603},
timestamp = {Wed, 17 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/mlq/Sachwanowicz86.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/mlq/Sankappanavar86,
author = {Hanamantagouda P. Sankappanavar},
title = {Pseudocomplemented Okham and Demorgan Algebras},
journal = {Math. Log. Q.},
volume = {32},
number = {25-30},
pages = {385--394},
year = {1986},
url = {https://doi.org/10.1002/malq.19860322502},
doi = {10.1002/MALQ.19860322502},
timestamp = {Wed, 17 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/mlq/Sankappanavar86.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/mlq/Schmerl86,
author = {James H. Schmerl},
title = {Theories Having Finitely Many Countable Homogeneous Models},
journal = {Math. Log. Q.},
volume = {32},
number = {7-9},
pages = {131},
year = {1986},
url = {https://doi.org/10.1002/malq.19860320705},
doi = {10.1002/MALQ.19860320705},
timestamp = {Wed, 17 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/mlq/Schmerl86.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/mlq/Schnorr86,
author = {Claus{-}Peter Schnorr},
title = {A G{\"{o}}del Theorem on Network Complexity Lower Bounds},
journal = {Math. Log. Q.},
volume = {32},
number = {19-24},
pages = {377--384},
year = {1986},
url = {https://doi.org/10.1002/malq.19860321912},
doi = {10.1002/MALQ.19860321912},
timestamp = {Wed, 17 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/mlq/Schnorr86.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/mlq/Sikic86,
author = {Zvonimir Sikic},
title = {Cantor's Theorem and Paradoxical Classes},
journal = {Math. Log. Q.},
volume = {32},
number = {13-16},
pages = {221--226},
year = {1986},
url = {https://doi.org/10.1002/malq.19860321306},
doi = {10.1002/MALQ.19860321306},
timestamp = {Wed, 17 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/mlq/Sikic86.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/mlq/Sikic86a,
author = {Zvonimir Sikic},
title = {On the Logical System L\({}_{\mbox{1}}\)},
journal = {Math. Log. Q.},
volume = {32},
number = {19-24},
pages = {349--353},
year = {1986},
url = {https://doi.org/10.1002/malq.19860321908},
doi = {10.1002/MALQ.19860321908},
timestamp = {Wed, 17 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/mlq/Sikic86a.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/mlq/Szatkowski86,
author = {Miroslaw Szatkowski},
title = {Some Model-Theoretic Results for the Relevant Logic with Quantification},
journal = {Math. Log. Q.},
volume = {32},
number = {19-24},
pages = {355--363},
year = {1986},
url = {https://doi.org/10.1002/malq.19860321909},
doi = {10.1002/MALQ.19860321909},
timestamp = {Wed, 17 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/mlq/Szatkowski86.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/mlq/Thuraisingham86,
author = {Bhavani M. Thuraisingham},
title = {The Concept of \emph{n}-Cylinder and its Application},
journal = {Math. Log. Q.},
volume = {32},
number = {13-16},
pages = {211--219},
year = {1986},
url = {https://doi.org/10.1002/malq.19860321305},
doi = {10.1002/MALQ.19860321305},
timestamp = {Fri, 22 Apr 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/mlq/Thuraisingham86.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/mlq/Toffalori86,
author = {Carlo Toffalori},
title = {Locally p-{\(\aleph\)}\({}_{\mbox{0}}\)-Categorical Theories},
journal = {Math. Log. Q.},
volume = {32},
number = {19-24},
pages = {341--348},
year = {1986},
url = {https://doi.org/10.1002/malq.19860321907},
doi = {10.1002/MALQ.19860321907},
timestamp = {Wed, 17 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/mlq/Toffalori86.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/mlq/Tourlakis86,
author = {George Tourlakis},
title = {Some Reflections on the Foundations of Ordinary Recursion Theory and
a New Proposal},
journal = {Math. Log. Q.},
volume = {32},
number = {31-34},
pages = {503--515},
year = {1986},
url = {https://doi.org/10.1002/malq.19860323103},
doi = {10.1002/MALQ.19860323103},
timestamp = {Wed, 17 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/mlq/Tourlakis86.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/mlq/Valentini86,
author = {Silvio Valentini},
title = {A Syntactic Proof of Cut-Elimination For GL\({}_{\mbox{lin}}\)},
journal = {Math. Log. Q.},
volume = {32},
number = {7-9},
pages = {137--144},
year = {1986},
url = {https://doi.org/10.1002/malq.19860320707},
doi = {10.1002/MALQ.19860320707},
timestamp = {Mon, 29 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/mlq/Valentini86.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/mlq/Voelkel86,
author = {Lutz Voelkel},
title = {Zur Berechnung der Partiell Rekursiven Wortfunktionen Ohne Verwendung
von Lesebefehlen},
journal = {Math. Log. Q.},
volume = {32},
number = {13-16},
pages = {237--244},
year = {1986},
url = {https://doi.org/10.1002/malq.19860321309},
doi = {10.1002/MALQ.19860321309},
timestamp = {Wed, 17 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/mlq/Voelkel86.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/mlq/Wasilewska86,
author = {Anita Wasilewska},
title = {Deterministic Algorithms, Simple Languages And One-to-One Gentzen
Type Formalizations},
journal = {Math. Log. Q.},
volume = {32},
number = {10-12},
pages = {181--188},
year = {1986},
url = {https://doi.org/10.1002/malq.19860321004},
doi = {10.1002/MALQ.19860321004},
timestamp = {Wed, 17 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/mlq/Wasilewska86.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/mlq/Weese86,
author = {Martin Weese},
title = {The Theory of Boolean Algebras With \emph{Q}\({}_{\mbox{0}}\) and
Quantification Over Ideals},
journal = {Math. Log. Q.},
volume = {32},
number = {10-12},
pages = {189--191},
year = {1986},
url = {https://doi.org/10.1002/malq.19860321005},
doi = {10.1002/MALQ.19860321005},
timestamp = {Wed, 17 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/mlq/Weese86.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/mlq/Wolter86,
author = {Helmut Wolter},
title = {Some Remarks on Exponential Functions in Ordered Fields},
journal = {Math. Log. Q.},
volume = {32},
number = {13-16},
pages = {229--236},
year = {1986},
url = {https://doi.org/10.1002/malq.19860321308},
doi = {10.1002/MALQ.19860321308},
timestamp = {Wed, 17 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/mlq/Wolter86.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/mlq/Yasuda86,
author = {Yutaka Yasuda},
title = {Structure Theory for Projective Sets in the Plane With Countable Sections},
journal = {Math. Log. Q.},
volume = {32},
number = {31-34},
pages = {481--501},
year = {1986},
url = {https://doi.org/10.1002/malq.19860323102},
doi = {10.1002/MALQ.19860323102},
timestamp = {Wed, 17 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/mlq/Yasuda86.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/mlq/Zimand86,
author = {Marius Zimand},
title = {On the Topological Size of Sets of Random Strings},
journal = {Math. Log. Q.},
volume = {32},
number = {6},
pages = {81--88},
year = {1986},
url = {https://doi.org/10.1002/malq.19860320602},
doi = {10.1002/MALQ.19860320602},
timestamp = {Wed, 17 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/mlq/Zimand86.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/mlq/Zuckerman86,
author = {Martik M. Zuckerman},
title = {Sums of 5 or 6 Pairwise-Noncommutative Ordinals},
journal = {Math. Log. Q.},
volume = {32},
number = {13-16},
pages = {197--202},
year = {1986},
url = {https://doi.org/10.1002/malq.19860321303},
doi = {10.1002/MALQ.19860321303},
timestamp = {Wed, 17 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/mlq/Zuckerman86.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-01 13:41 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:
