Friedemann Tuttas

List of publications from the DBLP Bibliography Server - FAQ

Ask others: ACM DL/Guide -

1993

1 Friedemann Tuttas: An Arithmetical Completeness Theorem for Pre-permutations. Notre Dame Journal of Formal Logic 34(1): 84-89 (1993)