Stop the war!
Остановите войну!
for scientists:
default search action
Search dblp for Publications
export results for "toc:db/journals/mlq/mlq41.bht:"
@article{DBLP:journals/mlq/AndrekaDN95, author = {Hajnal Andr{\'{e}}ka and Ivo D{\"{u}}ntsch and Istv{\'{a}}n N{\'{e}}meti}, title = {Binary Relations and Permutation Groups}, journal = {Math. Log. Q.}, volume = {41}, pages = {197--216}, year = {1995}, url = {https://doi.org/10.1002/malq.19950410207}, doi = {10.1002/MALQ.19950410207}, timestamp = {Tue, 06 Jun 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/mlq/AndrekaDN95.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/mlq/Aragon95, author = {Regina Arag{\'{o}}n}, title = {Some Boolean Algebras with Finitely Many Distinguished Ideals {I}}, journal = {Math. Log. Q.}, volume = {41}, pages = {485--504}, year = {1995}, url = {https://doi.org/10.1002/malq.19950410406}, doi = {10.1002/MALQ.19950410406}, timestamp = {Wed, 17 May 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/mlq/Aragon95.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/mlq/Bigorajska95, author = {Teresa Bigorajska}, title = {On Sigma\({}_{\mbox{1}}\)-definable Functions Provably Total in I-Pi\({}_{\mbox{1}}\)\({}^{\mbox{-}}\)}, journal = {Math. Log. Q.}, volume = {41}, pages = {135--137}, year = {1995}, url = {https://doi.org/10.1002/malq.19950410111}, doi = {10.1002/MALQ.19950410111}, timestamp = {Wed, 17 May 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/mlq/Bigorajska95.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/mlq/Bulitko95, author = {Valeriy K. Bulitko}, title = {On Some Complexity Characteristics of Immune Sets}, journal = {Math. Log. Q.}, volume = {41}, pages = {307--313}, year = {1995}, url = {https://doi.org/10.1002/malq.19950410303}, doi = {10.1002/MALQ.19950410303}, timestamp = {Wed, 17 May 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/mlq/Bulitko95.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/mlq/Burris95, author = {Stanley Burris}, title = {Polynomial Time Uniform Word Problems}, journal = {Math. Log. Q.}, volume = {41}, pages = {173--182}, year = {1995}, url = {https://doi.org/10.1002/malq.19950410204}, doi = {10.1002/MALQ.19950410204}, timestamp = {Wed, 17 May 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/mlq/Burris95.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/mlq/DAgostinoM95, author = {Giovanna D'Agostino and Mario Magnago}, title = {Complete, Recursively Enumerable Relations in Arithmetic}, journal = {Math. Log. Q.}, volume = {41}, pages = {65--72}, year = {1995}, url = {https://doi.org/10.1002/malq.19950410107}, doi = {10.1002/MALQ.19950410107}, timestamp = {Wed, 17 May 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/mlq/DAgostinoM95.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/mlq/DeVidi95, author = {David DeVidi}, title = {Intuitionistic \emph{epsilon}- and \emph{tau}-calculi}, journal = {Math. Log. Q.}, volume = {41}, pages = {523--546}, year = {1995}, url = {https://doi.org/10.1002/malq.19950410409}, doi = {10.1002/MALQ.19950410409}, timestamp = {Wed, 17 May 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/mlq/DeVidi95.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/mlq/Denecke95, author = {Klaus Denecke}, title = {Hybrid Identities and Hybrid Equational Logic}, journal = {Math. Log. Q.}, volume = {41}, pages = {190--196}, year = {1995}, url = {https://doi.org/10.1002/malq.19950410206}, doi = {10.1002/MALQ.19950410206}, timestamp = {Wed, 17 May 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/mlq/Denecke95.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/mlq/Dzierzgowski95, author = {Daniel Dzierzgowski}, title = {Constants in Kripke Models for Intuitionistic Logic}, journal = {Math. Log. Q.}, volume = {41}, pages = {431--441}, year = {1995}, url = {https://doi.org/10.1002/malq.19950410402}, doi = {10.1002/MALQ.19950410402}, timestamp = {Wed, 17 May 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/mlq/Dzierzgowski95.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/mlq/Engesser95, author = {Kurt Engesser}, title = {Some Connections between Topological and Modal Logic}, journal = {Math. Log. Q.}, volume = {41}, pages = {49--64}, year = {1995}, url = {https://doi.org/10.1002/malq.19950410106}, doi = {10.1002/MALQ.19950410106}, timestamp = {Wed, 17 May 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/mlq/Engesser95.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/mlq/Fattorosi-BarnabaG95, author = {Maurizio Fattorosi{-}Barnaba and Silvano Grassotti}, title = {An Infinitary Graded Modal Logic (Graded Modalities {VI)}}, journal = {Math. Log. Q.}, volume = {41}, pages = {547--563}, year = {1995}, url = {https://doi.org/10.1002/malq.19950410410}, doi = {10.1002/MALQ.19950410410}, timestamp = {Wed, 17 May 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/mlq/Fattorosi-BarnabaG95.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/mlq/FerroB95, author = {Ruggero Ferro and Stefano Baratella}, title = {Non Standard Regular Finite Set Theory}, journal = {Math. Log. Q.}, volume = {41}, pages = {161--172}, year = {1995}, url = {https://doi.org/10.1002/malq.19950410203}, doi = {10.1002/MALQ.19950410203}, timestamp = {Wed, 25 Sep 2019 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/mlq/FerroB95.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/mlq/Hansson95, author = {Sven Ove Hansson}, title = {Some Solved and Unsolved Remainder Equations}, journal = {Math. Log. Q.}, volume = {41}, pages = {362--368}, year = {1995}, url = {https://doi.org/10.1002/malq.19950410307}, doi = {10.1002/MALQ.19950410307}, timestamp = {Wed, 17 May 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/mlq/Hansson95.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/mlq/Kanda95, author = {Akira Kanda}, title = {Acceptable Numerations of Morphisms and Myhill-Shepherdson Property}, journal = {Math. Log. Q.}, volume = {41}, pages = {39--48}, year = {1995}, url = {https://doi.org/10.1002/malq.19950410105}, doi = {10.1002/MALQ.19950410105}, timestamp = {Wed, 17 May 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/mlq/Kanda95.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/mlq/Kandulski95, author = {Maciej Kandulski}, title = {On Commutative and Nonassociative Syntactic Calculi and Categorial Grammars}, journal = {Math. Log. Q.}, volume = {41}, pages = {217--235}, year = {1995}, url = {https://doi.org/10.1002/malq.19950410208}, doi = {10.1002/MALQ.19950410208}, timestamp = {Wed, 17 May 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/mlq/Kandulski95.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/mlq/KotlarskiP95, author = {Henryk Kotlarski and Bozena Piekart}, title = {Automorphisms of Countable Recursively Saturated Models of {PA:} Open Subgroups and Invariant Cuts}, journal = {Math. Log. Q.}, volume = {41}, pages = {138--142}, year = {1995}, url = {https://doi.org/10.1002/malq.19950410112}, doi = {10.1002/MALQ.19950410112}, timestamp = {Thu, 14 Oct 2021 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/mlq/KotlarskiP95.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/mlq/LopezB95, author = {G{\'{e}}rard Lopez and Youssef Boudabbous}, title = {La relation diff{\'{e}}rence et l'anti-isomorphie}, journal = {Math. Log. Q.}, volume = {41}, pages = {268--280}, year = {1995}, url = {https://doi.org/10.1002/malq.19950410213}, doi = {10.1002/MALQ.19950410213}, timestamp = {Wed, 17 May 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/mlq/LopezB95.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/mlq/Marcone95, author = {Alberto Marcone}, title = {The Set of Better Quasi Orderings is Pi\({}_{\mbox{2}}\)\({}^{\mbox{1}}\)-complete}, journal = {Math. Log. Q.}, volume = {41}, pages = {373--383}, year = {1995}, url = {https://doi.org/10.1002/malq.19950410309}, doi = {10.1002/MALQ.19950410309}, timestamp = {Fri, 30 Nov 2018 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/mlq/Marcone95.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/mlq/McColm95, author = {Gregory L. McColm}, title = {Dimension Versus Number of Variables, and Connectivity, too}, journal = {Math. Log. Q.}, volume = {41}, pages = {111--134}, year = {1995}, url = {https://doi.org/10.1002/malq.19950410110}, doi = {10.1002/MALQ.19950410110}, timestamp = {Wed, 17 May 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/mlq/McColm95.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/mlq/McLaughlin95, author = {Thomas G. McLaughlin}, title = {Existentially Complete Nerode Semirings}, journal = {Math. Log. Q.}, volume = {41}, pages = {1--14}, year = {1995}, url = {https://doi.org/10.1002/malq.19950410102}, doi = {10.1002/MALQ.19950410102}, timestamp = {Wed, 17 May 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/mlq/McLaughlin95.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/mlq/Meer95, author = {Klaus Meer}, title = {On the Relations Between Discrete and Continuous Complexity Theory}, journal = {Math. Log. Q.}, volume = {41}, pages = {281--286}, year = {1995}, url = {https://doi.org/10.1002/malq.19950410214}, doi = {10.1002/MALQ.19950410214}, timestamp = {Wed, 17 May 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/mlq/Meer95.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/mlq/Michalski95, author = {Grzegorz Michalski}, title = {Relatively Recursively Enumerable Versus Relatively Sigma\({}_{\mbox{1}}\) in Models of Peano Arithmetic}, journal = {Math. Log. Q.}, volume = {41}, pages = {515--522}, year = {1995}, url = {https://doi.org/10.1002/malq.19950410408}, doi = {10.1002/MALQ.19950410408}, timestamp = {Wed, 17 May 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/mlq/Michalski95.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/mlq/Morgan95, author = {Charles G. Morgan}, title = {A Gap Cohomology Group}, journal = {Math. Log. Q.}, volume = {41}, pages = {564--570}, year = {1995}, url = {https://doi.org/10.1002/malq.19950410411}, doi = {10.1002/MALQ.19950410411}, timestamp = {Wed, 17 May 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/mlq/Morgan95.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/mlq/Muraki95, author = {Hisato Muraki}, title = {Local Density of Kleene Degrees}, journal = {Math. Log. Q.}, volume = {41}, pages = {183--189}, year = {1995}, url = {https://doi.org/10.1002/malq.19950410205}, doi = {10.1002/MALQ.19950410205}, timestamp = {Wed, 17 May 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/mlq/Muraki95.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/mlq/Nour95, author = {Karim Nour}, title = {A General Type for Storage Operators}, journal = {Math. Log. Q.}, volume = {41}, pages = {505--514}, year = {1995}, url = {https://doi.org/10.1002/malq.19950410407}, doi = {10.1002/MALQ.19950410407}, timestamp = {Wed, 17 May 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/mlq/Nour95.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/mlq/Palmgren95, author = {Erik Palmgren}, title = {The Friedman-Translation for Martin-L{\"{o}}f's Type Theory}, journal = {Math. Log. Q.}, volume = {41}, pages = {314--326}, year = {1995}, url = {https://doi.org/10.1002/malq.19950410304}, doi = {10.1002/MALQ.19950410304}, timestamp = {Wed, 17 May 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/mlq/Palmgren95.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/mlq/Pambuccian95, author = {Victor Pambuccian}, title = {Ternary Operations as Primitive Notions for Constructive Plane Geometry {VI}}, journal = {Math. Log. Q.}, volume = {41}, pages = {384--394}, year = {1995}, url = {https://doi.org/10.1002/malq.19950410310}, doi = {10.1002/MALQ.19950410310}, timestamp = {Fri, 30 Nov 2018 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/mlq/Pambuccian95.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/mlq/PoizatM95, author = {Bruno Poizat and Tolende G. Mustafin}, title = {Polygones}, journal = {Math. Log. Q.}, volume = {41}, pages = {93--110}, year = {1995}, url = {https://doi.org/10.1002/malq.19950410109}, doi = {10.1002/MALQ.19950410109}, timestamp = {Wed, 17 May 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/mlq/PoizatM95.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/mlq/Pynko95, author = {Alexej P. Pynko}, title = {Characterizing Belnap's Logic via De Morgan's Laws}, journal = {Math. Log. Q.}, volume = {41}, pages = {442--454}, year = {1995}, url = {https://doi.org/10.1002/malq.19950410403}, doi = {10.1002/MALQ.19950410403}, timestamp = {Wed, 17 May 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/mlq/Pynko95.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/mlq/RemmelC95, author = {Jeffrey B. Remmel and Douglas A. Cenzer}, title = {Feasible Graphs and Colorings}, journal = {Math. Log. Q.}, volume = {41}, pages = {327--352}, year = {1995}, url = {https://doi.org/10.1002/malq.19950410305}, doi = {10.1002/MALQ.19950410305}, timestamp = {Wed, 17 May 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/mlq/RemmelC95.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/mlq/Rolletschek95, author = {Heinrich Rolletschek}, title = {Some New Lattice Constructions in High R. E. Degrees}, journal = {Math. Log. Q.}, volume = {41}, pages = {395--430}, year = {1995}, url = {https://doi.org/10.1002/malq.19950410311}, doi = {10.1002/MALQ.19950410311}, timestamp = {Wed, 17 May 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/mlq/Rolletschek95.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/mlq/SalasO95, author = {Antonio J. Rodr{\'{\i}}guez Salas and Francisco Miguel Garc{\'{\i}}a{-}Olmedo}, title = {Temporal Algebras, Pretemporal Algebras, and Modal Algebras: {A} Relation between Time and Necessity}, journal = {Math. Log. Q.}, volume = {41}, pages = {24--38}, year = {1995}, url = {https://doi.org/10.1002/malq.19950410104}, doi = {10.1002/MALQ.19950410104}, timestamp = {Thu, 18 Jan 2024 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/mlq/SalasO95.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/mlq/SalasO95a, author = {Antonio J. Rodr{\'{\i}}guez Salas and Francisco Miguel Garc{\'{\i}}a{-}Olmedo}, title = {A Structure Theorem for Free Temporal Algebras}, journal = {Math. Log. Q.}, volume = {41}, pages = {249--256}, year = {1995}, url = {https://doi.org/10.1002/malq.19950410210}, doi = {10.1002/MALQ.19950410210}, timestamp = {Thu, 18 Jan 2024 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/mlq/SalasO95a.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/mlq/SchuchardtH95, author = {Dietmar Schuchardt and Hans{-}Dietrich Hecker}, title = {Two NP-Hard Art-Gallery Problems for Ortho-Polygons}, journal = {Math. Log. Q.}, volume = {41}, pages = {261--267}, year = {1995}, url = {https://doi.org/10.1002/malq.19950410212}, doi = {10.1002/MALQ.19950410212}, timestamp = {Wed, 17 May 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/mlq/SchuchardtH95.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/mlq/SerratoO95, author = {Dany Serrato and Jean{-}Pierre Olivier}, title = {Initial Objects, Universal Objects for Squares, Equivalences and Congruences in Relation Semi-Algebras and Algebras}, journal = {Math. Log. Q.}, volume = {41}, pages = {455--475}, year = {1995}, url = {https://doi.org/10.1002/malq.19950410404}, doi = {10.1002/MALQ.19950410404}, timestamp = {Wed, 17 May 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/mlq/SerratoO95.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/mlq/Surma95, author = {Stan J. Surma}, title = {An Axiomatisation of the Conditionals of Post's Many Valued Logics}, journal = {Math. Log. Q.}, volume = {41}, pages = {369--372}, year = {1995}, url = {https://doi.org/10.1002/malq.19950410308}, doi = {10.1002/MALQ.19950410308}, timestamp = {Wed, 17 May 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/mlq/Surma95.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/mlq/TrautweinA95, author = {Kees Trautwein and Erik Aarts}, title = {Non-associative Lambek Categorial Grammar in Polynomial Time}, journal = {Math. Log. Q.}, volume = {41}, pages = {476--484}, year = {1995}, url = {https://doi.org/10.1002/malq.19950410405}, doi = {10.1002/MALQ.19950410405}, timestamp = {Wed, 17 May 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/mlq/TrautweinA95.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/mlq/TrippL95, author = {Allyson Tripp and Alistair H. Lachlan}, title = {Finite Homogeneous 3-Graphs}, journal = {Math. Log. Q.}, volume = {41}, pages = {287--306}, year = {1995}, url = {https://doi.org/10.1002/malq.19950410302}, doi = {10.1002/MALQ.19950410302}, timestamp = {Wed, 17 May 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/mlq/TrippL95.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/mlq/TsuboiI95, author = {Akito Tsuboi and Koichiro Ikeda}, title = {Almost Total Elementary Maps}, journal = {Math. Log. Q.}, volume = {41}, pages = {353--361}, year = {1995}, url = {https://doi.org/10.1002/malq.19950410306}, doi = {10.1002/MALQ.19950410306}, timestamp = {Wed, 17 May 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/mlq/TsuboiI95.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/mlq/Turunen95, author = {Esko Turunen}, title = {Well-Defined Fuzzy Sentential Logic}, journal = {Math. Log. Q.}, volume = {41}, pages = {236--248}, year = {1995}, url = {https://doi.org/10.1002/malq.19950410209}, doi = {10.1002/MALQ.19950410209}, timestamp = {Wed, 17 May 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/mlq/Turunen95.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/mlq/Wansing95, author = {Heinrich Wansing}, title = {Tarskian Structured Consequence Relations and Functional Completeness}, journal = {Math. Log. Q.}, volume = {41}, pages = {73--92}, year = {1995}, url = {https://doi.org/10.1002/malq.19950410108}, doi = {10.1002/MALQ.19950410108}, timestamp = {Wed, 07 Dec 2022 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/mlq/Wansing95.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/mlq/Weber95, author = {Frank P. Weber}, title = {Invariant Constructions of Simple and Maximal Sets}, journal = {Math. Log. Q.}, volume = {41}, pages = {143--160}, year = {1995}, url = {https://doi.org/10.1002/malq.19950410202}, doi = {10.1002/MALQ.19950410202}, timestamp = {Wed, 17 May 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/mlq/Weber95.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/mlq/Zahn95, author = {Peter Zahn}, title = {A Nonstandard Delta Function in a Predicative Theory}, journal = {Math. Log. Q.}, volume = {41}, pages = {257--260}, year = {1995}, url = {https://doi.org/10.1002/malq.19950410211}, doi = {10.1002/MALQ.19950410211}, timestamp = {Wed, 17 May 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/mlq/Zahn95.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/mlq/ZakharyaschevA95, author = {Michael Zakharyaschev and Alexander Alekseev}, title = {All Finitely Axiomatizable Normal Extensions of {K4.3} are Decidable}, journal = {Math. Log. Q.}, volume = {41}, pages = {15--23}, year = {1995}, url = {https://doi.org/10.1002/malq.19950410103}, doi = {10.1002/MALQ.19950410103}, timestamp = {Wed, 17 May 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/mlq/ZakharyaschevA95.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.