文献
J-GLOBAL ID:200902019937270326
整理番号:83A0408253
Korenjak-Hopcroftのアルゴリズムに対する公理的アプローチ
An axiomatic approach to the Korenjak-Hopcroft algorithms.
著者 (1件):
COURCELLE B
(Univ. Bordeaux I, France)
資料名:
Mathematical Systems Theory
(Mathematical Systems Theory)
巻:
16
号:
3
ページ:
191-231
発行年:
1983年07月
JST資料番号:
D0592A
ISSN:
0025-5661
CODEN:
MASTB
資料種別:
逐次刊行物 (A)
記事区分:
原著論文
発行国:
アメリカ合衆国 (USA)
言語:
英語 (EN)