Rewriting for Fitch Style Natural Deductions - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Herman Geuvers, Rob Nederpelt. Rewriting for Fitch Style Natural Deductions. In Vincent van Oostrom, editor, Rewriting Techniques and Applications, 15th International Conference, RTA 2004, Aachen, Germany, June 3-5, 2004, Proceedings. Volume 3091 of Lecture Notes in Computer Science, pages 134-154, Springer, 2004. [doi]

This author has not been identified. Look up 'Herman Geuvers' in GoogleThis author has not been identified. Look up 'Rob Nederpelt' in Google

runs on WebDSL