Löb's Logic Meets the Mu-Calculus

A. Visser

Löb's Logic Meets the Mu-Calculus

A. Visser

Research output: Chapter in Book/Report/Conference proceeding › Chapter › Academic › peer-review

Original language	Undefined/Unknown
Title of host publication	Processes, Terms and Cycles, Steps on the Road to Infinity, Essays Dedicated to Jan Willem Klop on the Occasion of His 60th Birthday
Editors	A. Middeldorp, V. van Oostrom, F. van Raamsdonk, R. de Vrijer
Place of Publication	Berlin
Publisher	Springer
Pages	14-25
Number of pages	12
Publication status	Published - 2005

Publication series

Name
Number	1

Cite this

@inbook{4ea0e1719ae14966bd12b135c7c6a9a3,

title = "L{\"o}b's Logic Meets the Mu-Calculus",

author = "A. Visser",

year = "2005",

language = "Undefined/Unknown",

publisher = "Springer",

number = "1",

pages = "14--25",

editor = "A. Middeldorp and \{van Oostrom\}, V. and \{van Raamsdonk\}, F. and \{de Vrijer\}, R.",

booktitle = "Processes, Terms and Cycles, Steps on the Road to Infinity, Essays Dedicated to Jan Willem Klop on the Occasion of His 60th Birthday",

}

Löb's Logic Meets the Mu-Calculus. / Visser, A.
Processes, Terms and Cycles, Steps on the Road to Infinity, Essays Dedicated to Jan Willem Klop on the Occasion of His 60th Birthday. ed. / A. Middeldorp; V. van Oostrom; F. van Raamsdonk; R. de Vrijer. Berlin: Springer, 2005. p. 14-25.

Research output: Chapter in Book/Report/Conference proceeding › Chapter › Academic › peer-review