Third Order Matching is Decidable (1999)

Cached

Download Links

by Gilles Dowek
Venue:Annals of Pure and Applied Logic
Citations:49 - 0 self