Daniel Weller

Available identifiers

Publication	Date of Publication	Type
Content-Aware Enhancement of Images With Filamentous Structures	2019-10-28	Paper
Expansion trees with cut	2019-10-09	Paper
On the generation of quantified lemmas	2019-05-31	Paper
Comparison-Based Image Quality Assessment for Selecting Image Restoration Parameters	2019-02-04	Paper
On the Estimation of Nonrandom Signal Coefficients From Jittered Samples	2018-07-18	Paper
Bayesian Post-Processing Methods for Jitter Mitigation in Sampling	2018-07-18	Paper
OUP accepted manuscript	2018-02-13	Paper
Boolean unification with predicates	2017-05-17	Paper
Cut-Elimination and Proof Schemata	2015-12-03	Paper
Introducing Quantified Cuts in Logic with Equality	2014-09-26	Paper
Algorithmic introduction of quantified cuts	2014-08-27	Paper
Expansion Trees with Cut	2013-08-02	Paper
On the complexity of proof deskolemization	2012-06-19	Paper
Towards Algorithmic Cut-Introduction	2012-06-15	Paper
On the elimination of quantifier-free cuts	2011-12-07	Paper
CERES in higher-order logic	2011-09-22	Paper
System Description: The Proof Transformation System CERES	2010-09-14	Paper
A Clausal Approach to Proof Analysis in Second-Order Logic	2009-02-24	Paper
Herbrand Sequent Extraction	2009-01-27	Paper

This page was built for person: Daniel Weller