FLOC 2018: FEDERATED LOGIC CONFERENCE 2018

B
Bhaskar, Siddharth	Computability over locally finite structures from algebra (PDF, talk)
D
Das, Anupam	A recursion-theoretic characterisation of the positive polynomial-time functions (PDF, talk)
H
Hermenegildo, Manuel V.	A General Equational Framework for Static Profiling of Parametric Resource Usage (PDF, talk)
K
Klemen, Maximiliano	A General Equational Framework for Static Profiling of Parametric Resource Usage (PDF, talk)
L
Lindell, Steven	Traversal-invariant definability and Logarithmic-space computation (PDF, talk)
Liqat, Umer	A General Equational Framework for Static Profiling of Parametric Resource Usage (PDF, talk)
Lopez-Garcia, Pedro	A General Equational Framework for Static Profiling of Parametric Resource Usage (PDF, talk)
M
Müller, Moritz	Feasibly constructive proofs of succinct weak circuit lower bounds (PDF, talk)
O
Oitavem, Isabel	A recursion-theoretic characterisation of the positive polynomial-time functions (PDF, talk)
P
Pich, Ján	Feasibly constructive proofs of succinct weak circuit lower bounds (PDF, talk)
Pin, Edwin	Completeness in the Second Level of the Polynomial Time Hierarchy through Syntactic Properties (PDF, talk)
W
Weinstein, Scott	Traversal-invariant definability and Logarithmic-space computation (PDF, talk)

Disclaimer | Powered by EasyChair Smart Program