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

scholarly journals Applications of Metric Coinduction

2007 ◽  
pp. 327-341 ◽  
Author(s):  
Dexter Kozen ◽  
Nicholas Ruozzi

scholarly journals Graphical Encoding of a Spatial Logic for the π-Calculus

2007 ◽  
pp. 209-225 ◽  
Author(s):  
Fabio Gadducci ◽  
Alberto Lluch Lafuente
Keyword(s):  
Spatial Logic ◽  
Π Calculus

scholarly journals Impossibility Results for the Equational Theory of Timed CCS

2007 ◽  
pp. 80-95 ◽  
Author(s):  
Luca Aceto ◽  
Anna Ingólfsdóttir ◽  
MohammadReza Mousavi
Keyword(s):  
Equational Theory ◽  
Impossibility Results

CIRC: A Circular Coinductive Prover

2007 ◽  
pp. 372-378 ◽  
Author(s):  
Dorel Lucanu ◽  
Grigore Roşu

scholarly journals Coalgebraic Epistemic Update Without Change of Model

2007 ◽  
pp. 158-172 ◽  
Author(s):  
Corina Cîrstea ◽  
Mehrnoosh Sadrzadeh

scholarly journals Higher Dimensional Trees, Algebraically

2007 ◽  
pp. 226-241
Author(s):  
Neil Ghani ◽  
Alexander Kurz
Keyword(s):  
Higher Dimensional

Bifinite Chu Spaces

2007 ◽  
pp. 179-193 ◽  
Author(s):  
Manfred Droste ◽  
Guo-Qiang Zhang
Keyword(s):  
Chu Spaces
Load More ...
Sign in / Sign up

Export Citation Format

Share Document