Michal Fait
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
3
Venues
2
Active years
2018–2020
Best venue rank
C
Where they publish
Papers
3 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2020 | ICAART | Integrating Special Rules Rooted in Natural Language Semantics into the System of Natural Deduction. | Marie Duz, Michal Fait |
| 2019 | EJC | Question-Answering System in the TIL-Script Language. | Marie Duz, Michal Fait |
| 2018 | EJC | Type Checking Algorithm for the TIL-Script Language. | Marie Duz, Michal Fait |