Wu, Maokang Algorithms of refutation for unsatisfiable Horn set. (Chinese. English summary) Zbl 0872.68059 J. Shanghai Univ. Sci. Technol. 12, No. 3, 41-46 (1989). MSC: 68W10 × Cite Format Result Cite Review PDF
Hooker, John N. jun. Input proofs and rank one cutting planes. (English) Zbl 0752.90051 ORSA J. Comput. 1, No. 3, 137-145 (1989). MSC: 90C10 03B05 68T15 × Cite Format Result Cite Review PDF Full Text: DOI
Jeroslow, Robert G.; Wang, Jinchang Dynamic programming, integral polyhedra and Horn clause knowledge base. (English) Zbl 0753.90069 ORSA J. Comput. 1, No. 1, 7-19 (1989). MSC: 90C39 03B05 68T35 90C27 90C05 × Cite Format Result Cite Review PDF Full Text: DOI
Davis, Ruth E. Truth, deduction, and computation. Logic and semantics for computer science. (English) Zbl 0823.68060 New York, NY: Computer Science Press. xv, 265 p. (1989). MSC: 68Q55 68-01 03B70 93B20 68Q45 68N17 × Cite Format Result Cite Review PDF
Pasquini, L. Polynomial solutions to second order linear homogeneous ordinary differential equations. Properties and approximation. (English) Zbl 0787.34018 Calcolo 26, No. 2-4, 167-183 (1989). MSC: 34A45 34A30 33C65 41A10 65L99 × Cite Format Result Cite Review PDF Full Text: DOI
Bukhshtaber, V. M.; Kholodov, A. N. Boas-Buck structures on sequences of polynomials. (English. Russian original) Zbl 0793.26011 Funct. Anal. Appl. 23, No. 4, 266-276 (1989); translation from Funkts. Anal. Prilozh. 23, No. 4, 11-23 (1989). Reviewer: R. S. Pierce (M. R. 91d:26017) MSC: 26C05 33C65 05A40 × Cite Format Result Cite Review PDF Full Text: DOI
Nicolae, Viorel; Chiroiu, Veturia On an identity. (Romanian) Zbl 0739.33011 Gaz. Mat., Bucur. 94, No. 6, 207-212 (1989). Reviewer: Ch.Krattenthaler (Wien) MSC: 33C65 33C20 × Cite Format Result Cite Review PDF
Hardaha, D. R. Some generating functions of three variables analogue of Jacobi polynomials \(S^{\alpha}_{n,m,k}(x,y,z)\). (English) Zbl 0731.33009 Ganita 38(1989), No. 1-2, 106-114 (1987). Reviewer: K.M.Saksena (Kanpur) MSC: 33C50 33C65 33C20 × Cite Format Result Cite Review PDF
Liang, Jin; Xiao, Tijun Functional differential equations with infinite delay in Fréchet space. (English) Zbl 0725.34084 J. Sichuan Univ., Nat. Sci. Ed. 26, No. 4, 382-390 (1989). Reviewer: A.Slavova (Russe) MSC: 34K30 34K99 × Cite Format Result Cite Review PDF
Srivastava, Rekha Some applications of fractional calculus. (English) Zbl 0719.33006 Univalent functions, fractional calculus, and their applications, 371-382 (1989). Reviewer: R.K.Raina (Udaipur) MSC: 33C65 26A33 × Cite Format Result Cite Review PDF
Saigo, Megumi; Marichev, O. I.; Nguyen Thanh Hai Asymptotic representations of Gaussian series \({}_ 2F_ 1\), Clausenian series \({}_ 3F_ 2\), and Appell series \(F_ 2\) and \(F_ 3\) near boundaries of their convergence regions. (English) Zbl 0716.33014 Fukuoka Univ. Sci. Rep. 19, No. 2, 83-90 (1989). Reviewer: P.W.Karlsson MSC: 33C65 × Cite Format Result Cite Review PDF
De Schreye, Daniel; Bruynooghe, Maurice An application of abstract interpretation in source level program transformation. (English) Zbl 0715.68057 Programming languages implementation and logic programming, Proc. Int. Workshop, Orléans/France 1988, Lect. Notes Comput. Sci. 348, 35-57 (1989). MSC: 68Q60 68N01 68N17 × Cite Format Result Cite Review PDF
Agrawal, B. D.; Dave, G. N. Some bilateral generating relations for the generalized multivariate polynomial system. (English) Zbl 0715.33005 Gaṇita Sandesh 3, No. 1, 23-27 (1989). Reviewer: A.N.Srivastava MSC: 33C20 33C65 × Cite Format Result Cite Review PDF
Moothathu, T. S. K. On certain identities in special functions. (English) Zbl 0715.33004 Special functions and problem-oriented research, Proc. Symp., Trivandrum/India 1988, Publ., Cent. Math. Sci., Trivandrum 14, 49-59 (1989). Reviewer: W.Van Assche MSC: 33C15 33C05 33C10 33C65 × Cite Format Result Cite Review PDF
Schätz, Rüdiger Delete operations and Horn formulas. (English) Zbl 0714.68025 CSL ’88, Proc. 2nd Workshop, Duisburg/FRG 1988, Lect. Notes Comput. Sci. 385, 329-343 (1989). MSC: 68P15 68T15 × Cite Format Result Cite Review PDF
Rajasekar, Arcot; Lobo, Jorge; Minker, Jack Skeptical reasoning and disjunctive programs. (English) Zbl 0709.68092 Principles of knowledge representation and reasoning, Proc. 1st. Int. Conf., Toronto/Can. 1989, 349-356 (1989). MSC: 68T30 68T15 × Cite Format Result Cite Review PDF
Mooney, Raymond The effect of rule use on the utility of explanation-based learning. (English) Zbl 0709.68061 IJCAI 89, Proc. Int. Conf., Detroit, MI/USA 1989, 725-730 (1989). Reviewer: N.Curteanu MSC: 68T05 68T20 68T15 × Cite Format Result Cite Review PDF
Saigo, Megumi; Srivastava, H. M. The asymptotic behaviour of Lauricella’s second hypergeometric series \(F_ B^{(n)}\) in n variables near the boundaries of its convergence region. (English) Zbl 0709.33010 Fukuoka Univ. Sci. Rep. 19, No. 2, 71-82 (1989). Reviewer: M.Saigo MSC: 33C65 33C20 × Cite Format Result Cite Review PDF
Saigo, Megumi; Srivastava, H. M. The behaviors of the Appell double hypergeometric series \(F_ 4\) and certain Lauricella triple hypergeometric series near the boundaries of their convergence regions. (English) Zbl 0709.33009 Fukuoka Univ. Sci. Rep. 19, No. 1, 1-10 (1989). Reviewer: M.Saigo MSC: 33C65 × Cite Format Result Cite Review PDF
Liu, Dongbo; Li, Deyi Fuzzy reasoning based on f-Horn clause rules. (English) Zbl 0708.68071 Algebraic and logic programming, Proc. Int. Workshop, Gaussig/GDR 1988, Lect. Notes Comput. Sci. 343, 214-222 (1989). Reviewer: M.Steinby MSC: 68T15 03B52 68N17 68T27 × Cite Format Result Cite Review PDF
Lozinskii, Eliezer L. Answering atomic queries in indefinite deductive databases. (English) Zbl 0706.68043 Int. J. Intell. Syst. 4, No. 4, 403-429 (1989). MSC: 68P15 68T27 × Cite Format Result Cite Review PDF Full Text: DOI
Omarov, A. I. Locally finite countably-categorical Horn theories. (English. Russian original) Zbl 0706.03029 Algebra Logic 28, No. 4, 294-301 (1989); translation from Algebra Logika 28, No. 4, 444-453 (1989). MSC: 03C05 03C35 × Cite Format Result Cite Review PDF Full Text: DOI
Chandel, R. C. Singh; Vishwakarma, P. K. Karlsson’s multiple hypergeometric function and its confluent forms. (English) Zbl 0701.33013 Jñānābha 19, 173-185 (1989). Reviewer: K.M.Saksena MSC: 33C65 × Cite Format Result Cite Review PDF
Exton, Harold On the integration of the system of partial differential equations associated with the triple hypergeometric function \(F_ D^{(3)}\). (English) Zbl 0701.33012 Jñānābha 19, 157-171 (1989). Reviewer: K.M.Saksena MSC: 33C65 33D80 × Cite Format Result Cite Review PDF
McLarty, Colin Stable surjection logic. (English) Zbl 0695.03005 Diagrammes 22, 45-57 (1989). MSC: 03B35 03F05 18A15 18B25 18C10 × Cite Format Result Cite Review PDF Full Text: EuDML
Besov, A. V. Imbeddings of an anisotropic Sobolev space for a domain with the flexible horn condition. (English. Russian original) Zbl 0693.46033 Proc. Steklov Inst. Math. 181, 1-13 (1989); translation from Tr. Mat. Inst. Steklova 181, 3-14 (1988). MSC: 46E35 × Cite Format Result Cite Review PDF
Palamidessi, Catuscia On the declarative semantics of Horn clause logic-based languages. (English) Zbl 0687.03014 CWI Q. 2, No. 4, 331-344 (1989). Reviewer: P.-G.Holban MSC: 03B70 03B20 68Q60 68Q65 × Cite Format Result Cite Review PDF
Tucker, J. V.; Zucker, J. I. Horn programs and semicomputable relations on abstract structures. (English) Zbl 0686.68045 Automata, languages and programming, Proc. 16th Int. Colloq., Stresa/Italy 1989, Lect. Notes Comput. Sci. 372, 745-760 (1989). MSC: 03D60 68P05 68N01 08A99 68T99 × Cite Format Result Cite Review PDF
Willard, Ross Congruence lattices of powers of an algebra. (English) Zbl 0686.08008 Algebra Univers. 26, No. 3, 332-340 (1989). Reviewer: J.Duda MSC: 08B10 08A30 × Cite Format Result Cite Review PDF Full Text: DOI
Evans, W. D.; Harris, D. J. On the approximation numbers of Sobolev embeddings for irregular domains. (English) Zbl 0681.46033 Q. J. Math., Oxf. II. Ser. 40, No. 157, 13-42 (1989). Reviewer: H.Triebel MSC: 46E35 47B10 × Cite Format Result Cite Review PDF Full Text: DOI
Leitsch, A. Implication algorithms for classes of Horn clauses. (English) Zbl 0679.68172 Statistik, Informatik und Ökonomie, Josef Roppert zum 60. Geburtstag, 172-189 (1989). MSC: 68T15 × Cite Format Result Cite Review PDF
Craig, William Logical partial functions and extensions of equational logic. (English) Zbl 0679.03008 Logic colloq. ’88, Proc. Colloq., Padova/Italy 1988, Stud. Logic Found. Math. 127, 319-354 (1989). Reviewer: C.S.Kalfa MSC: 03C05 08B05 × Cite Format Result Cite Review PDF
Demo, Barbara; Porta, Marisa; Sapino, Maria Luisa Efficiency and completeness properties of the counting method. (English) Zbl 0676.68054 Comput. Artif. Intell. 8, No. 3, 227-245 (1989). MSC: 68T15 03B35 × Cite Format Result Cite Review PDF
Chlebus, Bogdan S. A hierarchy of propositional Horn formuls. (English) Zbl 0676.03026 Theor. Comput. Sci. 68, No. 1, 113-119 (1989). MSC: 03D15 03B05 68Q25 × Cite Format Result Cite Review PDF Full Text: DOI
Barr, Michael Models of Horn theories. (English) Zbl 0676.03022 Categories in computer science and logic, Proc. AMS-IMS-SIAM Jt. Summer Res. Conf., Boulder/Colo. 1987, Contemp. Math. 92, 1-7 (1989). Reviewer: K.Rosenthal MSC: 03C05 18C05 08B30 × Cite Format Result Cite Review PDF
Gallo, Giorgio; Urbani, Giampaolo Algorithms for testing the satisfiability of propositional formulae. (English) Zbl 0672.68044 J. Logic Program. 7, No. 1, 45-61 (1989). Reviewer: E.Melis MSC: 68T15 68Q25 × Cite Format Result Cite Review PDF Full Text: DOI
Lindhorst, Greg; Shahrokhi, Farhad On renaming a set of clauses as a Horn set. (English) Zbl 0672.68016 Inf. Process. Lett. 30, No. 6, 289-293 (1989). MSC: 68Q25 68T15 03B35 68P10 03B05 68W99 × Cite Format Result Cite Review PDF Full Text: DOI
de Schreye, Danny; Bruynooghe, Maurice On the transformation of logic programs with instantiation based computation rules. (English) Zbl 0669.68058 J. Symb. Comput. 7, No. 2, 125-154 (1989). Reviewer: L.State MSC: 68T15 03B35 × Cite Format Result Cite Review PDF Full Text: DOI
Gallier, Jean H.; Raatz, Stan Extending SLD resolution to equational Horn clauses using E-unification. (English) Zbl 0668.68111 J. Logic Program. 6, No. 1-2, 3-43 (1989). MSC: 68T15 03B35 × Cite Format Result Cite Review PDF Full Text: DOI
Kleine Büning, Hans; Löwen, Ulrich Optimizing propositional calculus formulas with regard to questions of deducibility. (English) Zbl 0668.03004 Inf. Comput. 80, No. 1, 18-43 (1989). Reviewer: A.Leitsch MSC: 03B35 03F20 68T15 03B25 68Q25 × Cite Format Result Cite Review PDF Full Text: DOI
Yang, Chaochih Deduction graphs: An algorithm and applications. (English) Zbl 0667.68113 IEEE Trans. Softw. Eng. 15, No. 1, 60-67 (1989). MSC: 68T15 68P20 68R10 68T99 × Cite Format Result Cite Review PDF Full Text: DOI
Peterka, George; Murata, Tadao Proof procedure and answer extraction in Petri net model of logic programs. (English) Zbl 0665.68082 IEEE Trans. Softw. Eng. 15, No. 2, 209-217 (1989). MSC: 68T15 68Q85 68Q60 × Cite Format Result Cite Review PDF Full Text: DOI
Blok, W. J.; Pigozzi, D. Algebraizable logics. (English) Zbl 0664.03042 Mem. Am. Math. Soc. 396, 78 p. (1989). Reviewer: L.Esakia MSC: 03G99 03B45 03B55 03B60 03C05 08C15 03B20 03B10 × Cite Format Result Cite Review PDF Full Text: DOI
van den Berg, M.; Davies, E. B. Heat flow out of regions in \({\mathbb{R}}^ m\). (English) Zbl 0661.35040 Math. Z. 202, No. 4, 463-482 (1989). Reviewer: M.van den Berg MSC: 35K20 35A30 × Cite Format Result Cite Review PDF Full Text: DOI EuDML
Burris, Stanley Decidable model companions. (English) Zbl 0654.03018 Z. Math. Logik Grundlagen Math. 35, No. 3, 225-227 (1989). Reviewer: S.Burris MSC: 03C07 03B25 × Cite Format Result Cite Review PDF Full Text: DOI
Saksena, R. K.; Kumar, R. Certain transformations of basic hypergeometric functions of two variables. (English) Zbl 0741.33014 Matematiche 44, No. 2, 333-343 (1989). Reviewer: A.N.Srivastava (Pune) MSC: 33D70 33C05 33C65 33D15 × Cite Format Result Cite Review PDF
Hölldobler, Steffen Foundations of equational logic programming. (English) Zbl 0688.68004 Lecture Notes in Computer Science 353. Lecture Notes in Artificial Intelligence. Berlin: Springer-Verlag (ISBN 3-540-51533-X). X, 250 p. (1989). Reviewer: S. G. Vorobyov MSC: 68-02 68T15 03B35 68T20 × Cite Format Result Cite Review PDF
de Boer, Frank S.; Kok, Joost N.; Palamidessi, Catuscia; Rutten, Jan J. M. M. Control flow versus logic: A denotational and a declarative model for Guarded Horn Clauses. (English) Zbl 0755.68094 Mathematical foundations of computer science, Proc. 14th Symp., MFCS ’89, Porąbka-Kozubnik/Pol. 1989, Lect. Notes Comput. Sci. 379, 165-176 (1989). MSC: 68Q55 68N15 68T99 × Cite Format Result Cite Review PDF
Kanovich, M. I. Monadic Horn bases of knowledge in expert systems. (English. Russian original) Zbl 0800.68929 Sov. J. Comput. Syst. Sci. 28, No. 4, 1-7 (1990); translation from Izv. Akad. Nauk SSSR, Tekh. Kibern. 1989, No. 5, 14-19 (1989). MSC: 68T35 68T30 × Cite Format Result Cite Review PDF