Gert Smolka

Identifiers

• name variant Gert Smolka 0.60 · backfill

Papers (7)

1. Formal Small-step Verification of a Call-by-value Lambda Calculus Machine cs.LO · 2018 · author #2
2. Constructive Analysis of S1S and B\"uchi Automata cs.LO · 2018 · author #2
3. An Inductive Proof Method for Simulation-based Compiler Correctness cs.PL · 2016 · author #2
4. A Linear First-Order Functional Intermediate Language for Verified Compilers cs.PL · 2015 · author #2
5. Correctness of an Incremental and Worst-Case Optimal Decision Procedure for Modal Logic with Eventualities cs.LO · 2012 · author #2
6. A Minimal Propositional Type Theory cs.LO · 2010 · author #2
7. A Complete and Recursive Feature Theory cmp-lg · 1994 · author #2

Mentions

• 1503.08665 #2 · backfill · confidence 0.70 Gert Smolka
• 1209.1248 #2 · backfill · confidence 0.70 Gert Smolka
• 1001.4021 #2 · backfill · confidence 0.70 Gert Smolka

Frequent Coauthors

• Mark Kaminski 2 shared papers
• Sebastian Hack 2 shared papers
• Sigurd Schneider 2 shared papers
• Fabian Kunze 1 shared papers
• Moritz Lichter 1 shared papers
• Rolf Backofen 1 shared papers
• Yannick Forster 1 shared papers