A characterization of alternating log time by first order functional programs (2006)

Cached

Download Links

by Guillaume Bonfante , Jean-yves Marion , Romain Péchoux
Venue:In LPAR 2006, volume 4246 of LNAI
Citations:7 - 5 self