|
Search the dblp DataBase
Ralph Freese:
[Publications]
[Author Rank by year]
[Co-authors]
[Prefers]
[Cites]
[Cited by]
Publications of Author
- Ralph Freese
Automated Lattice Drawing. [Citation Graph (0, 0)][DBLP] ICFCA, 2004, pp:112-127 [Conf]
- Ralph Freese, George F. McNulty, James B. Nation
Inherently nonfinitely based lattices. [Citation Graph (0, 0)][DBLP] Ann. Pure Appl. Logic, 2002, v:115, n:1-3, pp:175-193 [Journal]
- Ralph Freese, Jaroslav Jezek, James B. Nation
Term Rewrite Systems for Lattice Theory. [Citation Graph (0, 0)][DBLP] J. Symb. Comput., 1993, v:16, n:3, pp:279-288 [Journal]
- Ralph Freese, Jennifer Hyndman, James B. Nation
Whaley's Theorem for Finite Lattices. [Citation Graph (0, 0)][DBLP] Order, 2003, v:20, n:3, pp:223-228 [Journal]
Search in 0.002secs, Finished in 0.002secs
|