Tools

LEADER 03534cam 2200385 a 4500

001 ocm35397838;

003 OCoLC;

005 20141212123431.0;

008 960829s1996 gw a b 101 0 eng ;

010 a| 96041750;

020 a| 3540617353 (alk. paper);

035 a| (Sirsi) o35397838;

035 a| (OCoLC)35397838;

049 a| EREE;

050 00 a| QA76.63b| .A36 1996;

082 00 a| 005.13/12| 20;

111 2 a| ALP '96d| (1996 :c| Aachen, Germany)?| UNAUTHORIZED;

245 10 a| Algebraic and logic programming :b| 5th international conference, ALP '96, Aachen, Germany, September 25-27, 1996 : proceedings /c| Michael Hanus, Mario Rodríguez-Artalejo, (eds.).;

300 a| viii, 344 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| 1139;

504 a| Includes bibliographical references and index.;

505 0 a| Toward the concurrent implementation of computational systems / Ilies Alouini and Claude Kirchner -- On negation as instantiation / Alessandra Di Pierro and Włodzimierz Drabent -- Independence in dynamically scheduled logic languages / María García de la Banda, Manuel Hermenegildo, and Kim Marriott -- Heterogeneous constraint solving / Frédéric Benhamou -- A hierarchy of semantics for normal constraint logic programs / François Fages and Roberta Gori -- Order-sorted termination : the unsorted way / Peter Csaba Ölveczky and Olav Lysne -- Unravelings and ultra-properties / Massimo Marchiori -- Standardization theorem revisited / Taro Suzuki -- Discrete normalization and standardization in deterministic residual structures / Zurab Khasidashvili and John Glauert -- A language for the logical specification of processes and relations / Luís Caires -- A process algebra for synchronous concurrent constraint programming / Luboš Brim ... [et al.] -- An algebraic approach to mixins and modularity / Davide Ancona and Elena Zucca -- A strict border for the decidability of E-unification for recursive functions / Heinz Fassbender and Sebastian Maneth -- Prime factorizations of abstract domains using first order logic / Elena Marchiori -- Abstraction of uniform proofs / Paolo Volpe -- Complementing logic program semantics / Roberto Giacobazzi and Francesco Ranzato -- Meaningless terms in rewriting / Richard Kennaway, Vincent van Oostrom, and Fer-Jan de Vries -- Unique normal form property of higher-order rewriting systems / Ken Mano and Mizuhito Ogawa -- [Lambda]-calculi with explicit substitutions and composition which preserve β-strong normalization (extended abstract) / Maria C.F. Ferreira, Delia Kesner, and Laurence Puel -- Algebraic semantics for functional logic programming with polymorphic order-sorted types / Jesús M. Almendros-Jiménez, Antonio Gavilanes-Franco, and Ana Gil-Luezas -- Specifying type systems ; The semantic treatment of polymorphic specification languages / Dieter Nazareth.;

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

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

700 1 a| Hanus, Michael.=| ^A386663;

700 1 a| Rodríguez Artalejo, M.q| (Mario)=| ^A358956;

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

596 a| 1;

998 a| 611690;

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

Algebraic and logic programming : 5th international conference, ALP '96, Aachen, Germany, September 25-27, 1996 : proceedings / Michael Hanus, Mario Rodríguez-Artalejo, (eds.).

Author/creator	ALP '96
Other author	Hanus, Michael.
Other author	Rodríguez Artalejo, M. (Mario)
Format	Book
Publication Info	Berlin ; New York : Springer, ©1996.
Description	viii, 344 pages : illustrations ; 24 cm.
Subjects	Logic programming--Congresses. Algebraic logic--Congresses.

Series	Lecture notes in computer science ; 1139 Lecture notes in computer science 1139. ^A466336
Contents	Toward the concurrent implementation of computational systems / Ilies Alouini and Claude Kirchner -- On negation as instantiation / Alessandra Di Pierro and Włodzimierz Drabent -- Independence in dynamically scheduled logic languages / María García de la Banda, Manuel Hermenegildo, and Kim Marriott -- Heterogeneous constraint solving / Frédéric Benhamou -- A hierarchy of semantics for normal constraint logic programs / François Fages and Roberta Gori -- Order-sorted termination : the unsorted way / Peter Csaba Ölveczky and Olav Lysne -- Unravelings and ultra-properties / Massimo Marchiori -- Standardization theorem revisited / Taro Suzuki -- Discrete normalization and standardization in deterministic residual structures / Zurab Khasidashvili and John Glauert -- A language for the logical specification of processes and relations / Luís Caires -- A process algebra for synchronous concurrent constraint programming / Luboš Brim ... [et al.] -- An algebraic approach to mixins and modularity / Davide Ancona and Elena Zucca -- A strict border for the decidability of E-unification for recursive functions / Heinz Fassbender and Sebastian Maneth -- Prime factorizations of abstract domains using first order logic / Elena Marchiori -- Abstraction of uniform proofs / Paolo Volpe -- Complementing logic program semantics / Roberto Giacobazzi and Francesco Ranzato -- Meaningless terms in rewriting / Richard Kennaway, Vincent van Oostrom, and Fer-Jan de Vries -- Unique normal form property of higher-order rewriting systems / Ken Mano and Mizuhito Ogawa -- [Lambda]-calculi with explicit substitutions and composition which preserve β-strong normalization (extended abstract) / Maria C.F. Ferreira, Delia Kesner, and Laurence Puel -- Algebraic semantics for functional logic programming with polymorphic order-sorted types / Jesús M. Almendros-Jiménez, Antonio Gavilanes-Franco, and Ana Gil-Luezas -- Specifying type systems ; The semantic treatment of polymorphic specification languages / Dieter Nazareth.
Bibliography note	Includes bibliographical references and index.
LCCN	96041750
ISBN	3540617353 (alk. paper)

Availability

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

Algebraic and logic programming : 5th international conference, ALP '96, Aachen, Germany, September 25-27, 1996 : proceedings / Michael Hanus, Mario Rodríguez-Artalejo, (eds.).

Click here for more information about this title

Availability