research

On global induction mechanisms in a $\mu$ -calculus with explicit approximations

Authors: Mads Dam
Christoph Sprenger
Publication date: 1 January 2003
Publisher

Abstract

Abstract is not available.

Similar works

Full text

thumbnail-image

Open in the Core reader

Available Versions

Numérisation de Documents Anciens Mathématiques

redirect

oai

oai:numdam.org:ITA_2003__37_4_...

Last time updated on 16/06/2016