Max Wisniewski

Identifiers

• name variant Max Wisniewski 0.60 · backfill

Papers (1)

1. LeoPARD --- A Generic Platform for the Implementation of Higher-Order Reasoners cs.LO · 2015 · author #1

Mentions

• 1505.01629 #1 · backfill · confidence 0.70 Max Wisniewski

Frequent Coauthors

• Alexander Steen 1 shared papers
• Christoph Benzm\"uller 1 shared papers