fachmedien.de - spezialisierte Fachinformationen für Studium und Beruf
fachmedien.de - spezialisierte Fachinformationen für Studium und Beruf
fachmedien.de - spezialisierte Fachinformationen für Studium und Beruf
fachmedien.de - spezialisierte Fachinformationen für Studium und Beruf
fachmedien.de - spezialisierte Fachinformationen für Studium und Beruf

Site Breadcrumb

Verkauf durch Sack Fachmedien

Pattinson / Schröder

Coalgebraic Methods in Computer Science

11th International Workshop, CMCS 2012, Colocated with ETAPS 2012, Tallinn, Estonia, March 31 -- April 1, 2012, Revised Selected Papers

Medium: Buch
ISBN: 978-3-642-32783-4
Verlag: Springer
Erscheinungstermin: 02.08.2012
In den Warenkorb
Lieferfrist: bis zu 10 Tage
Auf die Merkliste Drucken
Leseprobe
Überschrift

Beschreibung

Kostenloser Versand

nach Deutschland, Österreich und in die Schweiz

Bequem zahlen

Rechnung, Kreditkarte, PayPal oder Bankeinzug

Wir sind gerne für Sie da

0800 000-1378 (Inland)
service@fachmedien.de
<<Kontaktformular>>

Fragen

Fragen Lorem ipsum dolor sit amet, consetetur sadipscing elitr, sed diam nonumy eirmod tempor invidunt ut labore et dolore magna aliquyam erat, sed diam voluptua
Anwtorten

Anwtorten At vero eos et accusam et justo duo dolores et ea rebum. Stet clita kasd gubergren, no sea takimata sanctus est Lorem ipsum dolor sit amet. Lorem ipsum dolor sit amet

This book constitutes the thoroughly refereed post-proceedings of the 11th International Workshop on Coalgebraic Methods in Computer Science, CMCS 2012, colocated with ETAPS 2012, held in Tallin, Estonia, in March/April 2012. The 10 revised full papers were carefully reviewed and selected from 23 submissions. Also included are three invited talks. The papers cover a wide range of topics in the theory, logics and applications of coalgebras.

Produkteigenschaften

  • Artikelnummer: 9783642327834
  • Medium: Buch
  • ISBN: 978-3-642-32783-4
  • Verlag: Springer
  • Erscheinungstermin: 02.08.2012
  • Sprache(n): Englisch
  • Auflage: 1. Auflage 2012
  • Serie: Theoretical Computer Science and General Issues
  • Produktform: Kartoniert, Paperback
  • Gewicht: 411 g
  • Seiten: 259
  • Format (B x H x T): 155 x 235 x 15 mm
  • Ausgabetyp: Kein, Unbekannt

Themen

Autoren/Hrsg.

Herausgeber

From Lawvere to Brandenburger-Keisler: Interactive Forms of
Diagonalization and Self-reference.- Defining Context-Free Power Series Coalgebraically.- Relational Presheaves as Labelled Transition Systems.- On Finitary Functors and Their Presentations.- Structural Operational Semantics for Continuous State Probabilistic Processes.- Stream Automata Are Coalgebras.- Trace Semantics via Determinizatio.- An Alpha-Corecursion Principle for the Infinitary Lambda Calculus.- Lax Extensions of Coalgebra Functors.- From Transitions to Executions.- Tracing the Man in the Middle in Monoidal Categories.- Permutations in Coinductive Graph Representation.- Internal Models for Coalgebraic Modal Logics.