Manfred Kufleitner
AuthID: R-00K-DR4
1
TITLE: The Word Problem for Omega-Terms over the Trotter-Weil Hierarchy Full Text
AUTHORS: Manfred Kufleitner; Jan Philipp Wächter ;
PUBLISHED: 2017, SOURCE: Theory of Computing Systems, VOLUME: 62, ISSUE: 3
AUTHORS: Manfred Kufleitner; Jan Philipp Wächter ;
PUBLISHED: 2017, SOURCE: Theory of Computing Systems, VOLUME: 62, ISSUE: 3
2
TITLE: The Word Problem for Omega-Terms over the Trotter-Weil Hierarchy. (Extended Abstract)
AUTHORS: Manfred Kufleitner; Jan Philipp Wächter ;
PUBLISHED: 2016, SOURCE: Computer Science – Theory and Applications - Lecture Notes in Computer Science
AUTHORS: Manfred Kufleitner; Jan Philipp Wächter ;
PUBLISHED: 2016, SOURCE: Computer Science – Theory and Applications - Lecture Notes in Computer Science
INDEXED IN: CrossRef