Skip to main content
English
中文
Log In
Log in
Log in with ORCID
NTU Single Sign On
Have you forgotten your password?
Home
College of Management / 管理學院
Information Management / 資訊管理學系
State of Büchi complementation
Details
State of Büchi complementation
Journal
Logical Methods in Computer Science
Journal Volume
10
Journal Issue
4
Date Issued
2014
Author(s)
MONG-HSUN TSAI
Fogarty, S.
Vardi, M.Y.
YIH-KUEN TSAY
DOI
10.2168/LMCS-10(4:13)2014
URI
http://www.scopus.com/inward/record.url?eid=2-s2.0-84919681373&partnerID=MN8TOARS
http://scholars.lib.ntu.edu.tw/handle/123456789/384991
Type
journal article