Search the dblp DataBase
Hilary A. Priestley :
[Publications ]
[Author Rank by year ]
[Co-authors ]
[Prefers ]
[Cites ]
[Cited by ]
Publications of Author
Hilary A. Priestley Ordered Sets and Complete Lattices. [Citation Graph (0, 0)][DBLP ] Algebraic and Coalgebraic Methods in the Mathematics of Program Construction, 2000, pp:21-78 [Conf ] Maria João Antunes Dias Gouveia Saramago , Hilary A. Priestley Optimal Natural Dualities: the Structure of Failsets. [Citation Graph (0, 0)][DBLP ] IJAC, 2002, v:12, n:3, pp:407-435 [Journal ] Hilary A. Priestley , Martin P. Ward A Multipurpose Backtracking Algorithm. [Citation Graph (0, 0)][DBLP ] J. Symb. Comput., 1994, v:18, n:1, pp:1-40 [Journal ] Brian A. Davey , Miroslav Haviar , Hilary A. Priestley The Syntax and Semantics of Entailment in Duality Theory. [Citation Graph (0, 0)][DBLP ] J. Symb. Log., 1995, v:60, n:4, pp:1087-1114 [Journal ] Brian A. Davey , Hilary A. Priestley Optimal natural dualities for varieties of Heyting algebras. [Citation Graph (0, 0)][DBLP ] Studia Logica, 1996, v:56, n:1/2, pp:67-96 [Journal ] Hilary A. Priestley Natural dualities for varieties of n -valued Lukasiewicz algebras. [Citation Graph (0, 0)][DBLP ] Studia Logica, 1995, v:54, n:3, pp:333-370 [Journal ] Brian A. Davey , Miroslav Haviar , Hilary A. Priestley Boolean Topological Distributive Lattices and Canonical Extensions. [Citation Graph (0, 0)][DBLP ] Applied Categorical Structures, 2007, v:15, n:3, pp:225-241 [Journal ] Jimmie D. Lawson , Michael W. Mislove , Hilary A. Priestley Ordered sets with no infinite antichains. [Citation Graph (0, 0)][DBLP ] Discrete Mathematics, 1987, v:63, n:2-3, pp:225-230 [Journal ] M. E. Adams , Hilary A. Priestley De Morgan algebras are universal. [Citation Graph (0, 0)][DBLP ] Discrete Mathematics, 1987, v:66, n:1-2, pp:1-13 [Journal ] Brian A. Davey , Hilary A. Priestley Partition-induced natural dualities for varieties of pseudo- complemented distributive lattices. [Citation Graph (0, 0)][DBLP ] Discrete Mathematics, 1993, v:113, n:1-3, pp:41-58 [Journal ] Search in 0.001secs, Finished in 0.002secs