Michael L. Tiomkin
发表
Michael Kaminski,
Michael L. Tiomkin,
2007
.
Martin Charles Golumbic,
Moshe Markovich,
Michael L. Tiomkin,
1991,
Decis. Support Syst..
Michael L. Tiomkin,
2013,
J. Appl. Log..
Michael Kaminski,
Michael L. Tiomkin,
1996,
Notre Dame J. Formal Log..
Michael Kaminski,
Michael L. Tiomkin,
1995,
J. Log. Comput..
Michael L. Tiomkin,
1988,
[1988] Proceedings. Third Annual Information Symposium on Logic in Computer Science.
Michael Kaminski,
Michael L. Tiomkin,
M. Kaminski,
1990,
JACM.
Johann A. Makowsky,
Michael Kaminski,
Michael L. Tiomkin,
1996,
J. Log. Comput..
Michael Kaminski,
Michael L. Tiomkin,
2007,
Notre Dame J. Formal Log..
Ron Y. Pinter,
Nissim Francez,
Shalom Tsur,
1985,
ACM SIGPLAN Notices.
Michael Kaminski,
Michael L. Tiomkin,
1990,
J. Log. Comput..
Michael L. Tiomkin,
1989,
Theor. Comput. Sci..
Johann A. Makowsky,
Michael L. Tiomkin,
1985,
Theor. Comput. Sci..
Johann A. Makowsky,
Michael Kaminski,
Michael L. Tiomkin,
1996,
JELIA.
Johann A. Makowsky,
Michael L. Tiomkin,
J. Makowsky,
1991,
Inf. Comput..
Michael L. Tiomkin,
M. Kaminski,
2007
.
Michael L. Tiomkin,
M. Kaminski,
2004
.