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

View PDF

Download Links

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