Termination of permutative conversions in intuitionistic Gentzen calculi (1997)

Cached

Download Links

by Helmut Schwichtenberg
Citations:20 - 0 self