Nigmatullin, R. G. Models of lower-bounds proofs. (English) Zbl 0652.68061 Theor. Comput. Sci. 52, 239-249 (1987). Reviewer: M.Chytil MSC: 68Q25 03F20 PDF BibTeX XML Cite \textit{R. G. Nigmatullin}, Theor. Comput. Sci. 52, 239--249 (1987; Zbl 0652.68061) Full Text: DOI
Balcázar, J. L.; Díaz, J.; Gabarró, J. On characterizations of the class PSPACE/poly. (English) Zbl 0652.68060 Theor. Comput. Sci. 52, 251-267 (1987). Reviewer: M.Chytil MSC: 68Q25 68Q05 PDF BibTeX XML Cite \textit{J. L. Balcázar} et al., Theor. Comput. Sci. 52, 251--267 (1987; Zbl 0652.68060) Full Text: DOI
Felleisen, Matthias; Friedman, Daniel P.; Kohlbecker, Eugene; Duba, Bruce A syntactic theory of sequential control. (English) Zbl 0643.03011 Theor. Comput. Sci. 52, 205-237 (1987). Reviewer: J.Zlatuska MSC: 03B40 68N01 68Q60 03B70 PDF BibTeX XML Cite \textit{M. Felleisen} et al., Theor. Comput. Sci. 52, 205--237 (1987; Zbl 0643.03011) Full Text: DOI
Ştefănescu, Gh. On flowchart theories. II: The nondeterministic case. (English) Zbl 0642.68020 Theor. Comput. Sci. 52, 307-340 (1987). Reviewer: S.Bloom MSC: 68Q60 18C10 68Q05 PDF BibTeX XML Cite \textit{Gh. Ştefănescu}, Theor. Comput. Sci. 52, 307--340 (1987; Zbl 0642.68020) Full Text: DOI
Mundici, Daniele Satisfiability in many-valued sentential logic is NP-complete. (English) Zbl 0639.03042 Theor. Comput. Sci. 52, 145-153 (1987). Reviewer: M.Tetruašvili MSC: 03D15 03B50 PDF BibTeX XML Cite \textit{D. Mundici}, Theor. Comput. Sci. 52, 145--153 (1987; Zbl 0639.03042) Full Text: DOI
Zaionc, Marek Word operation definable in the typed \(\lambda\)-calculus. (English) Zbl 0638.03014 Theor. Comput. Sci. 52, 1-14 (1987). Reviewer: P.Materna MSC: 03B40 03D05 68Q45 PDF BibTeX XML Cite \textit{M. Zaionc}, Theor. Comput. Sci. 52, 1--14 (1987; Zbl 0638.03014) Full Text: DOI
Kim, Changwook; Sudborough, Ivan Hal The membership and equivalence problems for picture languages. (English) Zbl 0636.68117 Theor. Comput. Sci. 52, 177-191 (1987). MSC: 68T10 68Q45 68Q25 PDF BibTeX XML Cite \textit{C. Kim} and \textit{I. H. Sudborough}, Theor. Comput. Sci. 52, 177--191 (1987; Zbl 0636.68117) Full Text: DOI
Kennaway, Richard On “On graph rewritings”. (English) Zbl 0636.68028 Theor. Comput. Sci. 52, 37-58 (1987). MSC: 68Q65 18B20 PDF BibTeX XML Cite \textit{R. Kennaway}, Theor. Comput. Sci. 52, 37--58 (1987; Zbl 0636.68028) Full Text: DOI
Marberg, John M.; Gafni, Eli Distributed sorting algorithms for multi-channel broadcast networks. (English) Zbl 0636.68009 Theor. Comput. Sci. 52, 193-203 (1987). MSC: 68N99 94A05 68P10 68Q25 PDF BibTeX XML Cite \textit{J. M. Marberg} and \textit{E. Gafni}, Theor. Comput. Sci. 52, 193--203 (1987; Zbl 0636.68009) Full Text: DOI
Brandenburg, Franz J. A note on: ‘Deque automata and a subfamily of context-sensitive languages which contains all semilinear bounded languages’ (by K. Ayers). (English) Zbl 0635.68089 Theor. Comput. Sci. 52, 341-342 (1987). MSC: 68Q45 PDF BibTeX XML Cite \textit{F. J. Brandenburg}, Theor. Comput. Sci. 52, 341--342 (1987; Zbl 0635.68089) Full Text: DOI
Ko, Ker-I On helping by robust oracle machines. (English) Zbl 0635.68039 Theor. Comput. Sci. 52, 15-36 (1987). Reviewer: Ker-I Ko MSC: 68Q25 68Q05 68Q15 PDF BibTeX XML Cite \textit{K.-I Ko}, Theor. Comput. Sci. 52, 15--36 (1987; Zbl 0635.68039) Full Text: DOI
Gelenbe, Erol; Finkel, David Stationary deterministic flows: II. The Single-server queue. (English) Zbl 0635.68027 Theor. Comput. Sci. 52, 269-280 (1987). MSC: 68M20 PDF BibTeX XML Cite \textit{E. Gelenbe} and \textit{D. Finkel}, Theor. Comput. Sci. 52, 269--280 (1987; Zbl 0635.68027) Full Text: DOI
Sakarovitch, Jacques On regular trace languages. (English) Zbl 0634.68076 Theor. Comput. Sci. 52, 59-75 (1987). Reviewer: A.Stolboushkin MSC: 68Q45 20M35 68Q70 PDF BibTeX XML Cite \textit{J. Sakarovitch}, Theor. Comput. Sci. 52, 59--75 (1987; Zbl 0634.68076) Full Text: DOI
von zur Gathen, Joachim Factoring polynomials and primitive elements for special primes. (English) Zbl 0633.12009 Theor. Comput. Sci. 52, 77-89 (1987). Reviewer: J. von zur Gathen MSC: 11T06 68W30 12-04 PDF BibTeX XML Cite \textit{J. von zur Gathen}, Theor. Comput. Sci. 52, 77--89 (1987; Zbl 0633.12009) Full Text: DOI
Topor, Rodney W. Domain-independent formulas and databases. (English) Zbl 0627.68077 Theor. Comput. Sci. 52, 281-306 (1987). Reviewer: E.Knuth MSC: 68P20 68T15 PDF BibTeX XML Cite \textit{R. W. Topor}, Theor. Comput. Sci. 52, 281--306 (1987; Zbl 0627.68077) Full Text: DOI
Seité, B. A Yacc extension for LRR grammar parsing. (English) Zbl 0627.68070 Theor. Comput. Sci. 52, 91-143 (1987). MSC: 68N20 68Q45 PDF BibTeX XML Cite \textit{B. Seité}, Theor. Comput. Sci. 52, 91--143 (1987; Zbl 0627.68070) Full Text: DOI
Moriya, Tetsuo Topological characterizations of infinite tree languages. (English) Zbl 0627.68067 Theor. Comput. Sci. 52, 165-171 (1987). MSC: 68Q45 PDF BibTeX XML Cite \textit{T. Moriya}, Theor. Comput. Sci. 52, 165--171 (1987; Zbl 0627.68067) Full Text: DOI
Spirakis, Paul The parallel complexity of deadlock detection. (English) Zbl 0623.68028 Theor. Comput. Sci. 52, 155-163 (1987). MSC: 68N25 68Q25 PDF BibTeX XML Cite \textit{P. Spirakis}, Theor. Comput. Sci. 52, 155--163 (1987; Zbl 0623.68028) Full Text: DOI