![]() | ![]() |
2009 | ||
---|---|---|
5 | EE | Ralph Freese, Matthew Valeriote: On the Complexity of Some Maltsev Conditions. IJAC 19(1): 41-77 (2009) |
2004 | ||
4 | EE | Ralph Freese: Automated Lattice Drawing. ICFCA 2004: 112-127 |
2003 | ||
3 | EE | Ralph 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) |
1 | Jennifer Hyndman | [3] |
2 | Jaroslav Jezek | [1] |
3 | George F. McNulty | [2] |
4 | James B. Nation | [1] [2] [3] |
5 | Matthew Valeriote | [5] |