David Cerna

Identifiers

• name variant David Cerna 0.60 · backfill

Papers (2)

1. Total Recursion over Lexicographical Orderings: Elementary Recursive Operators Beyond PR cs.LO · 2016 · author #1
2. Analysis of Clause set Schema Aided by Automated Theorem Proving: A Case Study [Extended Paper] cs.LO · 2015 · author #1

Mentions

• 1503.08551 #1 · backfill · confidence 0.70 David Cerna

Frequent Coauthors

• Alexander Leitsch 1 shared papers