Algebra and Coalgebra in Computer Science - Lecture Notes in Computer Science
Latest Publications

TOTAL DOCUMENTS

30

(FIVE YEARS 0)

H-INDEX

6

(FIVE YEARS 0)

Published By Springer Berlin Heidelberg

9783540738572

Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

Bootstrapping Types and Cotypes in HasCASL

Algebra and Coalgebra in Computer Science - Lecture Notes in Computer Science ◽

10.1007/978-3-540-73859-6_30 ◽

2007 ◽

pp. 447-461

Author(s):

Lutz Schröder

Download Full-text

Deriving Bisimulation Congruences with Borrowed Contexts

Algebra and Coalgebra in Computer Science - Lecture Notes in Computer Science ◽

10.1007/978-3-540-73859-6_3 ◽

2007 ◽

pp. 36-39

Author(s):

Barbara König

Download Full-text

Graphical Encoding of a Spatial Logic for the π-Calculus

Algebra and Coalgebra in Computer Science - Lecture Notes in Computer Science ◽

10.1007/978-3-540-73859-6_15 ◽

2007 ◽

pp. 209-225 ◽

Author(s):

Fabio Gadducci ◽

Alberto Lluch Lafuente

Keyword(s):

Spatial Logic ◽

Download Full-text

Parametric (Co)Iteration vs. Primitive Direcursion

Algebra and Coalgebra in Computer Science - Lecture Notes in Computer Science ◽

10.1007/978-3-540-73859-6_18 ◽

2007 ◽

pp. 257-278

Author(s):

Johan Glimming

Download Full-text

Applications of Metric Coinduction

Algebra and Coalgebra in Computer Science - Lecture Notes in Computer Science ◽

10.1007/978-3-540-73859-6_22 ◽

2007 ◽

pp. 327-341 ◽

Author(s):

Dexter Kozen ◽

Nicholas Ruozzi

Download Full-text

Coalgebraic Epistemic Update Without Change of Model

Algebra and Coalgebra in Computer Science - Lecture Notes in Computer Science ◽

10.1007/978-3-540-73859-6_11 ◽

2007 ◽

pp. 158-172 ◽

Author(s):

Corina Cîrstea ◽

Mehrnoosh Sadrzadeh

Download Full-text

Higher Dimensional Trees, Algebraically

Algebra and Coalgebra in Computer Science - Lecture Notes in Computer Science ◽

10.1007/978-3-540-73859-6_16 ◽

2007 ◽

pp. 226-241

Author(s):

Neil Ghani ◽

Alexander Kurz

Keyword(s):

Higher Dimensional

Download Full-text

Bifinite Chu Spaces

Algebra and Coalgebra in Computer Science - Lecture Notes in Computer Science ◽

10.1007/978-3-540-73859-6_13 ◽

2007 ◽

pp. 179-193 ◽

Author(s):

Manfred Droste ◽

Guo-Qiang Zhang

Keyword(s):

Download Full-text

CIRC: A Circular Coinductive Prover

Algebra and Coalgebra in Computer Science - Lecture Notes in Computer Science ◽

10.1007/978-3-540-73859-6_25 ◽

2007 ◽

pp. 372-378 ◽

Author(s):

Dorel Lucanu ◽

Grigore Roşu

Download Full-text

Impossibility Results for the Equational Theory of Timed CCS

Algebra and Coalgebra in Computer Science - Lecture Notes in Computer Science ◽

10.1007/978-3-540-73859-6_6 ◽

2007 ◽

pp. 80-95 ◽

Author(s):

Luca Aceto ◽

Anna Ingólfsdóttir ◽

MohammadReza Mousavi

Keyword(s):

Equational Theory ◽

Impossibility Results

Download Full-text