No. Title Author Year
1 Backward Deterministic Büchi Automata on Infinite Words Wilke, Thomas 2018
2 Past, Present, and Infinite Future Wilke, Thomas 2016
3 Author Index Portier, Natacha et al. 2013
4 Frontmatter, Table of Contents, Preface, Workshop Organization Portier, Natacha et al. 2013
5 LIPIcs, Volume 14, STACS'12, Complete Volume Dürr, Christoph et al. 2013
6 LIPIcs, Volume 20, STACS'13, Complete Volume Portier, Natacha et al. 2013
7 Frontmatter, Foreword, Conference Organization, External Reviewers, Table of Contents Dürr, Christoph et al. 2012
8 Unifying Büchi Complementation Constructions Fogarty, Seth et al. 2011
Current Page :
Number of result pages: 1
Number of documents: 8

DROPS-Home | Fulltext Search | Imprint Published by LZI