文献

J-GLOBAL ID：201002217136621248   整理番号：10A1107706

Buchiオートマトンからco-Buchiオートマトンへの厳密な変換に対する追求

The Quest for a Tight Translation of Buechi to co-Buechi Automata

著者 (2件)： BOKER Udi (Hebrew Univ., ISR) ,  KUPFERMAN Orna (Hebrew Univ., ISR)
資料名： Lecture Notes in Computer Science  (Lecture Notes in Computer Science)
巻： 6300  ページ： 147-164  発行年： 2010年 
JST資料番号： H0078D  ISSN： 0302-9743  資料種別： 会議録 (C)
発行国： ドイツ (DEU)  言語： 英語 (EN)

タイトルに関連する用語 (2件)： Buchiオートマトン ,  CO