The top documents tagged [set of deduction rulesin]

Coalgebraic Symbolic Semantics Filippo Bonchi Ugo Montanari
Documents Coalgebraic Symbolic Semantics Filippo Bonchi Ugo Montanari

222 views

Coalgebraic Symbolic Semantics
Documents Coalgebraic Symbolic Semantics

59 views