Normal view
MARC view
- Pavlović, Dusko
Pavlović, Dusko (Nombre personal)
Guarded induction on final coalgebras, 1998: t.p. (D. Pavlović)
UkENL files (hdg.: Pavlovic, Dusko)
University of Sussex, School of Cognitive and Computing Sciences WWW home page, Apr. 6, 1998 (Dusko Pavlovic)