MM Bonsangue | TU Delft Repository

Library

local_library Home Repository

MB

MM Bonsangue

Conference paper (1)

Journal article (1)

2 records found

1

Algebra-coalgebra duality in Brzozowski's minimization algorithm

Journal article (2014) - MM Bonsangue (author) , Helle Hansen (author) , F Bonchi (author) , P Panangaden (author) , JJMM Rutten (author) , A Silva (author)

A logical viewpoint on architectures

Conference paper (2004) - FS de Boer (author) , MM Bonsangue (author) , J Jacob (author) , A Stam (author) , L van der Torre (author)