Author:
Luttenberger Michael,Schlund Maximilian
Subject
Computational Theory and Mathematics,Computer Science Applications,Information Systems,Theoretical Computer Science
Cited by
4 articles.
订阅此论文施引文献
订阅此论文施引文献,注册后可以免费订阅5篇论文的施引文献,订阅后可以查看论文全部施引文献
1. Convergence of Datalog over (Pre-) Semirings;Journal of the ACM;2024-01-30
2. Rational Index of Languages with Bounded Dimension of Parse Trees;Developments in Language Theory;2022
3. Bounded-oscillation Pushdown Automata;Electronic Proceedings in Theoretical Computer Science;2016-09-13
4. Solving non-linear Horn clauses using a linear Horn clause solver;Electronic Proceedings in Theoretical Computer Science;2016-07-14