Browse by Author

1 Results for "Küchlin, Wolfgang"

Subscribe to RSS feed for this result set

1. Equational completion by proof transformation

Küchlin, Wolfgang (1986)


Doctoral and Habilitation Theses