Search dblp for Publications

export results for "toc:db/journals/mst/mst14.bht:"

 download as .bib file

@article{DBLP:journals/mst/AdlemanL81,
  author       = {Leonard M. Adleman and
                  Michael C. Loui},
  title        = {Space-Bounded Simulation of Multitape Turing Machines},
  journal      = {Math. Syst. Theory},
  volume       = {14},
  pages        = {215--222},
  year         = {1981},
  url          = {https://doi.org/10.1007/BF01752397},
  doi          = {10.1007/BF01752397},
  timestamp    = {Sun, 17 May 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/mst/AdlemanL81.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/mst/Beauquier81,
  author       = {Joffroy Beauquier},
  title        = {A Remark About a Substitution Property},
  journal      = {Math. Syst. Theory},
  volume       = {14},
  pages        = {189--191},
  year         = {1981},
  url          = {https://doi.org/10.1007/BF01752395},
  doi          = {10.1007/BF01752395},
  timestamp    = {Sun, 17 May 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/mst/Beauquier81.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/mst/BertuzziGG81,
  author       = {Alessandro Bertuzzi and
                  Alberto Gandolfi and
                  Alfredo Germani},
  title        = {Causal Polynomial Approximation for Input-Output Maps on Hilbert Spaces},
  journal      = {Math. Syst. Theory},
  volume       = {14},
  pages        = {339--352},
  year         = {1981},
  url          = {https://doi.org/10.1007/BF01752405},
  doi          = {10.1007/BF01752405},
  timestamp    = {Sun, 17 May 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/mst/BertuzziGG81.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/mst/Brandenburg81,
  author       = {Franz{-}Josef Brandenburg},
  title        = {Three Write Heads Are as Good as k},
  journal      = {Math. Syst. Theory},
  volume       = {14},
  pages        = {1--12},
  year         = {1981},
  url          = {https://doi.org/10.1007/BF01752387},
  doi          = {10.1007/BF01752387},
  timestamp    = {Sun, 17 May 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/mst/Brandenburg81.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/mst/EhrigKMRW81,
  author       = {Hartmut Ehrig and
                  Hans{-}J{\"{o}}rg Kreowski and
                  Andrea Maggiolo{-}Schettini and
                  Barry K. Rosen and
                  J{\'{o}}zef Winkowski},
  title        = {Transformations of Structures: an Algebraic Approach},
  journal      = {Math. Syst. Theory},
  volume       = {14},
  pages        = {305--334},
  year         = {1981},
  url          = {https://doi.org/10.1007/BF01752403},
  doi          = {10.1007/BF01752403},
  timestamp    = {Sun, 17 May 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/mst/EhrigKMRW81.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/mst/EisingH81,
  author       = {Rikus Eising and
                  M. L. J. Hautus},
  title        = {Realization Algorithms for Systems over a Principal Ideal Domain},
  journal      = {Math. Syst. Theory},
  volume       = {14},
  pages        = {353--366},
  year         = {1981},
  url          = {https://doi.org/10.1007/BF01752406},
  doi          = {10.1007/BF01752406},
  timestamp    = {Tue, 10 Nov 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/mst/EisingH81.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/mst/Frazho81,
  author       = {Arthur E. Frazho},
  title        = {Abstract Bilinear Systems: The Forward Shift Approach},
  journal      = {Math. Syst. Theory},
  volume       = {14},
  pages        = {83--94},
  year         = {1981},
  url          = {https://doi.org/10.1007/BF01752391},
  doi          = {10.1007/BF01752391},
  timestamp    = {Sun, 17 May 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/mst/Frazho81.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/mst/GinsburgK81,
  author       = {Seymour Ginsburg and
                  Chandra M. R. Kintala},
  title        = {Strict Interpretations of Deterministic Pushdown Acceptors},
  journal      = {Math. Syst. Theory},
  volume       = {14},
  pages        = {229--240},
  year         = {1981},
  url          = {https://doi.org/10.1007/BF01752399},
  doi          = {10.1007/BF01752399},
  timestamp    = {Sun, 17 May 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/mst/GinsburgK81.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/mst/IbarraR81,
  author       = {Oscar H. Ibarra and
                  Louis E. Rosier},
  title        = {On Restricted One-counter Machines},
  journal      = {Math. Syst. Theory},
  volume       = {14},
  pages        = {241--245},
  year         = {1981},
  url          = {https://doi.org/10.1007/BF01752400},
  doi          = {10.1007/BF01752400},
  timestamp    = {Sun, 17 May 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/mst/IbarraR81.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/mst/JantzenO81,
  author       = {Matthias Jantzen and
                  Manfred Opp},
  title        = {A Normal Form Theorem for Label Grammars},
  journal      = {Math. Syst. Theory},
  volume       = {14},
  pages        = {289--303},
  year         = {1981},
  url          = {https://doi.org/10.1007/BF01752402},
  doi          = {10.1007/BF01752402},
  timestamp    = {Sun, 17 May 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/mst/JantzenO81.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/mst/Krom81,
  author       = {Melven R. Krom},
  title        = {An Unsolvable Problem with Products of Matrices},
  journal      = {Math. Syst. Theory},
  volume       = {14},
  pages        = {335--337},
  year         = {1981},
  url          = {https://doi.org/10.1007/BF01752404},
  doi          = {10.1007/BF01752404},
  timestamp    = {Sun, 17 May 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/mst/Krom81.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/mst/LehmannS81,
  author       = {Daniel Lehmann and
                  Michael B. Smyth},
  title        = {Algebraic Specification of Data Types: {A} Synthetic Approach},
  journal      = {Math. Syst. Theory},
  volume       = {14},
  pages        = {97--139},
  year         = {1981},
  url          = {https://doi.org/10.1007/BF01752392},
  doi          = {10.1007/BF01752392},
  timestamp    = {Sun, 17 May 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/mst/LehmannS81.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/mst/Lewis81,
  author       = {Forbes D. Lewis},
  title        = {A Note on Context Free Languages, Complexity Classes, and Diagonalization},
  journal      = {Math. Syst. Theory},
  volume       = {14},
  pages        = {223--227},
  year         = {1981},
  url          = {https://doi.org/10.1007/BF01752398},
  doi          = {10.1007/BF01752398},
  timestamp    = {Sun, 17 May 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/mst/Lewis81.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/mst/LynchB81,
  author       = {Nancy A. Lynch and
                  Edward K. Blum},
  title        = {Relative Complexity of Algebras},
  journal      = {Math. Syst. Theory},
  volume       = {14},
  pages        = {193--214},
  year         = {1981},
  url          = {https://doi.org/10.1007/BF01752396},
  doi          = {10.1007/BF01752396},
  timestamp    = {Sun, 17 May 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/mst/LynchB81.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/mst/OlbrotS81,
  author       = {Andrzej W. Olbrot and
                  Andrzej Sosnowski},
  title        = {Duality Theorems on Control and Observation of Discrete-Time Infinite-Dimensional
                  Systems},
  journal      = {Math. Syst. Theory},
  volume       = {14},
  pages        = {173--187},
  year         = {1981},
  url          = {https://doi.org/10.1007/BF01752394},
  doi          = {10.1007/BF01752394},
  timestamp    = {Sun, 17 May 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/mst/OlbrotS81.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/mst/Porter81,
  author       = {William A. Porter},
  title        = {On Factoring the Polyvariance Operator},
  journal      = {Math. Syst. Theory},
  volume       = {14},
  pages        = {67--82},
  year         = {1981},
  url          = {https://doi.org/10.1007/BF01752390},
  doi          = {10.1007/BF01752390},
  timestamp    = {Sun, 17 May 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/mst/Porter81.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/mst/Sakarovitch81,
  author       = {Jacques Sakarovitch},
  title        = {Sur une Propri{\'{e}}t{\'{e}} d'It{\'{e}}ration des
                  Langages Alg{\'{e}}briques D{\'{e}}terministes},
  journal      = {Math. Syst. Theory},
  volume       = {14},
  pages        = {247--288},
  year         = {1981},
  url          = {https://doi.org/10.1007/BF01752401},
  doi          = {10.1007/BF01752401},
  timestamp    = {Sun, 17 May 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/mst/Sakarovitch81.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/mst/Stroock81,
  author       = {Daniel W. Stroock},
  title        = {The Malliavin Calculus and its Application to Second Order Parabolic
                  Differential Equations: Part {I}},
  journal      = {Math. Syst. Theory},
  volume       = {14},
  pages        = {25--65},
  year         = {1981},
  url          = {https://doi.org/10.1007/BF01752389},
  doi          = {10.1007/BF01752389},
  timestamp    = {Sun, 17 May 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/mst/Stroock81.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/mst/Stroock81a,
  author       = {Daniel W. Stroock},
  title        = {The Malliavin Calculus and its Application to Second Order Parabolic
                  Differential Equations: Part {II}},
  journal      = {Math. Syst. Theory},
  volume       = {14},
  pages        = {141--171},
  year         = {1981},
  url          = {https://doi.org/10.1007/BF01752393},
  doi          = {10.1007/BF01752393},
  timestamp    = {Sun, 17 May 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/mst/Stroock81a.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/mst/Toffoli81,
  author       = {Tommaso Toffoli},
  title        = {Bicontinuous Extensions of Invertible Combinatorial Functions},
  journal      = {Math. Syst. Theory},
  volume       = {14},
  pages        = {13--23},
  year         = {1981},
  url          = {https://doi.org/10.1007/BF01752388},
  doi          = {10.1007/BF01752388},
  timestamp    = {Sun, 17 May 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/mst/Toffoli81.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/mst/Wimmer81,
  author       = {Harald K. Wimmer},
  title        = {The Structure of Nonsingular Polynomial Matrices},
  journal      = {Math. Syst. Theory},
  volume       = {14},
  pages        = {367--379},
  year         = {1981},
  url          = {https://doi.org/10.1007/BF01752407},
  doi          = {10.1007/BF01752407},
  timestamp    = {Sun, 17 May 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/mst/Wimmer81.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
a service of  Schloss Dagstuhl - Leibniz Center for Informatics