K. Milsted
发表
G. Longo,
K. Milsted,
S. Soloviev,
1992
.
Giuseppe Longo,
Sergei Soloviev,
Kathleen Milsted,
2000,
J. Log. Comput..
Giuseppe Longo,
Sergei Soloviev,
Kathleen Milsted,
1995,
Proceedings of Tenth Annual IEEE Symposium on Logic in Computer Science.
Giuseppe Longo,
Sergei Soloviev,
Kathleen Milsted,
1993,
[1993] Proceedings Eighth Annual IEEE Symposium on Logic in Computer Science.
Giuseppe Longo,
Sergei Soloviev,
Kathleen Milsted,
1995,
LICS 1995.
Giuseppe Longo,
Sergei Soloviev,
Kathleen Milsted,
1993,
Theor. Comput. Sci..