• Fri frakt över 249 kr
  • •
  • Snabba leveranser
  • •
  • Billiga böcker
Kundservice

Du är på sajten för privatpersoner.

Företag, bibliotek eller offentlig verksamhet?

Du handlar på classic.bokus.com, där alla dina funktioner finns intakta.
Till classic.bokus.com
Bokus logotyp. Gå till startsidan.
  • Erbjudanden
  • Nyheter
  • Student
  • Topplistor
  • Barn & ungdom
  • Bokus Play
  • E-böcker
  • Pocketböcker
  • Spel & pussel

Upp till 20% på populära nyheter →

Sidfot

Mina sidor

    Hjälp

    • Kundservice
    • Vanliga frågor och svar
    • Frakt och leverans
    • Retur vid ångerrätt
    • Reklamera vara
    • Betalning
    • Köpvillkor
    • Allmänna villkor
    • Information om webbplatsens tillgänglighet

    Om Bokus

    • Om oss
    • Pressrum
    • För studenter
    • För företag
    • För bibliotek och offentlig verksamhet
    • För leverantörer
    • Hållbarhet

    Populärt

    • Aktuella erbjudanden
    • Presentkort
    • Studentlitteratur
    • Nya böcker
    • Topplistor
    • Signerade böcker
    • Engelska böcker

    Inspiration

    • Boktips
    • BookTok
    • Populära bokserier
    • Barnbokskaraktärer
    • Populära författare

    Mina sidor

      Hjälp

      • Kundservice
      • Vanliga frågor och svar
      • Frakt och leverans
      • Retur vid ångerrätt
      • Reklamera vara
      • Betalning
      • Köpvillkor
      • Allmänna villkor
      • Information om webbplatsens tillgänglighet

      Om Bokus

      • Om oss
      • Pressrum
      • För studenter
      • För företag
      • För bibliotek och offentlig verksamhet
      • För leverantörer
      • Hållbarhet

      Populärt

      • Aktuella erbjudanden
      • Presentkort
      • Studentlitteratur
      • Nya böcker
      • Topplistor
      • Signerade böcker
      • Engelska böcker

      Inspiration

      • Boktips
      • BookTok
      • Populära bokserier
      • Barnbokskaraktärer
      • Populära författare
      Logotyp för Bokus
      Följ oss på Facebook (extern länk)Följ oss på Instagram (extern länk)Följ oss på YouTube (extern länk)Följ oss på TikTok (extern länk)
      bokus @ CookiesIntegritetspolicyKöpvillkor
      Till Citymail hemsida (extern länk)Till Budbee hemsida (extern länk)Till Postnord hemsida (extern länk)Till Schenker hemsida (extern länk)Till Early Bird hemsida (extern länk)Till Walleys hemsida (extern länk)
      1. Data och IT
      2. Programmeringsböcker

      Rewriting Techniques and Applications

      15th International Conference, RTA 2004, Aachen, Germany, June 3-5, 2004, Proceedings

      AvVincent van Oostrom

      Häftad, Engelska, 2004

      Del i serien Lecture Notes in Computer Science

      577 kr

      Beställningsvara. Skickas inom 10-15 vardagar. Fri frakt över 249 kr.

      Beskrivning

      This volume contains the proceedings of the 15th International Conference on Rewriting Techniques and Applications (RTA 2004), which was held June 2- 5, 2004, at the RWTH Aachen in Germany. RTA is the major forum for the presentation of research on all aspects of rewriting. Previous RTA conferences took place in Dijon (1985), Bordeaux (1987), Chapel Hill (1989), Como (1991), Montreal (1993), Kaiserslautern (1995), Rutgers (1996), Sitges (1997), Tsukuba (1998), Trento (1999), Norwich (2000), Utrecht (2001), Copenhagen (2002), and Valencia (2003). The program committee selected 19 papers for presentation, including ?ve system descriptions, from a total of 43 submissions. In addition, there were invited talks by Neil Jones, Aart Middeldorp, and Robin Milner. Many people helped to make RTA 2004 a success. I am grateful to the m- bers of the program committee and the external referees for reviewing the s- missionsandmaintainingthehighstandardsoftheRTAconferences. Itisagreat pleasure to thank the conference chair Jurgen .. Giesl and the other members of the local organizing committee.They were in charge of the local organization of all events partaking in the Federated Conference on Rewriting, Deduction, and Programming (RDP). Apart from RTA 2004, these events were: - 2nd International Workshop on Higher-Order Rewriting (Delia Kesner, Femke van Raamsdonk, and Joe Wells), - 5th International Workshop on Rule-Based Programming (Slim Abdennadher and Christophe Ringeissen), - 13thInternationalWorkshoponFunctionaland(Constraint)LogicProgr- ming (Herbert Kuchen), - IFIP Working Group 1.

      Produktinformation

      • Utgivningsdatum:2004-05-24
      • Mått:155 x 233 x 18 mm
      • Vikt:499 g
      • Format:Häftad
      • Språk:Engelska
      • Serie:Lecture Notes in Computer Science
      • Antal sidor:315
      • Upplaga:2004
      • Förlag:Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
      • ISBN:9783540221531

      Utforska kategorier

      • Programmeringsböcker inom Data och IT
      • Programspråk inom Data och IT

      Innehållsförteckning

      • Termination Analysis of the Untyped ?-Calculus.- A Type-Based Termination Criterion for Dependently-Typed Higher-Order Rewrite Systems.- Termination of S-Expression Rewriting Systems: Lexicographic Path Ordering for Higher-Order Terms.- Monadic Second-Order Unification Is NP-Complete.- A Certified AC Matching Algorithm.- Matchbox: A Tool for Match-Bounded String Rewriting.- TORPA: Termination of Rewriting Proved Automatically.- Querying Unranked Trees with Stepwise Tree Automata.- A Verification Technique Using Term Rewriting Systems and Abstract Interpretation.- Rewriting for Fitch Style Natural Deductions.- Efficient ?-Evaluation with Interaction Nets.- Proving Properties of Term Rewrite Systems via Logic Programs.- On the Modularity of Confluence in Infinitary Term Rewriting.- mu-term: A Tool for Proving Termination of Context-Sensitive Rewriting.- Automated Termination Proofs with AProVE.- An Approximation Based Approach to Infinitary Lambda Calculi.- Böhm-Like Trees for Term Rewriting Systems.- Dependency Pairs Revisited.- Inductive Theorems for Higher-Order Rewriting.- The Joinability and Unification Problems for Confluent Semi-constructor TRSs.- A Visual Environment for Developing Context-Sensitive Term Rewriting Systems.
      Hoppa över listan

      Du kanske också är intresserad av

      Roel de Vrijer, Femke van Raamsdonk, Vincent van Oostrom, Aart Middeldorp - Processes, Terms and Cycles: Steps on the Road to Infinity, E-bok

      Processes, Terms and Cycles: Steps on the Road to Infinity

      Roel de Vrijer, Femke van Raamsdonk, Vincent van Oostrom, Aart Middeldorp

      E-bok
      2005

      1 416 kr

      Aart Middeldorp, Vincent van Oostrom, Femke van Raamsdonk, Roel de Vrijer - Processes, Terms and Cycles: Steps on the Road to Infinity, Häftad

      Processes, Terms and Cycles: Steps on the Road to Infinity

      Aart Middeldorp, Vincent van Oostrom, Femke van Raamsdonk, Roel de Vrijer

      Häftad, 2005

      1 113 kr

      Vincent van Oostrom - Rewriting Techniques and Applications, E-bok

      Rewriting Techniques and Applications

      Vincent van Oostrom

      E-bok
      2004

      739 kr

      Vincent van Oostrom - Rewriting Techniques and Applications : 15th International Conference, RTA 2004, Aachen, Germany, June 3-5, 2004, Proceedings, Övrigt

      Rewriting Techniques and Applications : 15th International Conference, RTA 2004, Aachen, Germany, June 3-5, 2004, Proceedings

      Vincent van Oostrom

      672 kr

      Albert Visser, Vincent Van Oostrom, Jan Van Eijck - Logic Colloquium '99, E-bok

      Logic Colloquium '99

      Albert Visser, Vincent Van Oostrom, Jan Van Eijck

      E-bok
      2004

      864 kr

      Jan Van Eijck, Vincent Van Oostrom, Albert Visser - Logic Colloquium '99, Inbunden

      Logic Colloquium '99

      Jan Van Eijck, Vincent Van Oostrom, Albert Visser

      Inbunden, 2004

      904 kr

      Jan Van Eijck, Vincent Van Oostrom, Albert Visser - Logic Colloquium '99, Häftad

      Logic Colloquium '99

      Jan Van Eijck, Vincent Van Oostrom, Albert Visser

      Häftad, 2004

      736 kr

      Albert Visser, Vincent Van Oostrom, Jan Van Eijck - Logic Colloquium '99, E-bok

      Logic Colloquium '99

      Albert Visser, Vincent Van Oostrom, Jan Van Eijck

      E-bok

      877 kr

      Albert Visser, Vincent Van Oostrom, Jan Van Eijck - Logic Colloquium '99, E-bok

      Logic Colloquium '99

      Albert Visser, Vincent Van Oostrom, Jan Van Eijck

      E-bok
      2004

      855 kr

      Klara Peters Bastin - SIGNERAD - Om julens wälgång, Inbunden
      • Signerad!

      SIGNERAD - Om julens wälgång

      Klara Peters Bastin

      Inbunden, 2026

      249 kr