David M. Cerna

Available identifiers

Publication	Date of Publication	Type
One or nothing: anti-unification over the simply-typed lambda calculus	2024-09-25	Paper
Covered clauses are not propagation redundant	2022-11-09	Paper
A Generic Framework for Higher-Order Generalizations.	2022-07-18	Paper
Schematic refutations of formula schemata	2021-11-23	Paper
https://portal.mardi4nfdi.de/entity/Q4993338	2021-06-15	Paper
Anti-unification and the theory of semirings	2020-12-15	Paper
Higher-order pattern generalization modulo equational theories	2020-12-08	Paper
Idempotent Anti-unification	2019-11-22	Paper
Integrating a global induction mechanism into a sequent calculus	2018-02-02	Paper
Proof Schemata for Theories equivalent to $PA$: on the Benefit of Conservative Reflection Principles	2017-11-29	Paper
Ceres in intuitionistic logic	2017-07-13	Paper
Clausal Analysis of First-order Proof Schemata	2017-02-08	Paper
Arithmetic, Infinite Trees, and Second-order Subsystems: Notes and Observations	2016-10-13	Paper
Schematic Cut Elimination and the Ordered Pigeonhole Principle	2016-09-05	Paper
Total Recursion over Lexicographical Orderings: Elementary Recursive Operators Beyond PR	2016-08-24	Paper
A Tableaux-Based Decision Procedure for Multi-parameter Propositional Schemata	2014-08-07	Paper

This page was built for person: David M. Cerna