Gallier, Jean H.; Snyder, Wayne Designing unification procedures using transformations: A survey. (English) Zbl 0744.68112 Bull. EATCS 40, 273-326 (1990). MSC: 68T15 68W30 68N17 68-02 PDFBibTeX XMLCite \textit{J. H. Gallier} and \textit{W. Snyder}, Bull. EATCS 40, 273--326 (1990; Zbl 0744.68112)
Mannila, Heikki; Ukkonen, Esko Unifications, deunifications, and their complexity. (English) Zbl 0746.68020 BIT 30, No. 4, 599-619 (1990). Reviewer: M.Val’ev MSC: 68N17 68Q25 PDFBibTeX XMLCite \textit{H. Mannila} and \textit{E. Ukkonen}, BIT 30, No. 4, 599--619 (1990; Zbl 0746.68020) Full Text: DOI
Beierle, Christoph Types, modules and databases in the logic programming language PROTOS-L. (English) Zbl 0747.68074 Sorts and types in artificial intelligence, Proc. Workshop, Eringerfeld/FRG 1989, Lect. Notes Comput. Sci. 418, 73-110 (1990). Reviewer: N.Curteanu (Iaşi) MSC: 68T99 68N17 68N20 68Q65 PDFBibTeX XMLCite \textit{C. Beierle}, Lect. Notes Comput. Sci. None, 73--110 (1990; Zbl 0747.68074)
Schmitt, P. H.; Wernecke, W. Tableau calculus for order sorted logic. (English) Zbl 0747.68083 Sorts and types in artificial intelligence, Proc. Workshop, Eringerfeld/FRG 1989, Lect. Notes Comput. Sci. 418, 49-60 (1990). Reviewer: N.Curteanu (Iaşi) MSC: 68T27 68T15 68N17 PDFBibTeX XMLCite \textit{P. H. Schmitt} and \textit{W. Wernecke}, Lect. Notes Comput. Sci. None, 49--60 (1990; Zbl 0747.68083)
Walther, Christoph Many-sorted inference in automated theorem proving. (English) Zbl 0747.68084 Sorts and types in artificial intelligence, Proc. Workshop, Eringerfeld/FRG 1989, Lect. Notes Comput. Sci. 418, 18-48 (1990). Reviewer: N.Curteanu (Iaşi) MSC: 68T27 68T15 PDFBibTeX XMLCite \textit{C. Walther}, Lect. Notes Comput. Sci. None, 18--48 (1990; Zbl 0747.68084)
Dobry, T. P. A high performance architecture for Prolog. (English) Zbl 0749.68019 The Kluwer International Series in Engineering and Computer Science. 90. Dordrecht: Kluwer Academic Publishers Group. 240 p. (1990). MSC: 68N17 68T99 68M01 68N15 68-02 PDFBibTeX XMLCite \textit{T. P. Dobry}, A high performance architecture for Prolog. Dordrecht: Kluwer Academic Publishers Group (1990; Zbl 0749.68019)
Russi, Thomas A framework for syntactic and morphological analysis and its application in a text-to-speech system. (English) Zbl 0791.68145 Zürich: SFIT. XIV, 151 p. (1990). Reviewer: Thomas Russi MSC: 68T10 68Q45 68T50 68N20 PDFBibTeX XMLCite \textit{T. Russi}, A framework for syntactic and morphological analysis and its application in a text-to-speech system. Zürich: SFIT (1990; Zbl 0791.68145)
Raatz, Stan Graph-based proof procedures for horn clauses. (English) Zbl 0718.68069 Progress in Computer Science and Applied Logic, 10. Boston etc.: Birkhäuser. 147 p. Sfr. 52.00 (1990). Reviewer: H.J.Ohlbach (Saarbrücken) MSC: 68T15 03B35 68-02 PDFBibTeX XMLCite \textit{S. Raatz}, Graph-based proof procedures for horn clauses. Boston etc.: Birkhäuser (1990; Zbl 0718.68069)
Smolka, Gerd Logic programming over polymorphically order-sorted types. (English) Zbl 0733.68011 Kaiserslautern: Univ., FB Informatik, Thesis. 222 p. (1990). MSC: 68N17 68Q42 68Q45 PDFBibTeX XMLCite \textit{G. Smolka}, Logic programming over polymorphically order-sorted types. Kaiserslautern: Univ., FB Informatik (1990; Zbl 0733.68011)
Kunz, Andreas (ed.); Schmitz, Ulrich (ed.); Schütz, Rüdiger (ed.) Linguistic approaches to artificial intelligence. 13th International LAUD-Symposium, held from March 23rd to 26th 1988 in Duisburg, FRG. (English) Zbl 0744.68023 Duisburg Papers on Research in Language and Culture. 6. Frankfurt a. M.: Verlag Peter Lang. II, 558 p. (1990). Reviewer: S.Marcus (Bucureşti) MSC: 68-06 68T50 68T30 91F20 03B65 PDFBibTeX XMLCite \textit{A. Kunz} (ed.) et al., Linguistic approaches to artificial intelligence. 13th International LAUD-Symposium, held from March 23rd to 26th 1988 in Duisburg, FRG. Frankfurt a. M.: Verlag Peter Lang (1990; Zbl 0744.68023)
Baldwin, J. F. Computational models of uncertainty reasoning in expert systems. (English) Zbl 0728.68125 Comput. Math. Appl. 19, No. 11, 105-119 (1990). MSC: 68T35 03E72 03B48 03B52 PDFBibTeX XMLCite \textit{J. F. Baldwin}, Comput. Math. Appl. 19, No. 11, 105--119 (1990; Zbl 0728.68125) Full Text: DOI
Gavrilenko, Yu. V. Principal solutions and groups of automorphisms of systems of equations in terms. (English. Russian original) Zbl 0728.68118 Sov. Math., Dokl. 40, No. 3, 529-533 (1990); translation from Dokl. Akad. Nauk SSSR 309, No. 3, 524-528 (1990). MSC: 68T20 68T15 03F99 03B35 PDFBibTeX XMLCite \textit{Yu. V. Gavrilenko}, Sov. Math., Dokl. 40, No. 3, 529--533 (1990; Zbl 0728.68118); translation from Dokl. Akad. Nauk SSSR 309, No. 3, 524--528 (1990)
Hu, Yunfa A goal-type driven method of solving Horn logic with equality. (English) Zbl 0725.68087 J. Comput. Sci. Technol. 5, No. 3, 250-258 (1990). MSC: 68T15 68P05 PDFBibTeX XMLCite \textit{Y. Hu}, J. Comput. Sci. Technol. 5, No. 3, 250--258 (1990; Zbl 0725.68087) Full Text: DOI
Strzalkowski, Tomek An algorithm for inversing a unification parser into an efficient unification generator. (English) Zbl 0725.68067 Appl. Math. Lett. 3, No. 1, 93-96 (1990). MSC: 68N20 68T50 PDFBibTeX XMLCite \textit{T. Strzalkowski}, Appl. Math. Lett. 3, No. 1, 93--96 (1990; Zbl 0725.68067) Full Text: DOI
Amiot, Gilles The undecidability of the second order predicate unification problem. (English) Zbl 0725.03002 Arch. Math. Logic 30, No. 3, 193-199 (1990). Reviewer: A.Tauts (Tallinn) MSC: 03B25 03B15 PDFBibTeX XMLCite \textit{G. Amiot}, Arch. Math. Logic 30, No. 3, 193--199 (1990; Zbl 0725.03002) Full Text: DOI
Büttner, Wolfram; Estenfeld, Klaus; Schmid, Richard; Schneider, Hans-Albert; Tidén, Erik Symbolic constraint handling through unification in finite algebras. (English) Zbl 0723.68051 Appl. Algebra Eng. Commun. Comput. 1, No. 2, 97-118 (1990). MSC: 68W30 PDFBibTeX XMLCite \textit{W. Büttner} et al., Appl. Algebra Eng. Commun. Comput. 1, No. 2, 97--118 (1990; Zbl 0723.68051) Full Text: DOI
Zhelyabin, V. N.; Madrakhimov, Sh. F. An algorithm of linear unification. (Russian) Zbl 0719.68065 Dokl. Akad. Nauk UzSSR 1990, No. 1, 7-8 (1990). MSC: 68T15 PDFBibTeX XMLCite \textit{V. N. Zhelyabin} and \textit{Sh. F. Madrakhimov}, Dokl. Akad. Nauk UzSSR 1990, No. 1, 7--8 (1990; Zbl 0719.68065)
Buszkowski, Wojciech; Penn, Gerald Categorial grammars determined from linguistic data by unification. (English) Zbl 0718.03020 Stud. Log. 49, No. 4, 431-454 (1990). MSC: 03B65 68T50 PDFBibTeX XMLCite \textit{W. Buszkowski} and \textit{G. Penn}, Stud. Log. 49, No. 4, 431--454 (1990; Zbl 0718.03020) Full Text: DOI
Fokas, A. S.; Santini, P. M. A unified approach to recursion operators. (English) Zbl 0716.58019 Solitons in physics, mathematics, and nonlinear optics, Proc. 2 Workshops, IMA Program Nonlinear Waves, Minneapolis/MN (USA) 1988-89, IMA Vol. Math. Appl. 25, 79-96 (1990). Reviewer: Th.M.Rassias MSC: 37J35 37K10 35Q51 PDFBibTeX XML
Kasper, Robert T.; Rounds, William C. The logic of unification in grammar. (English) Zbl 0715.03014 Linguist. Philos. 13, No. 1, 35-58 (1990). Reviewer: Z.Stachniak MSC: 03B65 68Q42 PDFBibTeX XMLCite \textit{R. T. Kasper} and \textit{W. C. Rounds}, Linguist. Philos. 13, No. 1, 35--58 (1990; Zbl 0715.03014) Full Text: DOI
Chassin de Kergommeaux, J.; Robert, P. An abstract machine to implement or-and parallel PROLOG efficiently. (English) Zbl 0713.68015 J. Logic Program. 8, No. 3, 249-264 (1990). Reviewer: Y.M.El-Fattah MSC: 68N17 PDFBibTeX XMLCite \textit{J. Chassin de Kergommeaux} and \textit{P. Robert}, J. Log. Program. 8, No. 3, 249--264 (1990; Zbl 0713.68015) Full Text: DOI
Nipkow, Tobias Unification in primal algebras, their powers and their varieties. (English) Zbl 0711.68092 J. Assoc. Comput. Mach. 37, No. 4, 742-776 (1990). MSC: 68T15 68W10 03G05 03B35 68W30 PDFBibTeX XMLCite \textit{T. Nipkow}, J. Assoc. Comput. Mach. 37, No. 4, 742--776 (1990; Zbl 0711.68092) Full Text: DOI
Gallier, Jean; Narendran, Paliath; Plaisted, David; Snyder, Wayne Rigid E-unification: NP-completeness and applications to equational matings. (English) Zbl 0709.68080 Inf. Comput. 87, No. 1-2, 129-195 (1990). Reviewer: M.Armbrust MSC: 68T15 68Q25 03B35 PDFBibTeX XMLCite \textit{J. Gallier} et al., Inf. Comput. 87, No. 1--2, 129--195 (1990; Zbl 0709.68080) Full Text: DOI
Lee, Newton S. A computational paradigm that integrates rule-based and model-based reasoning in expert systems. (English) Zbl 0706.68085 Int. J. Intell. Syst. 5, No. 2, 135-151 (1990). MSC: 68T15 68T35 68T20 PDFBibTeX XMLCite \textit{N. S. Lee}, Int. J. Intell. Syst. 5, No. 2, 135--151 (1990; Zbl 0706.68085) Full Text: DOI
Siekmann, J. H. Introduction to unification theory. (English) Zbl 0704.68096 Formal techniques in artificial intelligence, Stud. Comput. Sci. Artif. Intell. 6, 369-424 (1990). Reviewer: N.Curteanu MSC: 68T15 68W30 PDFBibTeX XML
Burris, Stanley; Lawrence, John Unification in commutative rings is not finitary. (English) Zbl 0703.68085 Inf. Process. Lett. 36, No. 1, 37-38 (1990). MSC: 68T15 68W30 PDFBibTeX XMLCite \textit{S. Burris} and \textit{J. Lawrence}, Inf. Process. Lett. 36, No. 1, 37--38 (1990; Zbl 0703.68085) Full Text: DOI
Fuh, Youchin; Mishra, Prateek Type inference with subtypes. (English) Zbl 0701.68012 Theor. Comput. Sci. 73, No. 2, 155-175 (1990). MSC: 68N01 68W30 PDFBibTeX XMLCite \textit{Y. Fuh} and \textit{P. Mishra}, Theor. Comput. Sci. 73, No. 2, 155--175 (1990; Zbl 0701.68012) Full Text: DOI
Roach, J. W.; Sundararajan, R.; Watson, L. T. Replacing unification by constraint satisfaction to improve logic program expressiveness. (English) Zbl 0698.68082 J. Autom. Reasoning 6, No. 1, 51-75 (1990). MSC: 68T15 68W30 PDFBibTeX XMLCite \textit{J. W. Roach} et al., J. Autom. Reasoning 6, No. 1, 51--75 (1990; Zbl 0698.68082) Full Text: DOI
Staples, John; Robinson, Peter J. Structure sharing for quantified terms: Fundamentals. (English) Zbl 0697.68053 J. Autom. Reasoning 6, No. 2, 115-145 (1990). MSC: 68W30 68T15 PDFBibTeX XMLCite \textit{J. Staples} and \textit{P. J. Robinson}, J. Autom. Reasoning 6, No. 2, 115--145 (1990; Zbl 0697.68053) Full Text: DOI
Jaffar, Joxan Minimal and complete word unification. (English) Zbl 0697.68052 J. Assoc. Comput. Mach. 37, No. 1, 47-85 (1990). MSC: 68W30 03D40 08A50 68Q45 PDFBibTeX XMLCite \textit{J. Jaffar}, J. Assoc. Comput. Mach. 37, No. 1, 47--85 (1990; Zbl 0697.68052) Full Text: DOI
Lazrek, Azeddine; Lescanne, Pierre; Thiel, Jean-Jacques Tools for proving inductive equalities, relative completeness, and \(\omega\)-completeness. (English) Zbl 0691.68026 Inf. Comput. 84, No. 1, 47-70 (1990). MSC: 68Q65 68T15 68W30 68Q60 68P05 68N01 03D03 PDFBibTeX XMLCite \textit{A. Lazrek} et al., Inf. Comput. 84, No. 1, 47--70 (1990; Zbl 0691.68026) Full Text: DOI
Szpankowski, Wojciech; Rego, Vernon Yet another application of a binomial recurrence. Order statistics. (English) Zbl 0686.62008 Computing 43, No. 4, 401-410 (1990). MSC: 62E15 65C99 62G30 62E20 PDFBibTeX XMLCite \textit{W. Szpankowski} and \textit{V. Rego}, Computing 43, No. 4, 401--410 (1990; Zbl 0686.62008) Full Text: DOI
Greshilov, A. A. Analysis and synthesis of stochastic systems. Parametric models and confluence analysis. (Analiz i sintez stokhasticheskikh sistem. Parametricheskie modeli i konflyuentnyj analiz.) (Russian) Zbl 0785.93035 Moskva: Radio i Svyaz’. 320 p. (1990). Reviewer: H.Pragarauskas (Vilnius) MSC: 93B50 93-02 93E10 93E12 PDFBibTeX XMLCite \textit{A. A. Greshilov}, Analiz i sintez stokhasticheskikh sistem. Parametricheskie modeli i konflyuentnyj analiz (Russian). Moskva: Radio i Svyaz' (1990; Zbl 0785.93035)
Martelli, Alberto; Rossi, Gianfranco Stepwise development of an algorithm for unification over infinite terms. (English) Zbl 0741.68031 Comput. Artif. Intell. 9, No. 3, 209-239 (1990). MSC: 68N17 68T15 PDFBibTeX XMLCite \textit{A. Martelli} and \textit{G. Rossi}, Comput. Artif. Intell. 9, No. 3, 209--239 (1990; Zbl 0741.68031)
Rayski, Jerzy Essays on physical ideas. (English) Zbl 0746.70010 Zesz. Nauk. Uniw. Jagielloń. 981, Pr. Fiz. 30, 135 p. (1990). Reviewer: M.-C.Anisiu (Cluj-Napoca) MSC: 70Hxx 81P10 83A05 83C10 83C47 PDFBibTeX XMLCite \textit{J. Rayski}, Zesz. Nauk. Uniw. Jagielloń. [...], Pr. Fiz. 981(30), 135 p. (1990; Zbl 0746.70010)
Manna, Zohar; Waldinger, Richard The logical basis for computer programming. Volume II: Deductive systems. (English) Zbl 0698.68001 Addison-Wesley Series in Computer Science. Reading, MA: Addison-Wesley. xiii, 642 p. (1990). Reviewer: P.Štěpánek MSC: 68-01 03-01 68T15 PDFBibTeX XMLCite \textit{Z. Manna} and \textit{R. Waldinger}, The logical basis for computer programming. Volume II: Deductive systems. Reading, MA: Addison-Wesley (1990; Zbl 0698.68001)
Salzer, Gernot Deductive generalization for clause logic. (English) Zbl 0735.03003 Jahrbuch 1989 der Kurt-Gödel-Gesellschaft, Proc. 1st Kurt-Gödel- Colloq., Salzburg/Austria 1989, 47-59 (1990). MSC: 03B35 PDFBibTeX XMLCite \textit{G. Salzer}, in: Mind brain machine. . 47--59 (1990; Zbl 0735.03003)
Tiuryn, Jerzy Type inference problems: A survey. (English) Zbl 0745.03013 Mathematical foundations of computer science, Proc. 15th Symp., MFCS ’90, Banská Bystrica/Czech. 1990, Lect. Notes Comput. Sci. 452, 105-120 (1990). Reviewer: C.Berline MSC: 03B40 68Q60 03B70 PDFBibTeX XMLCite \textit{J. Tiuryn}, Lect. Notes Comput. Sci. None, 105--120 (1990; Zbl 0745.03013)
Kuchen, Herbert; Loogen, Rita; Moreno-Navarro, Juan José; Rodríguez-Artalejo, Mario Graph-based implementation of a functional logic language. (English) Zbl 0765.68021 ESOP’90, Proc. 3rd Eur. Symp., Copenhagen/Denmark 1990, Lect. Notes Comput. Sci. 432, 271-290 (1990). MSC: 68N20 68N15 PDFBibTeX XMLCite \textit{H. Kuchen} et al., Lect. Notes Comput. Sci. 432, 271--290 (1990; Zbl 0765.68021)
Grimshaw, Scott D. A unification of tail estimators. (English) Zbl 0738.62025 Commun. Stat., Theory Methods 19, No. 12, 4841-4857 (1990). MSC: 62F12 62G20 PDFBibTeX XMLCite \textit{S. D. Grimshaw}, Commun. Stat., Theory Methods 19, No. 12, 4841--4857 (1990; Zbl 0738.62025) Full Text: DOI
Kfoury, A. J.; Tiuryn, J.; Urzyczyn, P. ML typability is DEXPTIME-complete. (English) Zbl 0760.68035 CAAP’90, Proc. 15th Colloq., Copenhagen/Denmark 1990, Lect. Notes Comput. Sci. 431, 206-220 (1990). MSC: 68Q25 68N15 PDFBibTeX XMLCite \textit{A. J. Kfoury} et al., Lect. Notes Comput. Sci. 431, 206--220 (1990; Zbl 0760.68035)
Ferrari, Gian Luigi; Montanari, Ugo Towards the unification of models for concurrency. (English) Zbl 0758.68027 CAAP’90, Proc. 15th Colloq., Copenhagen/Denmark 1990, Lect. Notes Comput. Sci. 431, 162-176 (1990). MSC: 68Q10 18A25 68Q85 18A40 18C10 PDFBibTeX XMLCite \textit{G. L. Ferrari} and \textit{U. Montanari}, Lect. Notes Comput. Sci. 431, 162--176 (1990; Zbl 0758.68027)
Bellia, M.; Bugliesi, M.; Occhiuto, M. E. Combinatory forms for equational programming: Instances, unification and narrowing. (English) Zbl 0758.68022 CAAP’90, Proc. 15th Colloq., Copenhagen/Denmark 1990, Lect. Notes Comput. Sci. 431, 42-56 (1990). MSC: 68N17 68Q42 PDFBibTeX XMLCite \textit{M. Bellia} et al., Lect. Notes Comput. Sci. 431, 42--56 (1990; Zbl 0758.68022)