Skip to content
cs-conference-ranking.org

There is No Recursive Axiomatization for Feasible Functionals of Type~2

Anil Seth

VenueA*LICS
Year1992
ProceedingsLICS
DBLP recordconf/lics/Seth92 ↗

Browse the full LICS paper archive.