Tools

LEADER 03633cam a2200421 a 4500

001 ocm37465476;

003 OCoLC;

005 20141212125228.0;

008 970730s1997 gw a b 101 0 eng ;

010 a| 97030991;

020 a| 3540634592 (alk. paper);

035 a| (Sirsi) o37465476;

035 a| (OCoLC)37465476;

049 a| EREE;

050 00 a| QA76.63b| .A335 1997;

082 00 a| 005.13/12| 21;

245 00 a| Algebraic and logic programming :b| 6th international joint conference, ALP '97-HOA '97, Southampton, UK, September 3-5, 1997 : proceedings /c| Michael Hanus, Jan Heering, Karl Meinke (eds.).;

300 a| x, 286 pages :b| illustrations ;c| 24 cm.;

336 a| text2| rdacontent;

337 a| unmediated2| rdamedia;

338 a| volume2| rdacarrier;

490 1 a| Lecture notes in computer science ;v| 1298;

500 a| "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"--Pref.;

504 a| Includes bibliographical references and index.;

505 0 a| Safe folding/unfolding with conditional narrowing / M. Alpuente ... [et al.] -- 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.;

650 0 a| Logic programmingv| Congresses.=| ^A205684;

650 0 a| Algebraic logicv| Congresses.=| ^A62748;

700 1 a| Hanus, Michael,d| 1959-=| ^A398065;

700 1 a| Heering, J.=| ^A356986;

700 1 a| Meinke, K.q| (Karl)=| ^A358405;

711 2 a| International Conference on Algebraic and Logic Programmingn| (6th :d| 1997 :c| Southampton, England)?| UNAUTHORIZED;

711 2 a| International Workshop on Higher-Order Algebra, Logic, and Term Rewritingn| (3rd :d| 1997 :c| Southampton, England)?| UNAUTHORIZED;

830 0 a| Lecture notes in computer sciencev| 1298.=| ^A466336;

596 a| 1;

998 a| 628409;

999 a| QA76.63 .A335 1997w| LCc| 1i| 30372010007976d| 2/13/2013f| 2/13/2013g| 1l| JGESm| JOYNERr| Ys| Yt| JGESBKu| 4/2/1998x| BOOKz| JSTACKSo| .STAFF. 0;

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.).

Format	Book
Publication Info	Berlin ; New York : Springer-Verlag, ©1997.
Description	x, 286 pages : illustrations ; 24 cm.
Subjects	Logic programming--Congresses. Algebraic logic--Congresses.

Other author/creator	Hanus, Michael, 1959-
Other author/creator	Heering, J.
Other author/creator	Meinke, K. (Karl)
Other author/creator	International Conference on Algebraic and Logic Programming 1997 : Southampton, England) (6th :
Other author/creator	International Workshop on Higher-Order Algebra, Logic, and Term Rewriting 1997 : Southampton, England) (3rd :
Series	Lecture notes in computer science ; 1298 Lecture notes in computer science 1298. ^A466336
Contents	Safe folding/unfolding with conditional narrowing / M. Alpuente ... [et al.] -- 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.
General note	"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"--Pref.
Bibliography note	Includes bibliographical references and index.
LCCN	97030991
ISBN	3540634592 (alk. paper)

Availability

Library	Location	Call Number	Status	Item Actions
Joyner	General Stacks	QA76.63 .A335 1997	✔ Available	Place Hold

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.).

Click here for more information about this title

Availability