Back to the list of the institutes
Publications
Conference: Rewriting Techniques and Applications
Number of publications: 12013
- Ken-etsu Fujita, Aleksy Schubert , Decidable structures between Church-style and Curry-style, Leibniz International Proceedings in Informatics, Rewriting Techniques and Applications, 21 2013, p. 190-205. See in PBN