Skip to main content
University of Oxford Department of Computer Science
  Contact Us     Search  
  1. Home
  2. Research
  3. Publications
  4. Expressive Equivalence of Least and Inflationary Fixed−Point Logic

Expressive Equivalence of Least and Inflationary Fixed−Point Logic

Stephan Kreutzer

Journal
Annals of Pure and Applied Logic
Note
LICS 2002 Selected Paper Issue
Number
1−3
Pages
61–78
Volume
130
Year
2004

Links

See Also

Back to Top