Variations of checking stack automata: Obtaining unexpected decidability properties

标题
Variations of checking stack automata: Obtaining unexpected decidability properties
作者
关键词
-
出版物
THEORETICAL COMPUTER SCIENCE
Volume 738, Issue -, Pages 1-12
出版商
Elsevier BV
发表日期
2018-04-26
DOI
10.1016/j.tcs.2018.04.024

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

Discover Peeref hubs

Discuss science. Find collaborators. Network.

Join a conversation

Publish scientific posters with Peeref

Peeref publishes scientific posters from all research disciplines. Our Diamond Open Access policy means free access to content and no publication fees for authors.

Learn More