Sciweavers

Share
DLOG
2010

EL-Concepts go Second-Order: Greatest Fixpoints and Simulation Quantifiers

8 years 10 months ago
EL-Concepts go Second-Order: Greatest Fixpoints and Simulation Quantifiers
Carsten Lutz, Robert Piro, Frank Wolter
Added 10 Feb 2011
Updated 10 Feb 2011
Type Journal
Year 2010
Where DLOG
Authors Carsten Lutz, Robert Piro, Frank Wolter
Comments (0)
books