Publisher
Springer Berlin Heidelberg
Cited by
9 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. Restricted Computations and Parameters in Type-Theory of Acyclic Recursion;ADCAIJ: Advances in Distributed Computing and Artificial Intelligence Journal;2023-07-20
2. Decomposing Events into GOLOG;Logic and Algorithms in Computational Linguistics 2021 (LACompLing2021);2023
3. A Hybrid Approach of Distributional Semantics and Event Semantics for Telicity;Logic and Algorithms in Computational Linguistics 2021 (LACompLing2021);2023
4. Algorithmic Dependent-Type Theory of Situated Information and Context Assessments;Distributed Computing and Artificial Intelligence, 19th International Conference;2022-12-13
5. Gamma-Star Canonical Forms in the Type-Theory of Acyclic Algorithms;Lecture Notes in Computer Science;2018-12-30