Sequentiality, Second Order Monadic Logic and Tree Automata(Theory of Rewriting Systems and Its Applications)

スポンサーリンク

概要

• 論文の詳細を見る
• 京都大学の論文
• 1995-08-00

著者

• Comon Hubert

  Cnrs And Lri Bat. 490 Universite De Paris Sud

関連論文

• Sequentiality, Second Order Monadic Logic and Tree Automata(Theory of Rewriting Systems and Its Applications)

スポンサーリンク