Search dblp for Publications

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

 download as .bib file

@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}
}
a service of Schloss Dagstuhl - Leibniz Center for Informatics