ID:DA04159790
Mint︠s︡, G
Mints, Grigori
Search authors sharing the same name
edited by Grigori Mints, Reinhard Muskens
CSLI Publications c2003 CSLI lecture notes no. 161
: pbk
Available at 21 libraries
Grigori Mints
Springer Science+Business Media 2000 The University series in mathematics
: softcover
Available at 2 libraries
Kluwer Academic / Plenum Publishers c2000 The University series in mathematics
Available at 25 libraries
V. Kreinovich, G. Mints, editors
American Mathematical Society c1997 American Mathematical Society translations ser. 2, v. 178
Available at 51 libraries
Center for the Study of Language and Information (CSLI) c1994 Report (Center for the Study of Language and Information (U.S.)) no. CSLI-94-193
Grigori Mints and Sergei Tupailo
Center for the Study of Language and Information (CSLI) c1993 Report (Center for the Study of Language and Information (U.S.)) no. CSLI-93-175
Grigorii E. Mints
Bibliopolis , North-Holland c1992 Studies in proof theory monographs 3
Available at 18 libraries
Center for the Study of Language and Information, Leland Stanford Junior University c1992 CSLI lecture notes no. 30
Available at 53 libraries
P. Martin-Löf, G. Mints (eds.)
Springer-Verlag c1990 Lecture notes in computer science 417
: gw , : us
Available at 57 libraries
