Managing Structural Information by Higher-Order Colored Unification

Authors
D.Hutter,M.Kohlhase
Citation
D.hutter,m.kohlhase, Managing Structural Information by Higher-Order Colored Unification, Journal of automated reasoning , 25(2), 2000, pp. 123-164
Journal title
Journal of automated reasoning → ACNP
ISSN journal
01687433
Volume
25
Issue
2
Year of publication
2000
Pages
123 - 164
Database
ACNP
SICI code