KI-Beratung Beta
Vor Ort
Merkzettel Warenkorb
  • Produktbild: Algebra and Coalgebra in Computer Science
  • Produktbild: Algebra and Coalgebra in Computer Science
Band 3629

Algebra and Coalgebra in Computer Science First International Conference, CALCO 2005, Swansea, UK, September 3-6, 2005, Proceedings

Aus der Reihe Theoretical Computer Science and General Issues

51,99 €

inkl. gesetzl. MwSt., Versandkostenfrei

Beschreibung

Produktdetails

Einband

Taschenbuch

Erscheinungsdatum

18.08.2005

Abbildungen

XI, 457 p.

Herausgeber

José Luis Fiadeiro + weitere

Verlag

Springer Berlin

Seitenzahl

457

Maße (L/B/H)

23,5/15,5/2,6 cm

Gewicht

703 g

Auflage

2005

Sprache

Englisch

ISBN

978-3-540-28620-2

Beschreibung

Produktdetails

Einband

Taschenbuch

Erscheinungsdatum

18.08.2005

Abbildungen

XI, 457 p.

Herausgeber

Verlag

Springer Berlin

Seitenzahl

457

Maße (L/B/H)

23,5/15,5/2,6 cm

Gewicht

703 g

Auflage

2005

Sprache

Englisch

ISBN

978-3-540-28620-2

Herstelleradresse

Springer-Verlag KG
Sachsenplatz 4-6
1201 Wien
AT

Email: ProductSafety@springernature.com

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)
  • Produktbild: Algebra and Coalgebra in Computer Science
  • Produktbild: Algebra and Coalgebra in Computer Science
  • Invited Talks.- Abstract Scalars, Loops, and Free Traced and Strongly Compact Closed Categories.- Labels from Reductions: Towards a General Theory.- Adequacy for Algebraic Effects with State.- Contributed Papers.- Bisimilarity Is Not Finitely Based over BPA with Interrupt.- Algebra ? Coalgebra = Presheaves.- Strong Splitting Bisimulation Equivalence.- Complete Axioms for Stateless Connectors.- On the Semantics of Coinductive Types in Martin-Löf Type Theory.- Look: Simple Stochastic Relations Are Just, Well, Simple.- Modelling Fusion Calculus using HD-Automata.- An Algebraic Framework for Verifying the Correctness of Hardware with Input and Output: A Formalization in HOL.- Using Proofs by Coinduction to Find “Traditional” Proofs.- From T-Coalgebras to Filter Structures and Transition Systems.- Context-Free Languages via Coalgebraic Trace Semantics.- Towards a Coalgebraic Semantics of the Ambient Calculus.- The Least Fibred Lifting and the Expressivity of Coalgebraic Modal Logic.- Ultrafilter Extensions for Coalgebras.- Equational Logic of Recursive Program Schemes.- The Category Theoretic Solution of Recursive Program Schemes.- A Categorical Approach to Simulations.- Behavioral Extensions of Institutions.- Discrete Lawvere Theories.- Final Semantics for Event-Pattern Reactive Programs.- Complete Symbolic Reachability Analysis Using Back-and-Forth Narrowing.- Final Sequences and Final Coalgebras for Measurable Spaces.- Bireachability and Final Multialgebras.- Parametrized Exceptions.- Property Preserving Redesign of Specifications.