Sciweavers

CORR
2009
Springer

Characteristic Formulae for Fixed-Point Semantics: A General Framework

13 years 9 months ago
Characteristic Formulae for Fixed-Point Semantics: A General Framework
Luca Aceto, Anna Ingólfsdóttir, Josh
Added 16 Feb 2011
Updated 16 Feb 2011
Type Journal
Year 2009
Where CORR
Authors Luca Aceto, Anna Ingólfsdóttir, Joshua Sack
Comments (0)