Vol-4238⫷ Vol-4239 ⫸Vol-4240
urn:nbn:de:0074-4239-0


Vol-4239/paper-Skiba-15⫷Vol-4239/paper-Van_den_Eede-10⫸Vol-4239/short-Alfano-27
Robbe Van den Eede

An Infinitary and a Cyclic Sequent Calculus for Non-Monotone Inductive Definitions