Ralph Freese (Selection)

Ask others: ACM DL/Guide - - CSB - MetaPress - Google - Bing - Yahoo

1

Ralph Freese, Jaroslav Jezek, James B. Nation: Term Rewrite Systems for Lattice Theory. J. Symb. Comput. 16(3): 279-288 (1993)

Selection of 1 from 5 records - Ralph Freese has 5 coauthors