Evgeny Makarov

List of publications from the DBLP Bibliography Server - FAQ

Ask others: ACM DL/Guide - CiteSeer - CSB - Google - MSN - Yahoo

1997

1 Evgeny Makarov: A Proof Procedure for Hereditary Harrop Formulas with Free Equality. LFCS 1997: 203-213