论文信息 - A sequent calculus for Kröger logic - 字舞流文

A sequent calculus for Kröger logic

Manfred E. Szabo

[1] Robin Milner,et al. On Observing Nondeterminism and Concurrency , 1980, ICALP.

[2] M. E. Szabo,et al. The collected papers of Gerhard Gentzen , 1969 .

[3] Fred Kröger. Logical Rules of Natural Reasoning about Programs , 1976, ICALP.

[4] M. E. Szabo. Algebra of proofs , 1978 .