Skip to content

Gandy's Theorem for Abstract Structures without the Equality Test.

Margarita V. Korovina

VenueBLPAR
Year2003
ProceedingsLPAR

Browse the full LPAR paper archive.