Data Portal @ linkeddatafragments.org

Matches in Harvard for { <http://id.lib.harvard.edu/aleph/007717404/catalog> ?p ?o. }

• catalog abstract "This book constitutes the refereed proceedings of the 6th International Conference on Algebraic and Logic Programming, ALP '97 and the 3rd International Workshop on Higher-Order Algebra, Logic and Term Rewriting, HOA '97, held jointly in Southampton, UK, in September 1997. The 18 revised full papers presented in the book were selected from 31 submissions. The volume is divided in sections on functional and logic programming, higher-order methods, term rewriting, types, lambda-calculus, and theorem proving methods.".
• catalog contributor b10669913.
• catalog contributor b10669914.
• catalog contributor b10669915.
• catalog contributor b10669916.
• catalog contributor b10669917.
• catalog created "c1997.".
• catalog date "1997".
• catalog date "c1997.".
• catalog dateCopyrighted "c1997.".
• catalog description "Includes bibliographical references and index.".
• catalog description "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-Jiminéz 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. Ríos -- A left-linear variant of [gamma] [delta] / A. César and H. Muñoz -- Perpetuality and uniform normalization / Z. Khasidashvili and M. Ogawa -- Model generation with existentially quantified variables and constraints / S. Abdennadher and H. Schütz -- Optimal left-to-right pattern-matching automata / N. Nedjah, C.D. Walter and S.E. Eldridge.".
• catalog description "This book constitutes the refereed proceedings of the 6th International Conference on Algebraic and Logic Programming, ALP '97 and the 3rd International Workshop on Higher-Order Algebra, Logic and Term Rewriting, HOA '97, held jointly in Southampton, UK, in September 1997. The 18 revised full papers presented in the book were selected from 31 submissions. The volume is divided in sections on functional and logic programming, higher-order methods, term rewriting, types, lambda-calculus, and theorem proving methods.".
• catalog extent "x, 286 p. :".
• catalog identifier "3540634592 (alk. paper)".
• catalog isPartOf "Lecture notes in computer science, 0302-9743 ; 1298".
• catalog issued "1997".
• catalog issued "c1997.".
• catalog language "eng".
• catalog publisher "Berlin ; New York : Springer-Verlag,".
• catalog subject "005.13/1 21".
• catalog subject "Algebraic logic Congresses.".
• catalog subject "Artificial intelligence.".
• catalog subject "Computer science.".
• catalog subject "Logic design.".
• catalog subject "Logic programming Congresses.".
• catalog subject "QA76.63 .A335 1997".
• catalog tableOfContents "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-Jiminéz 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. Ríos -- A left-linear variant of [gamma] [delta] / A. César and H. Muñoz -- Perpetuality and uniform normalization / Z. Khasidashvili and M. Ogawa -- Model generation with existentially quantified variables and constraints / S. Abdennadher and H. Schütz -- Optimal left-to-right pattern-matching automata / N. Nedjah, C.D. Walter and S.E. Eldridge.".
• catalog title "Algebraic and logic programming : 6th international joint conference, ALP '97-HOA '97, Southampton, UK, September 3-5, 1997 : proceedings / Michael Hanus, Jan Heering, Karl Meinke (eds.).".
• catalog type "Conference proceedings. fast".
• catalog type "Southampton (1997) swd".
• catalog type "text".