KI-Beratung Beta
Vor Ort
Merkzettel Warenkorb
  • Produktbild: Trees in Algebra and Programming - CAAP '96
  • Produktbild: Trees in Algebra and Programming - CAAP '96
Band 1059

Trees in Algebra and Programming - CAAP '96 21st International Colloquium, Linköping, Sweden, April 22-24, 1996. Proceedings

Aus der Reihe Lecture Notes in Computer Science

53,99 €

inkl. gesetzl. MwSt., Versandkostenfrei

Beschreibung

Produktdetails

Einband

Taschenbuch

Erscheinungsdatum

03.04.1996

Abbildungen

VIII, 336 p.

Herausgeber

Helene Kirchner

Verlag

Springer Berlin

Seitenzahl

336

Maße (L/B/H)

23,5/15,5/1,9 cm

Gewicht

528 g

Auflage

1996

Sprache

Englisch

ISBN

978-3-540-61064-9

Beschreibung

Produktdetails

Einband

Taschenbuch

Erscheinungsdatum

03.04.1996

Abbildungen

VIII, 336 p.

Herausgeber

Helene Kirchner

Verlag

Springer Berlin

Seitenzahl

336

Maße (L/B/H)

23,5/15,5/1,9 cm

Gewicht

528 g

Auflage

1996

Sprache

Englisch

ISBN

978-3-540-61064-9

Herstelleradresse

Springer-Verlag KG
Sachsenplatz 4-6
1201 Wien
AT

Email: ProductSafety@springernature.com

Ein neues Kapitel für Ihre Bücher

Ein neues Kapitel für Ihre Bücher

Schenken Sie Ihren alten Schätzen ein zweites Leben und erhalten Sie dafür eine Thalia Geschenkkarte.

Jetzt verkaufen
Jetzt verkaufen

Noch keine Bewertungen vorhanden

Verfassen Sie die erste Bewertung zu diesem Artikel

Helfen Sie anderen Kundinnen und Kunden durch Ihre Meinung.

Kundinnen und Kunden meinen

Bewertungen (0)

Weitere Artikel finden Sie in
  • Produktbild: Trees in Algebra and Programming - CAAP '96
  • Produktbild: Trees in Algebra and Programming - CAAP '96
  • Semantics of interaction.- The Kronecker product and local computations in graphs.- Iterative pairs and multitape automata.- Diophantine equations, Presburger arithmetic and finite automata.- A pumping lemma for output languages of macro tree transducers.- The area determined by underdiagonal lattice paths.- Extraction of concurrent processes from higher dimensional automata.- Axiomatising extended computation tree logic.- Final semantics for a higher order concurrent language.- The practice of logical frameworks.- Subsumption algorithms based on search trees.- Interaction nets and term rewriting systems (extended abstract).- Computing in unpredictable environments: Semantics, reduction strategies, and program transformations.- Relative normalization in Deterministic Residual Structures.- Termination by absence of infinite chains of dependency pairs.- Confluence without termination via parallel critical pairs.- An ordinal calculus for proving termination in term rewriting.- Behavioural satisfaction and equivalence in concrete model categories.- Open maps, behavioural equivalences, and congruences.- Denotational, causal, and operational determinism in event structures.- Effective longest and infinite reduction paths in untyped ?-calculi.- Full abstraction for lambda calculus with resources and convergence testing.- Untyped lambda-calculus with input-output.