Joachim Steinbach (Selection)

List of publications from the DBLP Bibliography Server - FAQ

Ask others: ACM DL/Guide -

8 Carlos Loría-Sáenz, Joachim Steinbach: Termination of Combined (Rewrite and lambda-Calculus) Systems. CTRS 1992: 143-147

Selection of 1 from 14 records - Joachim Steinbach has 12 coauthors