Victor Makarov

List of publications from the DBLP Bibliography Server - FAQ

Ask others: ACM DL/Guide -

1999

1 Victor Makarov: Predicate Logic with Definitions CoRR cs.LO/9906010: (1999)