"Proceedings of the Sixth International Conference on Algebra and Logic Programming (ALP '97) and the Third International Workshop on Higher-Order Algebra, Logic, and Term Rewriting (HOA '97), held in Southampton (Great Britain) during September 3-5, 1997"--Preface
Includes bibliographical references and index
Safe folding/unfolding with conditional narrowing / M. Alpuente [and others] -- Optimal non-deterministic functional logic computations / S. Antoy -- A semantic basis for termination analysis of logic programs and its realization using symbolic norm constraints / M. Codish and C. Taboch -- Parallelizing functional programs by generalization / A. Geser and S. Gorlatch -- Higher-order equational unification via explicit substitutions / C. Kirchner and C. Ringeissen -- Parameterised higher-order algebraic specifications / L.J. Steggles -- Higher-order lazy narrowing calculus : a computation model for a higher-order functional logic language / T. Suzuki, K. Nakagawa and T. Ida -- On composable properties of term rewriting systems / T. Aoto and Y. Toyama -- Needed reductions with context-sensitive rewriting / S. Lucas -- Conditional term graph rewriting / E. Ohlebusch -- Lazy narrowing with parametric order sorted types / J.M. Almendros-Jiminez and A. Gil-Luezas -- Termination of algebraic type systems : the syntactic approach / G. Barthe and F. van Raamsdonk -- Proof net semantics of proof search computation / L. Caires and L. Monteiro -- Explicit substitions for the [delta] [gamma] calculus / G. Barthe, F. Kamareddine and A. Rios -- A left-linear variant of [gamma] [delta] / A. Cesar and H. Munoz -- Perpetuality and uniform normalization / Z. Khasidashvili and M. Ogawa -- Model generation with existentially quantified variables and constraints / S. Abdennadher and H. Schutz -- Optimal left-to-right pattern-matching automata / N. Nedjah, C.D. Walter and S.E. Eldridge
Access-restricted-item
true
Addeddate
2018-06-26 13:55:29
Associated-names
Hanus, Michael; Heering, J; Meinke, K. (Karl); International Conference on Algebraic and Logic Programming (6th : 1997 : Southampton, England); International Workshop on Higher-Order Algebra, Logic, and Term Rewriting (3rd : 1997 : Southampton, England)
