FLOC 2018: FEDERATED LOGIC CONFERENCE 2018
Emil Jeřábek
Organization: Institute of Mathematics of the Czech Academy of Sciences
Web page: http://math.cas.cz/~jerabek/
Pages in this Program
All Proceedings Papers
Paper: Bounded induction without parameters
PC Abstracts
PC Abstracts: Papers with Abstracts