Podelski, Andreas
著者名典拠詳細を表示
| 著者の属性 | 個人 |
|---|---|
| 一般注記 | Tree automata and languages, 1992: CIP t.p. (Andreas Podelski, DIGITAL, Paris Research Laboratory, Centre de recherches de Paris, Rueil-Malmaison, France) |
| から見よ参照 | Podelski, A |
| コード類 | 典拠ID=AU20078479 NCID=DA06845110 |
| 1 | Tree automata and languages / edited by Maurice Nivat, Andreas Podelski Amsterdam : North-Holland , 1992 |