Ralph Freese

List of publications from the DBLP Bibliography Server - FAQ
Coauthor Index - Ask others: ACM DL/Guide - CiteSeer - CSB - Google - MSN - Yahoo

2004
4EERalph Freese: Automated Lattice Drawing. ICFCA 2004: 112-127
2003
3EERalph Freese, Jennifer Hyndman, James B. Nation: Whaley's Theorem for Finite Lattices. Order 20(3): 223-228 (2003)
2002
2 Ralph Freese, George F. McNulty, James B. Nation: Inherently nonfinitely based lattices. Ann. Pure Appl. Logic 115(1-3): 175-193 (2002)
1993
1 Ralph Freese, Jaroslav Jezek, James B. Nation: Term Rewrite Systems for Lattice Theory. J. Symb. Comput. 16(3): 279-288 (1993)

Coauthor Index

1Jennifer Hyndman [3]
2Jaroslav Jezek [1]
3George F. McNulty [2]
4James B. Nation [1] [2] [3]

Copyright © Fri Oct 3 18:41:27 2008 by Michael Ley (ley@uni-trier.de)