Search Results

Poset algebras over well quasi-ordered posets

Authors: Abraham, Uri; Bonnet, Robert; Kubiś, Wiesław

Source: algebra universalis, Volume 58, Number 3, June 2008 , pp. 263-286(24)

Publisher: Springer

On Poset Boolean Algebras

Authors: Abraham U.; Bonnet R.; Kubi W.; Rubin M.

Source: Order, Volume 20, Number 3, 2003 , pp. 265-290(26)

Publisher: Springer

Better-quasi-orderings and coinduction

Author: Forster T.

Source: Theoretical Computer Science, Volume 309, Number 1, 2 December 2003 , pp. 111-123(13)

Publisher: Elsevier

Modular Termination Proofs for Rewriting Using Dependency Pairs

Authors: Giesl J.; Arts T.; Ohlebusch E.

Source: Journal of Symbolic Computation, Volume 34, Number 1, July 2002 , pp. 21-58(38)

Publisher: Academic Press

Fine Analysis of the Quasi-Orderings on the Power Set

Author: Marcone A.

Source: Order, Volume 18, Number 4, 2001 , pp. 339-347(9)

Publisher: Springer

A note on well quasi-orderings for powersets

Author: Jancar P.

Source: Information Processing Letters, Volume 72, Number 5, 30 December 1999 , pp. 155-160(6)

Publisher: Elsevier

Well-quasi-ordering and the Hausdorff quasi-uniformity

Authors: Kunzi H.-P.A.; Romaguera S.

Source: Topology and its Applications, Volume 85, Number 1, 22 May 1998 , pp. 207-218(12)

Publisher: Elsevier