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 PDF BibTeX XML Cite \textit{O. H. Ibarra} and \textit{S. Moran}, Int. J. Comput. Math. 17, 113--122 (1985; Zbl 0611.68017) Full Text: DOI OpenURL
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 PDF BibTeX XML Cite \textit{G. Păun}, Int. J. Comput. Math. 17, 9--23 (1985; Zbl 0608.68064) Full Text: DOI OpenURL
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 PDF BibTeX XML Cite \textit{A. Amir} and \textit{Y. Choueka}, Int. J. Comput. Math. 17, 217--228 (1985; Zbl 0604.68052) Full Text: DOI OpenURL
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 PDF BibTeX XML Cite \textit{M. Novotny}, Int. J. Comput. Math. 17, 65--77 (1985; Zbl 0598.68051) Full Text: DOI OpenURL
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 PDF BibTeX XML Cite \textit{A. Q. M. Khaliq} and \textit{E. H. Twizell}, Int. J. Comput. Math. 17, 323--338 (1985; Zbl 0586.65051) Full Text: DOI OpenURL
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 PDF BibTeX XML Cite \textit{F. A. Murzin}, Int. J. Comput. Math. 17, 123--139 (1985; Zbl 0585.68049) Full Text: DOI OpenURL
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 PDF BibTeX XML Cite \textit{A. I. A. Karim} and \textit{G. A. Ismail}, Int. J. Comput. Math. 17, 339--361 (1985; Zbl 0581.65057) Full Text: DOI OpenURL
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 PDF BibTeX XML Cite \textit{D. R. Wingo}, Int. J. Comput. Math. 17, 287--294 (1985; Zbl 0579.65061) Full Text: DOI OpenURL
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 PDF BibTeX XML Cite \textit{A. M. Cohen} and \textit{D. A. Gismalla}, Int. J. Comput. Math. 17, 203--214 (1985; Zbl 0571.65017) Full Text: DOI OpenURL
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 PDF BibTeX XML Cite \textit{C. B. Dunham}, Int. J. Comput. Math. 17, 317--321 (1985; Zbl 0569.41019) Full Text: DOI OpenURL
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 PDF BibTeX XML Cite \textit{L. E. Garey} and \textit{C. J. Gladwin}, Int. J. Comput. Math. 17, 197--202 (1985; Zbl 0568.65094) Full Text: DOI OpenURL
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 PDF BibTeX XML Cite \textit{D. J. Evans}, Int. J. Comput. Math. 17, 81--108 (1985; Zbl 0568.65050) Full Text: DOI OpenURL
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 PDF BibTeX XML Cite \textit{A. Hadjidimos}, Int. J. Comput. Math. 17, 177--195 (1985; Zbl 0568.65019) Full Text: DOI OpenURL
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 PDF BibTeX XML Cite \textit{M. M. Chawla} and \textit{P. N. Shivakumar}, Int. J. Comput. Math. 17, 167--176 (1985; Zbl 0566.65064) Full Text: DOI OpenURL
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 PDF BibTeX XML Cite \textit{E. M. Gurari}, Int. J. Comput. Math. 17, 229--236 (1985; Zbl 0565.68049) Full Text: DOI OpenURL
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 PDF BibTeX XML Cite \textit{C. D. Spyropoulos} and \textit{D. J. Evans}, Int. J. Comput. Math. 17, 237--255 (1985; Zbl 0565.68038) Full Text: DOI OpenURL
Er, M. C. Lexicographic ordering, ranking and unranking of combinations. (English) Zbl 0565.05008 Int. J. Comput. Math. 17, 277-283 (1985). MSC: 05A99 PDF BibTeX XML Cite \textit{M. C. Er}, Int. J. Comput. Math. 17, 277--283 (1985; Zbl 0565.05008) Full Text: DOI OpenURL
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 PDF BibTeX XML Cite \textit{C. Calude} and \textit{I. Chitescu}, Int. J. Comput. Math. 17, 53--64 (1985; Zbl 0562.03020) Full Text: DOI OpenURL
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 PDF BibTeX XML Cite \textit{H. Mannila} and \textit{D. Wood}, Int. J. Comput. Math. 17, 141--149 (1985; Zbl 0561.05008) Full Text: DOI OpenURL
Sutcliffe, Geoff GRAPHIX - a graph theory sub-language. (English) Zbl 0559.68009 Int. J. Comput. Math. 17, 257-275 (1985). MSC: 68N01 68R10 PDF BibTeX XML Cite \textit{G. Sutcliffe}, Int. J. Comput. Math. 17, 257--275 (1985; Zbl 0559.68009) Full Text: DOI OpenURL
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 PDF BibTeX XML Cite \textit{X. Li}, Int. J. Comput. Math. 17, 151--153 (1985; Zbl 0558.68041) Full Text: DOI OpenURL
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 PDF BibTeX XML Cite \textit{J. Dassow}, Int. J. Comput. Math. 17, 37--52 (1985; Zbl 0553.68046) Full Text: DOI OpenURL
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 PDF BibTeX XML Cite \textit{G. Păun}, Int. J. Comput. Math. 17, 3--7 (1985; Zbl 0553.01021) Full Text: DOI OpenURL
Nguyen Xuan My Some generalized semi-Thue systems. (English) Zbl 0552.68063 Int. J. Comput. Math. 17, 25-36 (1985). MSC: 68Q45 PDF BibTeX XML Cite \textit{Nguyen Xuan My}, Int. J. Comput. Math. 17, 25--36 (1985; Zbl 0552.68063) Full Text: DOI OpenURL