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

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

scholarly journals Minlog - A Tool for Program Extraction Supporting Algebras and Coalgebras

2011 ◽  
pp. 393-399 ◽  
Author(s):  
Ulrich Berger ◽  
Kenji Miyamoto ◽  
Helmut Schwichtenberg ◽  
Monika Seisenberger
Keyword(s):  
Program Extraction
Load More ...
Sign in / Sign up

Export Citation Format

Share Document