default search action

combined dblp search
author search
venue search
publication search

ask others

Mathematical Systems Theory, Volume 13

> Home > Journals > Mathematical Systems Theory

Refine list

refinements active!

zoomed in on ?? of ?? records

view refined list in

export refined list as

showing all ?? records

Volume 13, 1979

- view
  authority control:
- export record
  dblp key:
  - journals/mst/ChiricaM79
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/mst/ChiricaM79
Laurian M. Chirica, David F. Martin:
An Order-Algebraic Definition of Knuthian Semantics. 1-27
- view
  authority control:
- export record
  dblp key:
  - journals/mst/JonesS79
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/mst/JonesS79
Neil D. Jones, Sven Skyum:
Complexity of Some Problems Concerning L Systems. 29-43
- view
  authority control:
- export record
  dblp key:
  - journals/mst/Lewis79
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/mst/Lewis79
Harry R. Lewis:
Satisfiability Problems for Propositional Calculi. 45-53
- view
  authority control:
- export record
  dblp key:
  - journals/mst/Selman79
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/mst/Selman79
Alan L. Selman:
P-selective Sets, Tally Languages, and the Behavior of Polynomial Time Reducibilities on NP. 55-65
- view
  authority control:
- export record
  dblp key:
  - journals/mst/SenC79
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/mst/SenC79
Prodip Sen, M. R. Chidambara:
Dolezals's Theorem Revisited. 67-79
- view
  authority control:
- export record
  dblp key:
  - journals/mst/Nasu79
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/mst/Nasu79
Masakazu Nasu:
Indecomposable Local Maps of Tesselation Automata. 81-93
- view
  authority control:
- export record
  dblp key:
  - journals/mst/DeMilloL79
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/mst/DeMilloL79
Richard A. DeMillo, Richard J. Lipton:
A Constructive Generalization of the Borel-Cantelli Lemma with Application to the Complexity of Infinite Strings. 95-104
- view
  authority control:
- export record
  dblp key:
  - journals/mst/RosenbergWG79
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/mst/RosenbergWG79
Arnold L. Rosenberg, Derick Wood, Zvi Galil:
Storage Representations for Tree-Like Data Structures. 105-130
- view
  authority control:
- export record
  dblp key:
  - journals/mst/Courcelle79
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/mst/Courcelle79
Bruno Courcelle:
Infinite Trees in Normal Form and Recursive Equations Having a Unique Solution. 131-180
- view
  authority control:
- export record
  dblp key:
  - journals/mst/Ibarra79
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/mst/Ibarra79
Oscar H. Ibarra:
Restricted One-Counter Machines with Undecidable Universe Problems. 181-186

Volume 13, 1980

- view
  authority control:
- export record
  dblp key:
  - journals/mst/LynchB80
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/mst/LynchB80
Nancy A. Lynch, Edward K. Blum:
Relative Complexity of Operations on Numeric and Bit-String Algebras. 187-207
- view
  authority control:
- export record
  dblp key:
  - journals/mst/Gallier80
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/mst/Gallier80
Jean H. Gallier:
On The Existence of Optimal Fixpoints. 209-217
- view
  authority control:
- export record
  dblp key:
  - journals/mst/ArnoldN80
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/mst/ArnoldN80
André Arnold, Maurice Nivat:
Formal Computations of Non Deterministic Recursive Program Schemes. 219-236
- view
  authority control:
- export record
  dblp key:
  - journals/mst/Porter80
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/mst/Porter80
William A. Porter:
Multiple Signal Extraction by Polynomial Filtering. 237-254
- view
  authority control:
- export record
  dblp key:
  - journals/mst/Nelson80
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/mst/Nelson80
Evelyn Nelson:
Categorical and Topological Aspects of Formal Languages. 255-273
- view
  authority control:
- export record
  dblp key:
  - journals/mst/Arnold80
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/mst/Arnold80
André Arnold:
Le Théorème de Transversale Rationnelle dans les Langages d'Arbres. 275-282
- view
  authority control:
- export record
  dblp key:
  - journals/mst/Angluin80
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/mst/Angluin80
Dana Angluin:
On Relativizing Auxiliary Pushdown Machines. 283-299
- view
  authority control:
- export record
  dblp key:
  - journals/mst/ShamirS80
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/mst/ShamirS80
Eli Shamir, Marc Snir:
On the Depth Complexity of Formulas. 301-322
- view
  authority control:
- export record
  dblp key:
  - journals/mst/Soisalon-Soininen80
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/mst/Soisalon-Soininen80
Eljas Soisalon-Soininen:
On Comparing LL(k) and LR(k) Grammars. 323-329
- view
  authority control:
- export record
  dblp key:
  - journals/mst/Rodriguez80
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/mst/Rodriguez80
F. Rodriguez:
Compelled Operations and Operations of Degree P. 331-347
- view
  authority control:
- export record
  dblp key:
  - journals/mst/Luker80
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/mst/Luker80
Mark Luker:
Control Sets on Grammars Using Depth-First Derivations. 349-359
- view
  authority control:
- export record
  dblp key:
  - journals/mst/Hunt80
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/mst/Hunt80
L. R. Hunt:
Global Controllability of Nonlinear Systems in Two Dimensions. 361-376

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.