Login / Signup

A Syntactical Approach to Weak (Bi-)Simulation for Coalgebras.

Jan Rothe
Published in: CMCS (2002)
Keyphrases