Skip to content
cs-conference-ranking.org

A Unification Algorithm for Infinite Trees.

Kuniaki Mukai

VenueA*IJCAI
Year1983
ProceedingsIJCAI
DBLP recordconf/ijcai/Mukai83 ↗

Browse the full IJCAI paper archive.