Daniyar Itegulov

According to our database, Daniyar Itegulov authored at least 3 papers between 2017 and 2018.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2018

Handling Verb Phrase Anaphora with Dependent Types and Events.

Daniyar Itegulov, Ekaterina Lebedeva

Proceedings of the Logic, Language, Information, and Computation, 2018

Sensala: a Dynamic Semantics System for Natural Language Processing.

Daniyar Itegulov, Ekaterina Lebedeva, Bruno Woltzenlogel Paleo

Proceedings of the COLING 2018, 2018

2017

Scavenger 0.1: A Theorem Prover Based on Conflict Resolution.

Daniyar Itegulov, John K. Slaney, Bruno Woltzenlogel Paleo

Proceedings of the Automated Deduction - CADE 26, 2017