**default search action**

# Search dblp for Publications

export results for

**"toc:db/journals/mst/mst13.bht:"**@article{DBLP:journals/mst/Angluin80, author = {Dana Angluin}, title = {On Relativizing Auxiliary Pushdown Machines}, journal = {Mathematical Systems Theory}, volume = {13}, pages = {283--299}, year = {1980} }

@article{DBLP:journals/mst/Arnold80, author = {Andr{\'{e}} Arnold}, title = {Le Th{\'{e}}or{\`{e}}me de Transversale Rationnelle dans les Langages d'Arbres}, journal = {Mathematical Systems Theory}, volume = {13}, pages = {275--282}, year = {1980} }

@article{DBLP:journals/mst/ArnoldN80, author = {Andr{\'{e}} Arnold and Maurice Nivat}, title = {Formal Computations of Non Deterministic Recursive Program Schemes}, journal = {Mathematical Systems Theory}, volume = {13}, pages = {219--236}, year = {1980} }

@article{DBLP:journals/mst/Gallier80, author = {Jean H. Gallier}, title = {On The Existence of Optimal Fixpoints}, journal = {Mathematical Systems Theory}, volume = {13}, pages = {209--217}, year = {1980} }

@article{DBLP:journals/mst/Hunt80, author = {L. R. Hunt}, title = {Global Controllability of Nonlinear Systems in Two Dimensions}, journal = {Mathematical Systems Theory}, volume = {13}, pages = {361--376}, year = {1980} }

@article{DBLP:journals/mst/Luker80, author = {Mark Luker}, title = {Control Sets on Grammars Using Depth-First Derivations}, journal = {Mathematical Systems Theory}, volume = {13}, pages = {349--359}, year = {1980} }

@article{DBLP:journals/mst/LynchB80, author = {Nancy A. Lynch and Edward K. Blum}, title = {Relative Complexity of Operations on Numeric and Bit-String Algebras}, journal = {Mathematical Systems Theory}, volume = {13}, pages = {187--207}, year = {1980} }

@article{DBLP:journals/mst/Nelson80, author = {Evelyn Nelson}, title = {Categorical and Topological Aspects of Formal Languages}, journal = {Mathematical Systems Theory}, volume = {13}, pages = {255--273}, year = {1980} }

@article{DBLP:journals/mst/Porter80, author = {William A. Porter}, title = {Multiple Signal Extraction by Polynomial Filtering}, journal = {Mathematical Systems Theory}, volume = {13}, pages = {237--254}, year = {1980} }

@article{DBLP:journals/mst/Rodriguez80, author = {F. Rodriguez}, title = {Compelled Operations and Operations of Degree {P}}, journal = {Mathematical Systems Theory}, volume = {13}, pages = {331--347}, year = {1980} }

@article{DBLP:journals/mst/ShamirS80, author = {Eli Shamir and Marc Snir}, title = {On the Depth Complexity of Formulas}, journal = {Mathematical Systems Theory}, volume = {13}, pages = {301--322}, year = {1980} }

@article{DBLP:journals/mst/Soisalon-Soininen80, author = {Eljas Soisalon{-}Soininen}, title = {On Comparing LL(k) and LR(k) Grammars}, journal = {Mathematical Systems Theory}, volume = {13}, pages = {323--329}, year = {1980} }

@article{DBLP:journals/mst/ChiricaM79, author = {Laurian M. Chirica and David F. Martin}, title = {An Order-Algebraic Definition of Knuthian Semantics}, journal = {Mathematical Systems Theory}, volume = {13}, pages = {1--27}, year = {1979} }

@article{DBLP:journals/mst/Courcelle79, author = {Bruno Courcelle}, title = {Infinite Trees in Normal Form and Recursive Equations Having a Unique Solution}, journal = {Mathematical Systems Theory}, volume = {13}, pages = {131--180}, year = {1979} }

@article{DBLP:journals/mst/DeMilloL79, author = {Richard A. DeMillo and Richard J. Lipton}, title = {A Constructive Generalization of the Borel-Cantelli Lemma with Application to the Complexity of Infinite Strings}, journal = {Mathematical Systems Theory}, volume = {13}, pages = {95--104}, year = {1979} }

@article{DBLP:journals/mst/Ibarra79, author = {Oscar H. Ibarra}, title = {Restricted One-Counter Machines with Undecidable Universe Problems}, journal = {Mathematical Systems Theory}, volume = {13}, pages = {181--186}, year = {1979} }

@article{DBLP:journals/mst/JonesS79, author = {Neil D. Jones and Sven Skyum}, title = {Complexity of Some Problems Concerning {L} Systems}, journal = {Mathematical Systems Theory}, volume = {13}, pages = {29--43}, year = {1979} }

@article{DBLP:journals/mst/Lewis79, author = {Harry R. Lewis}, title = {Satisfiability Problems for Propositional Calculi}, journal = {Mathematical Systems Theory}, volume = {13}, pages = {45--53}, year = {1979} }

@article{DBLP:journals/mst/Nasu79, author = {Masakazu Nasu}, title = {Indecomposable Local Maps of Tesselation Automata}, journal = {Mathematical Systems Theory}, volume = {13}, pages = {81--93}, year = {1979} }

@article{DBLP:journals/mst/RosenbergWG79, author = {Arnold L. Rosenberg and Derick Wood and Zvi Galil}, title = {Storage Representations for Tree-Like Data Structures}, journal = {Mathematical Systems Theory}, volume = {13}, pages = {105--130}, year = {1979} }

@article{DBLP:journals/mst/Selman79, author = {Alan L. Selman}, title = {P-selective Sets, Tally Languages, and the Behavior of Polynomial Time Reducibilities on {NP}}, journal = {Mathematical Systems Theory}, volume = {13}, pages = {55--65}, year = {1979} }

@article{DBLP:journals/mst/SenC79, author = {Prodip Sen and M. R. Chidambara}, title = {Dolezals's Theorem Revisited}, journal = {Mathematical Systems Theory}, volume = {13}, pages = {67--79}, year = {1979} }

**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.