Læs og lyt til tusindvis af e- og lydbøger med Saxo Premium Stream e- og lydbøger Prøv gratis

Conditional Term Rewriting Systems : Third International Workshop, CTRS-92, Pont-a-Mousson, France, July 8-10, 1992. Proceedings

Du sparer 34% Du sparer 34%
Conditional Term Rewriting Systems : Third International Workshop, CTRS-92, Pont-a-Mousson, France, July 8-10, 1992. Proceedings
  • kr. 1.169,95
  • Leveringstid 5-7 hverdage
  • Forventet levering 01-10-2018
  • 34%
Bog, hæftet (kr. 774,95) (kr. 774,95)
  1. Beskrivelse

    This volume contains the papers preesented at the Third International Workshop on Conditional Term Rewriting Systems, held in Pont- -Mousson, France, July 8-10, 1992. Topics covered include conditional rewriting and its applications to programming languages, specification languages, automated deduction, constrained rewriting, typed rewriting, higher-order rewriting, and graph rewriting. The volume contains 40 papers, including four invited talks: Algebraic semantics of rewriting terms and types, by K. Meinke; Generic induction proofs, by P. Padawitz; Conditional term rewriting and first-order theorem proving, by D. Plaisted; and Decidability of finiteness properties (abstract), by L. Pacholski. The first CTRS workshop was held at the University of Paris in 1987 and the second at Concordia University, Montreal, in 1990. Their proceddings are published as Lecture Notes in Computer Science Volumes 308 and 516 respectively.

  2. Yderligere info
    Udgivelsesdato:
    01-01-1993
    Sprog:
    Engelsk
    ISBN13:
    9783540563938
    Sidetal:
    524
    Vægt:
    726 g
    Dybde:
    27 mm
    Bredde:
    156 mm
    Højde:
    234 mm
    Forlag:
    Springer
    Mærkat:
    Bog, hæftet
    Format:
    Hæftet
  3. Anmeldelser

Fandt du ikke hvad du søgte?

Hvis denne bog ikke er noget for dig, kan du benytte kategorierne nedenfor til at finde andre titler. Klik på en kategori for at se lignende bøger.