Skip to main content

Pure and Applied Fixed−Point Logics

S. Kreutzer

School
Dissertation thesis‚ RWTH Aachen
Year
2002