Maxim Lifantsev (Selection)

List of publications from the DBLP Bibliography Server - FAQ

Ask others: ACM DL/Guide -

1 Maxim Lifantsev, Leo Bachmair: An LPO-based Termination Ordering for Higher-Order Terms without lambda-abstraction. TPHOLs 1998: 277-293

Selection of 1 from 4 records - Maxim Lifantsev has 2 coauthors