A. Felty
发表
A. Felty,
1991
.
Dale A. Miller,
A. Felty,
D. Miller,
1987
.
Douglas J. Howe,
A. Felty,
F. Stomp,
1998
.
Andrew W. Appel,
Amy P. Felty,
A. Appel,
1999,
ICLP 1999.
Andrew W. Appel,
Amy P. Felty,
A. Appel,
1999,
ICLP.
A. Hirschowitz,
A. Felty,
CoqJoëlle Despeyroux,
2011
.
A. Momigliano,
A. Felty,
2008,
J. Autom. Reason..
Amy P. Felty,
Hugo Herbelin,
Christine Paulin-Mohring,
1990
.
Samuel N. Kamin,
David B. MacQueen,
R. Sethi,
1997
.
Amy P. Felty,
Dale Miller,
Frank Pfenning,
1990,
CADE.
Amy P. Felty,
Dale Miller,
Frank Pfenning,
1990
.
A. Felty,
2015
.
A. Momigliano,
J. Llorens,
A. Felty,
2022,
Physical Review Applied.
Amy P. Felty,
Lennart Beringer,
Lennart Beringer,
2012,
Lecture Notes in Computer Science.
Elisabetta De Maria,
Carlos Olarte,
Amy Felty,
2020,
ArXiv.
Pietro Liò,
Amy P. Felty,
Carlos Olarte,
2018,
MLCSB.
Amy P. Felty,
Elisabetta De Maria,
Franck Grammont,
2020,
Frontiers of Computer Science.
Amy P. Felty,
Franck Binard,
A. Felty,
2007,
GECCO '07.
Amy P. Felty,
Ramesh Bharadwaj,
Frank A. Stomp,
1995,
ASIAN.
Amy P. Felty,
Frank A. Stomp,
A. Felty,
1999,
Formal Aspects of Computing.
Amy P. Felty,
Kedar S. Namjoshi,
K. Namjoshi,
2003,
TSEM.
Amy P. Felty,
Frank A. Stomp,
A. Felty,
1996,
Proceedings of 11th Annual Conference on Computer Assurance. COMPASS '96.
Amy P. Felty,
Franck Binard,
A. Felty,
2008,
GECCO '08.
Amy Felty,
Abdorrahim Bahrami,
Elisabetta De Maria,
2018,
Proceedings of the 9th International Conference on Computational Systems-Biology and Bioinformatics.
Amy P. Felty,
A. Felty,
1993,
Journal of Automated Reasoning.
Carlos Olarte,
Amy Felty,
Bruno Xavier,
2021,
Mathematical Structures in Computer Science.
Stan Matwin,
Amy P. Felty,
Guillaume Dufay,
2005,
CADE.
Amy P. Felty,
André Hirschowitz,
Joëlle Despeyroux,
1995,
TLCA.
Amy P. Felty,
Douglas J. Howe,
A. Felty,
1994,
LPAR.
Amy P. Felty,
Douglas J. Howe,
A. Felty,
1994,
CADE.
Amy P. Felty,
A. Felty,
1993,
[1993] Proceedings Eighth Annual IEEE Symposium on Logic in Computer Science.
Amy P. Felty,
Dale Miller,
A. Felty,
1988,
CADE.
Amy P. Felty,
Gopalan Nadathur,
Dale Miller,
1988,
CADE.
Amy P. Felty,
Dale Miller,
A. Felty,
1989
.
Amy P. Felty,
A. Felty,
1987
.
Amy P. Felty,
Douglas J. Howe,
A. Felty,
1997,
CADE.
Amy P. Felty,
Nada Habli,
A. Felty,
2013,
PxTP@CADE.
Amy P. Felty,
Venanzio Capretta,
Venanzio Capretta,
2006,
TYPES.
Amy P. Felty,
Venanzio Capretta,
Venanzio Capretta,
2009
.
Amy P. Felty,
Gopalan Nadathur,
Alexis Saurin,
2019,
Mathematical Structures in Computer Science.
Amy P. Felty,
Dale Miller,
A. Felty,
1986,
AAAI.
Amy P. Felty,
A. Felty,
1986
.
Andrew W. Appel,
Amy P. Felty,
A. Appel,
2004,
Theory and Practice of Logic Programming.
A. Appel,
A. Felty,
2004
.
Bahman Sistany,
Amy P. Felty,
Amir Eaman,
2017,
MCETECH.
Stan Matwin,
Amy P. Felty,
Venanzio Capretta,
2007,
FMSE '07.
Amy P. Felty,
Polina Vinogradova,
Philip J. Scott,
2018,
LSFA.
Stan Matwin,
Amy P. Felty,
Venanzio Capretta,
2005,
TLCA.
Andrew W. Appel,
Amy P. Felty,
A. Appel,
2000,
POPL '00.
Amy P. Felty,
Aart Middeldorp,
A. Middeldorp,
2015,
Lecture Notes in Computer Science.
Amy P. Felty,
Chelsea Battell,
A. Felty,
2016,
LFMTP.
Amy P. Felty,
A. Felty,
2000,
Theor. Comput. Sci..
Amy P. Felty,
A. Felty,
1996,
CADE.
Amy P. Felty,
Dale Miller,
A. Felty,
1990,
CADE.
A. Felty,
D. Miller,
2014
.
Amy P. Felty,
A. Felty,
1991
.
Amy P. Felty,
A. Felty,
2005,
Fundam. Informaticae.
Amy P. Felty,
Louis Pasteur,
L. Pasteur,
2001
.
Amy P. Felty,
Abhik Roychoudhury,
Douglas J. Howe,
1999,
CADE.
Amy P. Felty,
A. Felty,
1991,
ELP.
Amy P. Felty,
Douglas J. Howe,
Frank A. Stomp,
1998,
CAV.
Douglas J. Howe,
A. Felty,
F. Stomp,
1998
.
Gregory D. Hager,
Amy P. Felty,
Gregory Hager,
1988,
Proceedings of the 1988 IEEE International Conference on Systems, Man, and Cybernetics.