Ibarra, Oscar H.; Moran, Shlomo Some independence results in complexity theory. (English) Zbl 0611.68017 Int. J. Comput. Math. 17, 113-122 (1985). MSC: 68Q25 × Cite Format Result Cite Review PDF Full Text: DOI
Păun, Gheorghe On some open problems about Marcus contextual languages. (English) Zbl 0608.68064 Int. J. Comput. Math. 17, 9-23 (1985). Reviewer: M.Linna MSC: 68Q45 68Q42 × Cite Format Result Cite Review PDF Full Text: DOI
Amir, Amihood; Choueka, Yaacov A syntactical definition of the \({\mathcal P}=?{\mathcal N}{\mathcal P}\) problem. (English) Zbl 0604.68052 Int. J. Comput. Math. 17, 217-228 (1985). MSC: 68Q25 03D15 03D60 × Cite Format Result Cite Review PDF Full Text: DOI
Novotny, Miroslav On some constructions of grammars for linear languages. (English) Zbl 0598.68051 Int. J. Comput. Math. 17, 65-77 (1985). Reviewer: D.Wood MSC: 68Q45 × Cite Format Result Cite Review PDF Full Text: DOI
Khaliq, A. Q. M.; Twizell, E. H. Stability regions for one-step multiderivative methods in PECE mode with application to stiff systems. (English) Zbl 0586.65051 Int. J. Comput. Math. 17, 323-338 (1985). Reviewer: H.Ade MSC: 65L05 65L20 34A34 × Cite Format Result Cite Review PDF Full Text: DOI
Murzin, F. A. Syntactic properties of the REFAL language. (English) Zbl 0585.68049 Int. J. Comput. Math. 17, 123-139 (1985). Reviewer: A.Kushkuley MSC: 68W30 × Cite Format Result Cite Review PDF Full Text: DOI
Karim, Abbas I. A.; Ismail, Gamal A. Nonequidistant modified predictor-corrector methods for solving systems of differential equations. (English) Zbl 0581.65057 Int. J. Comput. Math. 17, 339-361 (1985). Reviewer: G.Merz MSC: 65L05 65L20 34A34 × Cite Format Result Cite Review PDF Full Text: DOI
Wingo, Dallas R. Globally minimizing polynomials without evaluating derivatives. (English) Zbl 0579.65061 Int. J. Comput. Math. 17, 287-294 (1985). Reviewer: U.Zimmermann MSC: 65K05 65H05 26C10 × Cite Format Result Cite Review PDF Full Text: DOI
Cohen, A. M.; Gismalla, D. A. The construction of quadrature rules by parameter optimisation. (English) Zbl 0571.65017 Int. J. Comput. Math. 17, 203-214 (1985). Reviewer: M.Reimer MSC: 65D32 41A55 × Cite Format Result Cite Review PDF Full Text: DOI
Dunham, Charles B. The limit of discretization and weights increasing on nodes. (English) Zbl 0569.41019 Int. J. Comput. Math. 17, 317-321 (1985). Reviewer: C.G.Lascarides MSC: 41A50 41A29 41A05 41A30 × Cite Format Result Cite Review PDF Full Text: DOI
Garey, L. E.; Gladwin, C. J. Roots of the discrete solution of first kind Volterra equations. (English) Zbl 0568.65094 Int. J. Comput. Math. 17, 197-202 (1985). Reviewer: J.Kolomý MSC: 65R20 45G10 × Cite Format Result Cite Review PDF Full Text: DOI
Evans, D. J. Group explicit iterative methods for solving large linear systems. (English) Zbl 0568.65050 Int. J. Comput. Math. 17, 81-108 (1985). Reviewer: P.Narain MSC: 65L10 34B05 × Cite Format Result Cite Review PDF Full Text: DOI
Hadjidimos, A. Optimum SOR methods for a class of linear systems. (English) Zbl 0568.65019 Int. J. Comput. Math. 17, 177-195 (1985). Reviewer: V.Mehrmann MSC: 65F10 35J25 65N22 × Cite Format Result Cite Review PDF Full Text: DOI
Chawla, M. M.; Shivakumar, P. N. Numerov’s method for non-linear two-point boundary value problems. (English) Zbl 0566.65064 Int. J. Comput. Math. 17, 167-176 (1985). Reviewer: A.Marciniak MSC: 65L10 34B15 × Cite Format Result Cite Review PDF Full Text: DOI
Gurari, Eitan M. Two-way counter machines and finite-state transducers. (English) Zbl 0565.68049 Int. J. Comput. Math. 17, 229-236 (1985). MSC: 68Q05 × Cite Format Result Cite Review PDF Full Text: DOI
Spyropoulos, C. D.; Evans, D. J. Analysis of the Q.A.D. algorithm for a homogeneous multiprocessor computing model with independent memories. (English) Zbl 0565.68038 Int. J. Comput. Math. 17, 237-255 (1985). MSC: 68M20 × Cite Format Result Cite Review PDF Full Text: DOI
Er, M. C. Lexicographic ordering, ranking and unranking of combinations. (English) Zbl 0565.05008 Int. J. Comput. Math. 17, 277-283 (1985). MSC: 05A99 × Cite Format Result Cite Review PDF Full Text: DOI
Calude, Cristian; Chitescu, Ion A combinatorial characterization of sequential P. Martin-Löf tests. (English) Zbl 0562.03020 Int. J. Comput. Math. 17, 53-64 (1985). MSC: 03D15 20M05 × Cite Format Result Cite Review PDF Full Text: DOI
Mannila, Heikki; Wood, Derick A simple proof of the rectilinear art gallery theorem. (English) Zbl 0561.05008 Int. J. Comput. Math. 17, 141-149 (1985). Reviewer: M.Ştefanescu MSC: 05A99 51E20 × Cite Format Result Cite Review PDF Full Text: DOI
Sutcliffe, Geoff GRAPHIX - a graph theory sub-language. (English) Zbl 0559.68009 Int. J. Comput. Math. 17, 257-275 (1985). MSC: 68N01 68R10 × Cite Format Result Cite Review PDF Full Text: DOI
Li, Xiang On relativized nondeterministic polynomial-time bounded computations. (English) Zbl 0558.68041 Int. J. Comput. Math. 17, 151-153 (1985). Reviewer: M.Chytil MSC: 68Q25 68Q05 03D15 68Q45 × Cite Format Result Cite Review PDF Full Text: DOI
Dassow, Jürgen On contextual grammar forms. (English) Zbl 0553.68046 Int. J. Comput. Math. 17, 37-52 (1985). Reviewer: G.Păun MSC: 68Q45 × Cite Format Result Cite Review PDF Full Text: DOI
Păun, Gheorghe Tribute to Prof. S. Marcus (on his 60th birthday). (English) Zbl 0553.01021 Int. J. Comput. Math. 17, 3-7 (1985). MSC: 01A70 × Cite Format Result Cite Review PDF Full Text: DOI
Nguyen Xuan My Some generalized semi-Thue systems. (English) Zbl 0552.68063 Int. J. Comput. Math. 17, 25-36 (1985). MSC: 68Q45 × Cite Format Result Cite Review PDF Full Text: DOI