FLOC 2018: FEDERATED LOGIC CONFERENCE 2018

Editors: Erich Grädel and Jan Hoffmann

Authors	Title	Paper	Talk
Siddharth Bhaskar	Computability over locally finite structures from algebra		Jul 13 11:45
Anupam Das and Isabel Oitavem	A recursion-theoretic characterisation of the positive polynomial-time functions		Jul 13 11:15
Steven Lindell and Scott Weinstein	Traversal-invariant definability and Logarithmic-space computation		Jul 13 11:00
Pedro Lopez-Garcia, Maximiliano Klemen, Umer Liqat and Manuel V. Hermenegildo	A General Equational Framework for Static Profiling of Parametric Resource Usage		Jul 13 12:00
Moritz Müller and Ján Pich	Feasibly constructive proofs of succinct weak circuit lower bounds		Jul 13 11:30
Edwin Pin	Completeness in the Second Level of the Polynomial Time Hierarchy through Syntactic Properties		Jul 13 12:15

Disclaimer | Powered by EasyChair Smart Program