• 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. Systemvetenskap och AI

      CAAP '92

      17th Colloquium on Trees in Algebra and Programming Rennes, France, February 26-28, 1992. Proceedings

      AvJean-Claude Raoult

      Häftad, Engelska, 1992

      Del i serien Lecture Notes in Computer Science

      566 kr

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

      Beskrivning

      This volume contains selected papers presented at theseventeenth Colloquiumon Trees in Algebra and Programming(CAAP) held jointly with the European Symposium onProgramming (ESOP) in Rennes, France, February 26-28, 1992(the proceedings of ESOP appear in LNCS 582). The previouscolloquia were held in France, Italy, Germany, Spain,Denmark and England. Every even year, as in 1992, CAAP isheld jointly with ESOP; every other year, it is part ofTAPSOFT (Theory And Practice of SOFTware development). Inthe beginning, CAAP was devoted to algebraic andcombinatorial properties of trees and their role in variousfields of computer science. The scope of CAAP has now beenextended to other discrete structures, like graphs,equations and transformations of graphs, and their linkswith logical theories. The programme committee received 40submissions, from which 19 papers have been selected forinclusion inthis volume.

      Produktinformation

      • Utgivningsdatum:1992-02-19
      • Mått:155 x 235 x 21 mm
      • Vikt:569 g
      • Format:Häftad
      • Språk:Engelska
      • Serie:Lecture Notes in Computer Science
      • Antal sidor:491
      • Upplaga:1992
      • Förlag:Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
      • ISBN:9783540552512

      Utforska kategorier

      • Systemvetenskap och AI inom Data och IT
      • Programvaruutveckling inom Data och IT

      Innehållsförteckning

      • A constructive valuation interpretation for classical logic and its use in witness extraction.- Varieties of increasing trees.- Origin functions in ?-calculus and term rewriting systems.- An algebraic approach to the interpretation of recursive types.- Decidability of reachability and disjoint union of term rewriting systems.- A complete type inference algorithm for simple intersection types.- Monadic second-order definable graph transductions.- CTL* and ECTL* as fragments of the modal ?-calculus.- Power domains supporting recursion and failure.- Parallel contraction of fibonacci trees and prefix computations on a family of interconnection topologies.- Must preorder in non-deterministic untyped ?-calculus.- A programming language for deriving hypergraphs.- Graph grammars as context-dependent rewriting systems: A partial ordering semantics.- Empty stack Pushdown ?-tree automata.- Modulo counting quantifiers over finite trees.- Finite tree automata with cost functions.- Partial type assignment in left linear applicative term rewriting systems.- A linear algorithm for solving fixed-point equations on transition systems.- Beyond conditional equations.
      Hoppa över listan

      Du kanske också är intresserad av

      George W. Albee, Lynne A. Bond, Toni  V C Monsey - Improving Children's Lives, Inbunden
      Del 14

      Improving Children's Lives

      George W. Albee, Lynne A. Bond, Toni V C Monsey

      Inbunden, 1992

      3 985 kr

      Katherine Frank - A Chainless Soul: A Life of Emily Bronte, Häftad

      A Chainless Soul: A Life of Emily Bronte

      Katherine Frank

      Häftad, 1992

      275 kr

      Bertolt Brecht - Bertolt Brecht: His Life, His Art and His Times, Häftad

      Bertolt Brecht: His Life, His Art and His Times

      Bertolt Brecht

      Häftad, 1992

      374 kr

      Dietmar Köppe - CAQ-Datenmodell, Häftad

      CAQ-Datenmodell

      Dietmar Köppe

      Häftad, 1992

      513 kr

      Heinrich R. Schunk - Laser für die Oberflächenbehandlung, Häftad

      Laser für die Oberflächenbehandlung

      Heinrich R. Schunk

      Häftad, 1992

      513 kr

      Michael Casimir, Aparnu Rao - Mobility and Territoriality, Inbunden

      Mobility and Territoriality

      Michael Casimir, Aparnu Rao

      Inbunden, 1992

      2 455 kr

      Kathleen Burk, Alec Cairncross - Goodbye, Great Britain, Inbunden

      Goodbye, Great Britain

      Kathleen Burk, Alec Cairncross

      Inbunden, 1992

      856 kr

      Alister E. McGrath - The Understanding Doctrine: Its Relevance and Purpose for Today, Häftad

      The Understanding Doctrine: Its Relevance and Purpose for Today

      Alister E. McGrath

      Häftad, 1992

      203 kr

      Ian Summers, Suzanne C. Summers, Ian R. Summers - Tactile Aids for the Hearing Impaired, Häftad

      Tactile Aids for the Hearing Impaired

      Ian Summers, Suzanne C. Summers, Ian R. Summers

      Häftad, 1992

      1 593 kr

      David Crystal - Profiling Linguistic Disability, Häftad

      Profiling Linguistic Disability

      David Crystal

      Häftad, 1992

      1 038 kr