Proceedings/7th. International conference on automated deduction, Napa, CA, May 14-16, 1984SHOSTAK, R. E.Lecture notes in computer science. 1984, Vol 170, issn 0302-9743, VI-508 pConference Proceedings

REACHING AGREEMENT IN THE PRESENCE OF FAULTSPEASE M; SHOSTAK R; LAMPORT L et al.1980; J. ASS. COMPUTG MACHIN.; USA; DA. 1980; VOL. 27; NO 2; PP. 228-234; BIBL. 4 REF.Article

Completeness results of inequality proversBLEDSOE, W. W; KUNEN, K; SHOSTAK, R et al.Artificial intelligence. 1985, Vol 27, Num 3, pp 255-288, issn 0004-3702Article