zbMATH — the first resource for mathematics

Leino, K. Rustan M.

Compute Distance To:
Author ID: leino.k-rustan-m
Published as: Leino, K. Rustan M.; Leino, M.
Homepage: http://www.mathmeth.com/leino/
External Links: MGP
Documents Indexed: 37 Publications since 1988, including 2 Books

Publications by Year

Citations contained in zbMATH

Access to citation profile requires subscription