@article{Chirica-Martin/80,
AUTHOR = {Chirica, Laurian M. and Martin, David F.},
TITLE = {An order-algebraic definition of Knuthian semantics},
JOURNAL = {Math.~Systems Theory},
VOLUME = {13},
PAGES = {1-27},
YEAR = {1979/80},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@article{Jones-Skyum/80,
AUTHOR = {Jones, Neil D. and Skyum, Sven},
TITLE = {Complexity of some problems concerning $L$ systems},
JOURNAL = {Math.~Systems Theory},
VOLUME = {13},
PAGES = {29-43},
YEAR = {1979/80},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@article{Lewis/80,
AUTHOR = {Lewis, Harry R.},
TITLE = {Satisfiability problems for propositional calculi},
JOURNAL = {Math.~Systems Theory},
VOLUME = {13},
PAGES = {45-53},
YEAR = {1979/80},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@article{Selman/80,
AUTHOR = {Selman, Alan L.},
TITLE = {$P$-selective sets, tally languages, and the behavior of polynomial time reducibilities on $NP$},
JOURNAL = {Math.~Systems Theory},
VOLUME = {13},
PAGES = {55-65},
YEAR = {1979/80},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@article{Sen-Chidambara/80,
AUTHOR = {Sen, Prodip and Chidambara, M.R.},
TITLE = {Dolezal's theorem revisited},
JOURNAL = {Math.~Systems Theory},
VOLUME = {13},
PAGES = {67-79},
YEAR = {1979/80},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@article{Nasu/80,
AUTHOR = {Nasu, Masakazu},
TITLE = {Indecomposable local maps of tessellation automata},
JOURNAL = {Math.~Systems Theory},
VOLUME = {13},
PAGES = {81-93},
YEAR = {1979/80},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@article{DeMillo-Lipton/80,
AUTHOR = {DeMillo, Richard A. and Lipton, Richard J.},
TITLE = {A constructive generalization of the Borel-Cantelli lemma with application to the complexity of infinite strings},
JOURNAL = {Math.~Systems Theory},
VOLUME = {13},
PAGES = {95-104},
YEAR = {1979/80},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@article{Rosenberg-Wood-Galil/80,
AUTHOR = {Rosenberg, Arnold L. and Wood, Derick and Galil, Zvi},
TITLE = {Storage representations for tree-like data structures},
JOURNAL = {Math.~Systems Theory},
VOLUME = {13},
PAGES = {105-130},
YEAR = {1979/80},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@article{Courcelle/80,
AUTHOR = {Courcelle, Bruno},
TITLE = {Infinite trees in normal form and recursive equations having a unique solution},
JOURNAL = {Math.~Systems Theory},
VOLUME = {13},
PAGES = {131-180},
YEAR = {1979/80},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@article{Ibarra/80,
AUTHOR = {Ibarra, Oscar H.},
TITLE = {Restricted one-counter machines with undecidable universe problems},
JOURNAL = {Math.~Systems Theory},
VOLUME = {13},
PAGES = {181-186},
YEAR = {1979/80},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@article{Lynch-Blum/80,
AUTHOR = {Lynch, Nancy and Blum, Edward K.},
TITLE = {Relative complexity of operations on numeric and bit-string algebras},
JOURNAL = {Math.~Systems Theory},
VOLUME = {13},
PAGES = {187-207},
YEAR = {1979/80},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@article{Gallier/80,
AUTHOR = {Gallier, Jean H.},
TITLE = {On the existence of optimal fixpoints},
JOURNAL = {Math.~Systems Theory},
VOLUME = {13},
PAGES = {209-217},
YEAR = {1979/80},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@article{Arnold-Nivat/80,
AUTHOR = {Arnold, Andr{\'e} and Nivat, Maurice},
TITLE = {Formal computations of non deterministic recursive program schemes},
JOURNAL = {Math.~Systems Theory},
VOLUME = {13},
PAGES = {219-236},
YEAR = {1979/80},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@article{Porter/80,
AUTHOR = {Porter, W.A.},
TITLE = {Multiple signal extraction by polynomial filtering},
JOURNAL = {Math.~Systems Theory},
VOLUME = {13},
PAGES = {237-254},
YEAR = {1979/80},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@article{Nelson/80,
AUTHOR = {Nelson, Evelyn},
TITLE = {Categorical and topological aspects of formal languages},
JOURNAL = {Math.~Systems Theory},
VOLUME = {13},
PAGES = {255-273},
YEAR = {1979/80},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@article{Arnold/80,
AUTHOR = {Arnold, A.},
TITLE = {Le th{\'e}or{\`e}me de transversale rationnelle dans les langages d'arbres},
JOURNAL = {Math.~Systems Theory},
VOLUME = {13},
PAGES = {275-282},
YEAR = {1979/80},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@article{Angluin/80,
AUTHOR = {Angluin, Dana},
TITLE = {On relativizing auxiliary pushdown machines},
JOURNAL = {Math.~Systems Theory},
VOLUME = {13},
PAGES = {283-299},
YEAR = {1979/80},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@article{Shamir-Snir/80,
AUTHOR = {Shamir, Eli and Snir, Marc},
TITLE = {On the depth complexity of formulas},
JOURNAL = {Math.~Systems Theory},
VOLUME = {13},
PAGES = {301-322},
YEAR = {1979/80},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@article{Soisalon-Soininen/80,
AUTHOR = {Soisalon-Soininen, Eljas},
TITLE = {On comparing $LL(k)$ and $LR(k)$ grammars},
JOURNAL = {Math.~Systems Theory},
VOLUME = {13},
PAGES = {323-329},
YEAR = {1979/80},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@article{Rodriguez/80,
AUTHOR = {Rodriguez, F.},
TITLE = {Compelled operations and operations of degree $P$},
JOURNAL = {Math.~Systems Theory},
VOLUME = {13},
PAGES = {331-347},
YEAR = {1979/80},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@article{Luker/80,
AUTHOR = {Luker, Mark},
TITLE = {Control sets on grammars using depth-first derivations},
JOURNAL = {Math.~Systems Theory},
VOLUME = {13},
PAGES = {349-359},
YEAR = {1979/80},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@article{Hunt/80,
AUTHOR = {Hunt, L.R.},
TITLE = {Global controllability of nonlinear systems in two dimensions},
JOURNAL = {Math.~Systems Theory},
VOLUME = {13},
PAGES = {361-376},
YEAR = {1979/80},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}