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

TOTAL DOCUMENTS

32
(FIVE YEARS 0)

H-INDEX

7
(FIVE YEARS 0)

Published By Springer Berlin Heidelberg

9783642229435, 9783642229442
Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

Tool Interoperability in the Maude Formal Environment

2011 ◽  
pp. 400-406 ◽  
Author(s):  
Francisco Durán ◽  
Camilo Rocha ◽  
José M. Álvarez

scholarly journals Indexed Induction and Coinduction, Fibrationally

2011 ◽  
pp. 176-191 ◽  
Author(s):  
Clément Fumex ◽  
Neil Ghani ◽  
Patricia Johann

scholarly journals PREG Axiomatizer – A Ground Bisimilarity Checker for GSOS with Predicates

2011 ◽  
pp. 378-385 ◽  
Author(s):  
Luca Aceto ◽  
Georgiana Caltais ◽  
Eugen-Ioan Goriac ◽  
Anna Ingolfsdottir
Load More ...
Sign in / Sign up

Export Citation Format

Share Document