EasyChair Smart SlideUser guide
Conference: LCC 18 (Logic and Computational Complexity 2018)

This page shows all presentations from this conference published in EasyChair Smart Slide.

Static Prediction of Heap Space Usage for First-Order Functional Programs -- A Retrospective on my First Paper with Martin Hofmann

Static Prediction of Heap Space Usage for First-Order Functional Programs -- A Retrospective on my First Paper with Martin Hofmann

Steffen Jost

Feasibly constructive proofs of succinct weak circuit lower bounds

Feasibly constructive proofs of succinct weak circuit lower bounds

Moritz Müller and Ján Pich

My Journey through Observational Equivalence Research with Martin Hofmann

My Journey through Observational Equivalence Research with Martin Hofmann

Vivek Nigam

A General Equational Framework for Static Profiling of Parametric Resource Usage

A General Equational Framework for Static Profiling of Parametric Resource Usage

Pedro López-García, Maximiliano Klemen, Umer Liqat and Manuel V. Hermenegildo

Superfluity in the Second Level of the Polynomial Time Hierarchy

Superfluity in the Second Level of the Polynomial Time Hierarchy

Edwin Pin

Traversal-invariant definability and Logarithmic-space computation

Traversal-invariant definability and Logarithmic-space computation

Steven Lindell and Scott Weinstein

Presentations in this collection: 6
Copyright © 2002 – 2026 EasyChair