David M. Cerna

List of research outcomes

This list is not complete and representing at the moment only items from zbMATH Open and arXiv. We are working on additional sources - please check back here soon!

Publication	Date of Publication	Type
Unital anti-unification: type and algorithms	2026-02-24	Paper
One or nothing: anti-unification over the simply-typed lambda calculus ACM Transactions on Computational Logic	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 Journal of Automated Reasoning	2021-11-23	Paper
Higher-order equational pattern anti-unification (available as arXiv preprint)	2021-06-15	Paper
Anti-unification and the theory of semirings Theoretical Computer Science	2020-12-15	Paper
Higher-order pattern generalization modulo equational theories Mathematical Structures in Computer Science	2020-12-08	Paper
Idempotent anti-unification ACM Transactions on Computational Logic	2019-11-22	Paper
Integrating a global induction mechanism into a sequent calculus (available as arXiv preprint)	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 Annals of Pure and Applied 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 Automated Reasoning	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 Lecture Notes in Computer Science	2014-08-07	Paper

Research outcomes over time

This page was built for person: David M. Cerna