Vladimir P. Orevkov

List of publications from the DBLP Bibliography Server - FAQ

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

1988

1 Vladimir P. Orevkov: Correctness of short proofs in theory with notions of feasibility. Conference on Computer Logic 1988: 242-245