Nie jesteś zalogowany | Zaloguj się

PL /
EN

Konferencja: Rewriting Techniques and Applications

Liczba publikacji: 1

2013

Ken-etsu Fujita, Aleksy Schubert , Decidable structures between Church-style and Curry-style, Leibniz International Proceedings in Informatics, Rewriting Techniques and Applications, 21 2013, s. 190-205. Zobacz w PBN