dblp.uni-trier.dewww.uni-trier.de

Ralph Freese

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

2009
5EERalph Freese, Matthew Valeriote: On the Complexity of Some Maltsev Conditions. IJAC 19(1): 41-77 (2009)
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]
5Matthew Valeriote [5]

Colors in the list of coauthors

Copyright © Sun May 17 03:24:02 2009 by Michael Ley (ley@uni-trier.de)