Daniyar Itegulov

Identifiers

No identifiers captured yet.

Papers (2)

1. Handling Verb Phrase Anaphora with Dependent Types and Events cs.CL · 2018 · author #1
2. Scavenger 0.1: A Theorem Prover Based on Conflict Resolution cs.LO · 2017 · author #1

Mentions

No mention provenance yet.

Frequent Coauthors

• Bruno Woltzenlogel Paleo 1 shared papers
• Ekaterina Lebedeva 1 shared papers
• John Slaney 1 shared papers