Fakultät für Informatik
-
Technische Universität München
Lehrstuhl für Effiziente Algorithmen
Die bibliographische Datenbank LEABib
Suchen
•
Liste der Journale
•
Liste der Serien
•
Liste der Konferenzen
•
Ausgewählte Publikationen
Hilfe
Suche: Journal=Math.~Systems Theory AND Volume=13
Als [
bib
] [
pdf
] [
ps
] [
dvi
] [
xml
] herunterladen.
An order-algebraic definition of Knuthian semantics
Laurian M. Chirica
,
David F. Martin
Math. Systems Theory
13
, 1979/80, pp. 1-27
Complexity of some problems concerning
L
systems
Neil D. Jones
,
Sven Skyum
Math. Systems Theory
13
, 1979/80, pp. 29-43
Satisfiability problems for propositional calculi
Harry R. Lewis
Math. Systems Theory
13
, 1979/80, pp. 45-53
P
-selective sets, tally languages, and the behavior of polynomial time reducibilities on
NP
Alan L. Selman
Math. Systems Theory
13
, 1979/80, pp. 55-65
Dolezal's theorem revisited
Prodip Sen
,
M.R. Chidambara
Math. Systems Theory
13
, 1979/80, pp. 67-79
Indecomposable local maps of tessellation automata
Masakazu Nasu
Math. Systems Theory
13
, 1979/80, pp. 81-93
A constructive generalization of the Borel-Cantelli lemma with application to the complexity of infinite strings
Richard A. DeMillo
,
Richard J. Lipton
Math. Systems Theory
13
, 1979/80, pp. 95-104
Storage representations for tree-like data structures
Arnold L. Rosenberg
,
Derick Wood
,
Zvi Galil
Math. Systems Theory
13
, 1979/80, pp. 105-130
Infinite trees in normal form and recursive equations having a unique solution
Bruno Courcelle
Math. Systems Theory
13
, 1979/80, pp. 131-180
Restricted one-counter machines with undecidable universe problems
Oscar H. Ibarra
Math. Systems Theory
13
, 1979/80, pp. 181-186
Relative complexity of operations on numeric and bit-string algebras
Nancy Lynch
,
Edward K. Blum
Math. Systems Theory
13
, 1979/80, pp. 187-207
On the existence of optimal fixpoints
Jean H. Gallier
Math. Systems Theory
13
, 1979/80, pp. 209-217
Formal computations of non deterministic recursive program schemes
André Arnold
,
Maurice Nivat
Math. Systems Theory
13
, 1979/80, pp. 219-236
Multiple signal extraction by polynomial filtering
W.A. Porter
Math. Systems Theory
13
, 1979/80, pp. 237-254
Categorical and topological aspects of formal languages
Evelyn Nelson
Math. Systems Theory
13
, 1979/80, pp. 255-273
Le théorème de transversale rationnelle dans les langages d'arbres
A. Arnold
Math. Systems Theory
13
, 1979/80, pp. 275-282
On relativizing auxiliary pushdown machines
Dana Angluin
Math. Systems Theory
13
, 1979/80, pp. 283-299
On the depth complexity of formulas
Eli Shamir
,
Marc Snir
Math. Systems Theory
13
, 1979/80, pp. 301-322
On comparing
LL(k)
and
LR(k)
grammars
Eljas Soisalon-Soininen
Math. Systems Theory
13
, 1979/80, pp. 323-329
Compelled operations and operations of degree
P
F. Rodriguez
Math. Systems Theory
13
, 1979/80, pp. 331-347
Control sets on grammars using depth-first derivations
Mark Luker
Math. Systems Theory
13
, 1979/80, pp. 349-359
Global controllability of nonlinear systems in two dimensions
L.R. Hunt
Math. Systems Theory
13
, 1979/80, pp. 361-376