Part of the Applied Mathematics Commons

Works by Hans Joerg Tiede in Applied Mathematics

1999

Counting the Number of Proofs in the Commutative Lambek Calculus, Hans Joerg Tiede
Hans Joerg Tiede

Link