Partitions of trees and ACA ::0::

Bernard A. Anderson, Jeffry L. Hirst. Partitions of trees and ACA ::0::. Arch. Math. Log., 48(3-4):227-230, 2009. [doi]

Authors

Bernard A. Anderson

This author has not been identified. Look up 'Bernard A. Anderson' in Google

Jeffry L. Hirst

This author has not been identified. Look up 'Jeffry L. Hirst' in Google