A compositional proof system for the modal μ-calculus

収録刊行物

• Proc. of ninth Annual IEEE Symposium on Logic in Computer Science, 1994

  Proc. of ninth Annual IEEE Symposium on Logic in Computer Science, 1994 1994