著者典拠情報

著者標目形：
Arnold, André, 1945-
属性：
Personal
日付：
1945-
から見よ参照形：
Arnold, A.
注記：
Colloq. on Trees in Algebra & Prog. (15th : 1990 : Copenhagen, Denmark). CAAP '90, c1990: CIP t.p. (A. Arnold) t.p. verso (André Arnold; Univ. de Bordeaux, Talence, France) data sh. (b. 4/13/45)
著者典拠ID：
DA04270776


1.

図書
図書
1. Rudiments of μ-calculus
A. Arnold, D. Niwiński
出版情報: Amsterdam ; Tokyo : North-Holland, 2001
シリーズ名: Studies in logic and the foundations of mathematics ; v. 146
所蔵情報: 図書館
2.

図書
図書
2. CAAP '90 : 15th Colloquium on Trees in Algebra and Programming, Copenhagen, Denmark, May 15-18, 1990, proceedings (: gw ; : us)
A. Arnold (ed.)
出版情報: Berlin ; Tokyo : Springer-Verlag, c1990
シリーズ名: Lecture notes in computer science ; 431
所蔵情報: 図書館