Berman, Leonard The complexity of logical theories. (English) Zbl 0475.03017 Theor. Comput. Sci. 11, 71-77 (1980). MSC: 03D15 03D10 PDF BibTeX XML Cite \textit{L. Berman}, Theor. Comput. Sci. 11, 71--77 (1980; Zbl 0475.03017) Full Text: DOI
Bruss, Anna R.; Meyer, Albert R. On time-space classes and their relation to the theory of real addition. (English) Zbl 0467.03038 Theor. Comput. Sci. 11, 59-69 (1980). MSC: 03D15 03B25 PDF BibTeX XML Cite \textit{A. R. Bruss} and \textit{A. R. Meyer}, Theor. Comput. Sci. 11, 59--69 (1980; Zbl 0467.03038) Full Text: DOI
Hennessy, M. C. B.; Ashcroft, E. A. A mathematical semantics for a nondeterministic typed lambda-calculus. (English) Zbl 0462.68006 Theor. Comput. Sci. 11, 227-245 (1980). MSC: 68W99 03B40 68Q65 PDF BibTeX XML Cite \textit{M. C. B. Hennessy} and \textit{E. A. Ashcroft}, Theor. Comput. Sci. 11, 227--245 (1980; Zbl 0462.68006) Full Text: DOI
Börger, Egon; Kleine Büning, Hans The reachability problem for Petri nets and decision problems for Skolem arithmetic. (English) Zbl 0453.03012 Theor. Comput. Sci. 11, 123-143 (1980). MSC: 03B25 03D35 03D03 68Q85 PDF BibTeX XML Cite \textit{E. Börger} and \textit{H. Kleine Büning}, Theor. Comput. Sci. 11, 123--143 (1980; Zbl 0453.03012) Full Text: DOI
Heintz, Joos; Sieveking, Malte Lower bounds for polynomials with algebraic coefficients. (English) Zbl 0452.68051 Theor. Comput. Sci. 11, 321-330 (1980). MSC: 68Q25 12D10 30C15 15A06 PDF BibTeX XML Cite \textit{J. Heintz} and \textit{M. Sieveking}, Theor. Comput. Sci. 11, 321--330 (1980; Zbl 0452.68051) Full Text: DOI
Harary, Frank Graph theoretic models. (English) Zbl 0452.05053 Theor. Comput. Sci. 11, 117-121 (1980). MSC: 05C99 05C60 05C75 05C30 05C50 PDF BibTeX XML Cite \textit{F. Harary}, Theor. Comput. Sci. 11, 117--121 (1980; Zbl 0452.05053) Full Text: DOI
Ehrig, Hartmut; Rosen, Barry K. Parallelism and concurrency of graph manipulations. (English) Zbl 0449.68036 Theor. Comput. Sci. 11, 247-275 (1980). MSC: 68Q45 PDF BibTeX XML Cite \textit{H. Ehrig} and \textit{B. K. Rosen}, Theor. Comput. Sci. 11, 247--275 (1980; Zbl 0449.68036) Full Text: DOI
Hotz, Günter Eine neue Invariante für kontextfreie Sprachen. (German) Zbl 0447.68089 Theor. Comput. Sci. 11, 107-116 (1980). MSC: 68Q45 20F05 PDF BibTeX XML Cite \textit{G. Hotz}, Theor. Comput. Sci. 11, 107--116 (1980; Zbl 0447.68089) Full Text: DOI
Dobkin, David P.; Reiss, Steven P. The complexity of linear programming. (English) Zbl 0446.90049 Theor. Comput. Sci. 11, 1-18 (1980). MSC: 90C05 68Q25 PDF BibTeX XML Cite \textit{D. P. Dobkin} and \textit{S. P. Reiss}, Theor. Comput. Sci. 11, 1--18 (1980; Zbl 0446.90049) Full Text: DOI
Bergstra, Jan; Klop, Jan Willem Invertible terms in the lambda calculus. (English) Zbl 0446.03011 Theor. Comput. Sci. 11, 19-37 (1980). MSC: 03B40 PDF BibTeX XML Cite \textit{J. Bergstra} and \textit{J. W. Klop}, Theor. Comput. Sci. 11, 19--37 (1980; Zbl 0446.03011) Full Text: DOI
Morisaki, Masato; Sakai, Ko A complete axiom system for rational sets with multiplicity. (English) Zbl 0443.68068 Theor. Comput. Sci. 11, 79-92 (1980). MSC: 68Q45 20M35 PDF BibTeX XML Cite \textit{M. Morisaki} and \textit{K. Sakai}, Theor. Comput. Sci. 11, 79--92 (1980; Zbl 0443.68068) Full Text: DOI
Kucera, Ludek; Nešetřil, Jaroslav; Pultr, Aleš Complexity of dimension three and some related edge-covering characteristics of graphs. (English) Zbl 0442.68031 Theor. Comput. Sci. 11, 93-106 (1980). MSC: 68Q25 68R10 05C99 PDF BibTeX XML Cite \textit{L. Kucera} et al., Theor. Comput. Sci. 11, 93--106 (1980; Zbl 0442.68031) Full Text: DOI
von zur Gathen, Joachim; Strassen, V. Some polynomials that are hard to compute. (English) Zbl 0442.68028 Theor. Comput. Sci. 11, 331-335 (1980). MSC: 68Q25 68W30 PDF BibTeX XML Cite \textit{J. von zur Gathen} and \textit{V. Strassen}, Theor. Comput. Sci. 11, 331--335 (1980; Zbl 0442.68028) Full Text: DOI
Staples, John Speeding up subtree replacement systems. (English) Zbl 0438.68032 Theor. Comput. Sci. 11, 39-47 (1980). MSC: 68Q45 68Q25 68R10 PDF BibTeX XML Cite \textit{J. Staples}, Theor. Comput. Sci. 11, 39--47 (1980; Zbl 0438.68032) Full Text: DOI
Blum, Norbert; Mehlhorn, Kurt On the average number of rebalancing operations in weight-balanced trees. (English) Zbl 0435.68051 Theor. Comput. Sci. 11, 303-320 (1980). MSC: 68R10 68P20 PDF BibTeX XML Cite \textit{N. Blum} and \textit{K. Mehlhorn}, Theor. Comput. Sci. 11, 303--320 (1980; Zbl 0435.68051) Full Text: DOI
Kozen, Dexter Indexings of subrecursive classes. (English) Zbl 0435.03033 Theor. Comput. Sci. 11, 277-301 (1980). MSC: 03D15 03D20 PDF BibTeX XML Cite \textit{D. Kozen}, Theor. Comput. Sci. 11, 277--301 (1980; Zbl 0435.03033) Full Text: DOI
Vauquelin, Bernard; Franchi-Zannettacci, Paul Automates a file. (English) Zbl 0434.68062 Theor. Comput. Sci. 11, 221-225 (1980). MSC: 68Q45 68Q05 PDF BibTeX XML Cite \textit{B. Vauquelin} and \textit{P. Franchi-Zannettacci}, Theor. Comput. Sci. 11, 221--225 (1980; Zbl 0434.68062) Full Text: DOI
Netto, Angelo Barone There are infinitely many complete prefix codes of constant length \(l\;(l\geq 3)\). (English) Zbl 0433.68066 Theor. Comput. Sci. 11, 337-339 (1980). MSC: 68T99 94A45 PDF BibTeX XML Cite \textit{A. B. Netto}, Theor. Comput. Sci. 11, 337--339 (1980; Zbl 0433.68066) Full Text: DOI
Beynon, W. M. On the structure of free finite state machines. (English) Zbl 0433.68048 Theor. Comput. Sci. 11, 167-180 (1980). MSC: 68Q70 08A99 20M35 PDF BibTeX XML Cite \textit{W. M. Beynon}, Theor. Comput. Sci. 11, 167--180 (1980; Zbl 0433.68048) Full Text: DOI
Pippenger, Nicholas On another Boolean matrix. (English) Zbl 0429.94038 Theor. Comput. Sci. 11, 49-56 (1980). MSC: 94C10 PDF BibTeX XML Cite \textit{N. Pippenger}, Theor. Comput. Sci. 11, 49--56 (1980; Zbl 0429.94038) Full Text: DOI
Arnold, A.; Nivat, M. Metric interpretations of infinite trees and semantics of non deterministic recursive programs. (English) Zbl 0427.68022 Theor. Comput. Sci. 11, 181-205 (1980). MSC: 68Q60 PDF BibTeX XML Cite \textit{A. Arnold} and \textit{M. Nivat}, Theor. Comput. Sci. 11, 181--205 (1980; Zbl 0427.68022) Full Text: DOI
Bougaut, B. Algorithme explicite pour la recherche du p.g.c.d. dans certains anneaux principaux d’entiers de corps de nombres. (French) Zbl 0425.13007 Theor. Comput. Sci. 11, 207-220 (1980). MSC: 13F05 13F15 11R11 11R27 PDF BibTeX XML Cite \textit{B. Bougaut}, Theor. Comput. Sci. 11, 207--220 (1980; Zbl 0425.13007) Full Text: DOI
Rosenberg, Arnold L.; Stockmeyer, Larry J.; Snyder, Lawrence Uniform data encodings. (English) Zbl 0423.68028 Theor. Comput. Sci. 11, 145-165 (1980). MSC: 68R10 68P05 PDF BibTeX XML Cite \textit{A. L. Rosenberg} et al., Theor. Comput. Sci. 11, 145--165 (1980; Zbl 0423.68028) Full Text: DOI