SODA

A note on global induction in a µ-calculus with explicit approximations

Sprenger, Christoph and Dam, Mads (2002) A note on global induction in a µ-calculus with explicit approximations. In: Proceedings of FICS (Fixed Points in Computer Science), 20-21 July 2002, Copenhagen, Denmark.

[img]Postscript
125Kb

Abstract

We present a sound and complete condition based on Buchi automata for discharge in cyclic proof structures

Item Type:Conference or Workshop Item (Paper)
ID Code:3009
Deposited By:INVALID USER
Deposited On:14 Jul 2008
Last Modified:18 Nov 2009 16:17

Repository Staff Only: item control page