Minimised Residue Hypotheses in Relevant Logic - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Bertram Fronhöfer, Akihiro Yamamoto. Minimised Residue Hypotheses in Relevant Logic. In Nicolò Cesa-Bianchi, Masayuki Numao, Rüdiger Reischuk, editors, Algorithmic Learning Theory, 13th International Conference, ALT 2002, Lübeck, Germany, November 24-26, 2002, Proceedings. Volume 2533 of Lecture Notes in Computer Science, pages 278-292, Springer, 2002. [doi]

This author has not been identified. Look up 'Bertram Fronhöfer' in GoogleThis author has not been identified. Look up 'Akihiro Yamamoto' in Google

runs on WebDSL