A restricted second-order logic for non-deterministic poly-logarithmic time - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Flavio Ferrarotti, Senén Gonzales, Klaus-Dieter Schewe, José Maria Turull Torres. A restricted second-order logic for non-deterministic poly-logarithmic time. Logic Journal of the IGPL, 28(3):389-412, 2020. [doi]

This author has not been identified. Look up 'Flavio Ferrarotti' in GoogleThis author has not been identified. Look up 'Senén Gonzales' in GoogleThis author has not been identified. Look up 'Klaus-Dieter Schewe' in GoogleThis author has not been identified. Look up 'José Maria Turull Torres' in Google

runs on WebDSL