Login / Signup

Boolean Monadic Recursive Schemes as a Logical Characterization of the Subsequential Functions.

Siddharth BhaskarJane ChandleeAdam JardineChristopher Oakden
Published in: LATA (2020)
Keyphrases