Franz Weber (Selection)

List of publications from the DBLP Bibliography Server - FAQ

Ask others: ACM DL/Guide -

4 Olaf Müller, Franz Weber: Theory and Practice of Minimal Modular Higher-Order E-Unification. CADE 1994: 650-664

Selection of 1 from 5 records - Franz Weber has 6 coauthors