Algebraic and logic programming : second international conference, Nancy, France, October 1-3, 1990 : proceedings /
Saved in:
Corporate Authors: | , , |
---|---|
Other Authors: | , , |
Format: | Conference Proceeding Book |
Language: | English |
Published: |
Berlin ; New York :
Springer-Verlag,
©1990
|
Series: | Lecture notes in computer science ;
463 |
Subjects: | |
Tags: |
Add Tag
No Tags, Be the first to tag this record!
|
LEADER | 07602nam a2201117Ki 4500 | ||
---|---|---|---|
001 | e8844e33-ac4e-4dc2-9632-5dcd5135d21c | ||
005 | 20230802000000.0 | ||
008 | 120812s1990 gw a ob 100 0 eng d | ||
019 | |a 150398764 |a 321260741 | ||
020 | |a 3540467386 |q (electronic bk.) | ||
020 | |a 9783540467380 |q (electronic bk.) | ||
020 | |z 0387531629 |q (U.S.) | ||
020 | |z 3540531629 |q (Springer-Verlag Berlin Heidelberg New York) | ||
020 | |z 9780387531625 |q (U.S.) | ||
020 | |z 9783540531623 |q (Springer-Verlag Berlin Heidelberg New York) | ||
035 | |a (OCoLC)805896025 |z (OCoLC)150398764 |z (OCoLC)321260741 |z (OCoLC)1244212249 | ||
035 | |a (OCoLC)805896025 |z (OCoLC)150398764 |z (OCoLC)321260741 | ||
040 | |a OCLCE |b eng |e pn |c OCLCE |d OCLCO |d OCLCQ |d NLGGC |d CUSER |d C$Q |d OCLCQ |d GW5XE |d OCLCF |d GW5XE |d OCLCQ |d ITD |d OCL |d OCLCO |d OCLCQ |d OCLCO |d OCL |d OCLCO |d OCLCQ |d ESU |d OCLCQ |d OCLCO |d OCLCA |d OCLCQ |d OCLCA |d INARC |d OCLCO |d OCLCQ |d CSt | ||
040 | |a OCLCE |b eng |e pn |c OCLCE |d OCLCO |d OCLCQ |d NLGGC |d CUSER |d C$Q |d OCLCQ |d GW5XE |d OCLCF |d GW5XE |d OCLCQ |d ITD |d OCL |d OCLCO |d OCLCQ |d OCLCO |d OCL |d OCLCO |d OCLCQ | ||
042 | |a dlr | ||
049 | |a MAIN | ||
050 | 4 | |a QA76.6 |b .A4584 1990 | |
082 | 0 | 4 | |a 006.3 |2 20 |
084 | |a *68-06 |2 msc | ||
084 | |a 08A70 |2 msc | ||
084 | |a 18A99 |2 msc | ||
084 | |a 54.51 |2 bcl | ||
084 | |a 68N01 |2 msc | ||
084 | |a 68N17 |2 msc | ||
084 | |a 68Q42 |2 msc | ||
084 | |a DAT 706f |2 stub | ||
084 | |a SS 4800 |2 rvk | ||
245 | 0 | 0 | |a Algebraic and logic programming : |b second international conference, Nancy, France, October 1-3, 1990 : proceedings / |c H. Kirchner, W. Wechler, eds |
264 | 1 | |a Berlin ; |a New York : |b Springer-Verlag, |c ©1990 | |
300 | |a 1 online resource (vii, 386 pages) : |b illustrations | ||
336 | |a text |b txt |2 rdacontent | ||
337 | |a computer |b c |2 rdamedia | ||
338 | |a online resource |b cr |2 rdacarrier | ||
490 | 1 | |a Lecture notes in computer science ; |v 463 | |
500 | |a "Proceedings of the Second International Conference on Algebraic and Logic Programming ... organized by CRIN and INRIA-Lorraine"--Foreword | ||
504 | |a Includes bibliographical references | ||
505 | 0 | |a Proving and rewriting -- Proving correctness w.r.t. specifications with hidden parts -- Hybrid implementations of algebraic specifications -- Multi-modal logic programming using equational and order-sorted logic -- Logic programs with equational type specifications -- Higher-order order-sorted algebras -- Axiomatization of a functional logic language -- Fourier algorithm revisited -- Fixpoint techniques for non-monotone maps -- Domain theory for nonmonotonic functions -- On the strong completion of logic programs -- An equivalence preserving first order unfold/fold transformation system -- Propositional calculus problems in CHIP -- Unfolding and fixpoint semantics of concurrent constraint logic programs -- Eliminating negation from normal logic programs -- On logic programming interpretations of Dislog: Programming long-distance dependencies in logic -- Recursive query processing in predicate-goal graph -- Implementation of completion by transition rules + control: ORME -- A matching process modulo a theory of categorical products -- Equation solving in conditional AC-theories -- Lazy narrowing in a graph machine -- An abstract concurrent machine for rewriting -- Applying term rewriting methods to finite groups -- Termination proofs by multiset path orderings imply primitive recursive derivation lengths -- Optimization of rewriting and complexity of rewriting -- AC-Termination of rewrite systems: A modified Knuth-Bendix ordering | |
506 | |3 Use copy |f Restrictions unspecified |2 star |5 MiAaHDL | ||
533 | |a Electronic reproduction |b [Place of publication not identified] : |c HathiTrust Digital Library, |d 2012. |5 MiAaHDL | ||
533 | |a Electronic reproduction |b [S.l.] : |c HathiTrust Digital Library, |d 2011. |5 MiAaHDL | ||
538 | |a Master and use copy. Digital master created according to Benchmark for Faithful Digital Reproductions of Monographs and Serials, Version 1. Digital Library Federation, December 2002 |u http://purl.oclc.org/DLF/benchrepro0212 |5 MiAaHDL | ||
538 | |a Master and use copy. Digital master created according to Benchmark for Faithful Digital Reproductions of Monographs and Serials, Version 1. Digital Library Federation, December 2002. |u http://purl.oclc.org/DLF/benchrepro0212 |5 MiAaHDL | ||
583 | 1 | |a digitized |c 2011 |h HathiTrust Digital Library |l committed to preserve |2 pda |5 MiAaHDL | |
583 | 1 | |a digitized |c 2011 |h HathiTrust Digital Library |l committed to preserve |2 pda |5 MiAaHDL | |
583 | 1 | |a digitized |c 2012 |h HathiTrust Digital Library |l committed to preserve |2 pda |5 MiAaHDL | |
588 | 0 | |a Print version record | |
596 | |a 22 | ||
650 | 0 | |a Algebraic logic |v Congresses | |
650 | 0 | |a Logic programming |v Congresses | |
650 | 4 | |a concurrence | |
650 | 4 | |a programmation algébrique | |
650 | 4 | |a programmation en logique | |
650 | 4 | |a programmation sous contrainte | |
650 | 4 | |a réécriture | |
650 | 4 | |a voisinage | |
650 | 6 | |a Logique algébrique |x Congrès | |
650 | 6 | |a Logique algébrique |x Congrès | |
650 | 6 | |a Programmation logique |v Congrès | |
650 | 6 | |a Programmation logique |v Congrès | |
650 | 7 | |a Algebra |2 gnd | |
650 | 7 | |a Algebra |x Data processing |v Congresses |2 nli | |
650 | 7 | |a Algebraic logic |2 fast | |
650 | 7 | |a Algebraic logic |v Congresses |2 nli | |
650 | 7 | |a Algebraische Spezifikation |2 gnd | |
650 | 7 | |a Logic programming |2 fast | |
650 | 7 | |a Logic programming |v Congresses |2 nli | |
650 | 7 | |a Logische Programmierung |2 gnd | |
650 | 7 | |a Programmation logique |x Congrès |2 ram | |
650 | 7 | |a Programmation logique |x Congrès |2 ram | |
650 | 7 | |a Programmierung |2 gnd | |
650 | 0 | 7 | |a Algebra |2 swd |
650 | 0 | 7 | |a Algebraische Spezifikation |2 swd |
650 | 0 | 7 | |a Logische Programmierung |2 swd |
650 | 0 | 7 | |a Programmierung |2 swd |
655 | 4 | |a Electronic resources (Books) | |
655 | 7 | |a Conference papers and proceedings |2 fast | |
700 | 1 | |a Kirchner, H |q (Hélène) |1 http://viaf.org/viaf/27156885 | |
700 | 1 | |a Kirchner, H |q (Hélène) | |
700 | 1 | |a Wechler, Wolfgang |1 http://viaf.org/viaf/262330686 | |
700 | 1 | |a Wechler, Wolfgang | |
710 | 2 | |a Centre national de la recherche scientifique (France) |1 http://viaf.org/viaf/131080861 | |
710 | 2 | |a Centre national de la recherche scientifique (France) | |
710 | 2 | |a Institut national de recherche en informatique et en automatique (France) |1 http://viaf.org/viaf/135918951 | |
710 | 2 | |a Institut national de recherche en informatique et en automatique (France) | |
711 | 2 | |a International Conference on Algebraic and Logic Programming |n (2nd : |d 1990 : |c Nancy, France) | |
711 | 2 | |a International Conference on Algebraic and Logic Programming |n (2nd : |d 1990 : |c Nancy, France) |1 http://viaf.org/viaf/286978932 | |
776 | 0 | 8 | |i Print version: |t Algebraic and logic programming |d Berlin ; New York : Springer-Verlag, ©1990 |w (DLC) 90010325 |w (OCoLC)22389519 |
830 | 0 | |a Lecture notes in computer science ; |v 463 | |
999 | 1 | 0 | |i e8844e33-ac4e-4dc2-9632-5dcd5135d21c |l a13353611 |s US-CST |m algebraic_and_logic_programmingsecond_international_conference_nancy_f_____1990_______sprina___________________________________________________________________________e |
999 | 1 | 0 | |i e8844e33-ac4e-4dc2-9632-5dcd5135d21c |l 11077205 |s US-ICU |m algebraic_and_logic_programmingsecond_international_conference_nancy_f_____1990_______sprina___________________________________________________________________________e |
999 | 1 | 1 | |l a13353611 |s ISIL:US-CST |t BKS |a SUL INTERNET |b 13353611-1001 |c INTERNET RESOURCE |d ASIS |x SUL |y 13353611-1001 |p UNLOANABLE |