Jan Jakubuv

Identifiers

• name variant Jan Jakubuv 0.60 · backfill

Papers (2)

1. BliStrTune: Hierarchical Invention of Theorem Proving Strategies cs.LO · 2016 · author #1
2. Expressiveness of Generic Process Shape Types cs.LO · 2010 · author #1

Mentions

• 1003.6096 #1 · backfill · confidence 0.70 Jan Jakubuv

Frequent Coauthors

• J. B. Wells 1 shared papers
• Josef Urban 1 shared papers