Spiro Michaylov
发表
Roland H. C. Yap,
Joxan Jaffar,
Spiro Michaylov,
1991,
PLDI '91.
Spiro Michaylov,
S. Michaylov,
1994,
Inf. Comput..
Spiro Michaylov,
1994,
CCL.
Kim Marriott,
Spiro Michaylov,
Niels Jørgensen,
1991,
ISLP.
Roland H. C. Yap,
Peter J. Stuckey,
Joxan Jaffar,
1992,
TOPL.
Soumitra Bose,
Edmund M. Clarke,
David E. Long,
2004,
Journal of Automated Reasoning.
Frank Pfenning,
Spiro Michaylov,
F. Pfenning,
1993,
PPCP.
Roland H. C. Yap,
Peter J. Stuckey,
Nevin Heintze,
1989,
NACLP.
Frank Pfenning,
Spiro Michaylov,
F. Pfenning,
1991,
PEPM.
Chris Douglas,
John R. Douceur,
Spiro Michaylov,
2017,
SIGMOD Conference.
Spiro Michaylov,
S. Michaylov,
1992
.
Roland H. C. Yap,
Peter J. Stuckey,
Joxan Jaffar,
1991,
COMPCON Spring '91 Digest of Papers.
Frank Pfenning,
Spiro Michaylov,
F. Pfenning,
1991,
PEPM.
Peter J. Stuckey,
Nevin Heintze,
Spiro Michaylov,
1992,
Journal of Automated Reasoning.
Roland H. C. Yap,
Peter J. Stuckey,
Joxan Jaffar,
1992,
PLDI '92.
Leon Sterling,
Spiro Michaylov,
Marc Kirschenbaum,
1996
.
Joxan Jaffar,
Spiro Michaylov,
J. Jaffar,
1987,
ICLP.
Spiro Michaylov,
Iván Ordóñez,
1995,
LPE.
Frank Pfenning,
Spiro Michaylov,
F. Pfenning,
1992
.
Soumitra Bose,
Edmund M. Clarke,
Spiro Michaylov,
1988,
[1989] Proceedings. Fourth Annual Symposium on Logic in Computer Science.
Roland H. C. Yap,
Peter J. Stuckey,
Nevin Heintze,
1997,
J. Log. Program..
Spiro Michaylov,
Bill Pippin,
S. Michaylov,
1994,
ILPS.
Edmund M. Clarke,
David E. Long,
Spiro Michaylov,
1990
.
Spiro Michaylov,
1994,
Proceedings Sixth International Conference on Tools with Artificial Intelligence. TAI 94.
Frank Pfenning,
Spiro Michaylov,
F. Pfenning,
1992,
ELP.
Soumitra Bose,
Edmund M. Clarke,
David E. Long,
1989,
[1989] Proceedings. Fourth Annual Symposium on Logic in Computer Science.
Frank Pfenning,
Spiro Michaylov,
1991,
PEPM '91.
Benjamin C. Pierce,
Spiro Michaylov,
Scott Dietzen,
1989
.
Roland H. C. Yap,
Peter J. Stuckey,
Joxan Jaffar,
1992
.