Streaming af e- og lydbøger 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% fra forlagets pris Du sparer 34% fra forlagets pris
Conditional Term Rewriting Systems : Third International Workshop, CTRS-92, Pont-a-Mousson, France, July 8-10, 1992. Proceedings
  • Forlagets pris kr. 1.159,95
  • Leveringstid 5-9 hverdage
  • Forventet levering 02-08-2018
Bog, hæftet (kr. 764,95) (kr. 764,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
    Højde:
    27 mm
    Bredde:
    156 mm
    Længde:
    234 mm
    Forlag:
    Springer
    Mærkat:
    Bog, hæftet
    Format:
    Hæftet
  3. Anmeldelser

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

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.