A Complete Deductive System for the µ-Calculus (1995)

by Igor Walukiewicz
Citations:13 - 0 self

Document Versions

A Complete Deductive System for the µ-Calculus –Igor Walukiewicz — 1995
A Complete Deductive System for the µ-Calculus –Igor Walukiewicz, Igor Walukiewicz — 1995
A Complete Deductive System for the µ-Calculus –Igor Walukiewicz, Ny Munkegade — 1993