The Undecidability of *-definability, manuscript (1993)

by R Loader
Results 1 - 2 of 2

Linear Läuchli semantics

by R. F. Blute, P. J. Scott - ANNALS PURE APPL. LOGIC , 1996
"... ..."
Abstract - Cited by 17 (7 self) - Add to MetaCart
Abstract not found

Linear L"auchli semantics

by R. F. Blute, P. J. Scott - Annals Pure Appl. Logic , 1996
"... Dedicated to the memory of Moez Alimohamed ..."
Abstract - Cited by 2 (0 self) - Add to MetaCart
Dedicated to the memory of Moez Alimohamed