Normal view
MARC view
Dowek, Gilles (Personal Name)
Higher-order algebra, logic, and term rewriting, 1996: CIP t.p. (Gilles Dowek) t.p. verso (INRIA-Rocquencourt, Le Chesney, France)