Skip to content

On Definability of Order in Logic with Choice.

Taneli Huuskonen, Tapani Hyttinen

VenueA*LICS
Year2001
ProceedingsLICS

Browse the full LICS paper archive.