zbMATH — the first resource for mathematics

Found 3 Documents (Results 1–3)

Bjørner, Dines (ed.) et al., Perspectives of system informatics. 4th international Andrei Ershov memorial conference, PSI 2001, Akademgorodok, Novosibirsk, Russia, July 2–6, 2001. Revised papers. Berlin: Springer (ISBN 3-540-43075-X). Lect. Notes Comput. Sci. 2244, 279-286 (2001).
MSC:  68Q85 68N30
BibTeX Cite
Full Text: Link

Filter Results by …

Document Type
Year of Publication