Visibly Linear Temporal Logic

标题
Visibly Linear Temporal Logic
作者
关键词
Temporal logic, Visibly pushdown languages, Automata based decision procedures, Automata theory
出版物
JOURNAL OF AUTOMATED REASONING
Volume 60, Issue 2, Pages 177-220
出版商
Springer Nature
发表日期
2017-03-11
DOI
10.1007/s10817-017-9410-z

向作者/读者发起求助以获取更多资源

Reprint

联系作者

Create your own webinar

Interested in hosting your own webinar? Check the schedule and propose your idea to the Peeref Content Team.

Create Now

Ask a Question. Answer a Question.

Quickly pose questions to the entire community. Debate answers and get clarity on the most important issues facing researchers.

Get Started