David A. Plaisted
发表
David A. Plaisted,
Steven Greenbaum,
Steven Greenbaum,
1986,
J. Symb. Comput..
Nachum Dershowitz,
David A. Plaisted,
N. Dershowitz,
1988
.
David A. Plaisted,
1977,
J. Comput. Syst. Sci..
David A. Plaisted,
Steven Greenbaum,
Paul O'Rorke,
1982,
CADE.
Paliath Narendran,
Wayne Snyder,
David A. Plaisted,
1993,
JACM.
David A. Plaisted,
1984,
J. Algorithms.
Maria Paola Bonacina,
David A. Plaisted,
2014,
PAAR@IJCAR.
David A. Plaisted,
1986,
CADE.
David A. Plaisted,
1980,
STOC '80.
Paliath Narendran,
Wayne Snyder,
David A. Plaisted,
1990,
Inf. Comput..
David A. Plaisted,
D. Plaisted,
1980,
CADE.
David A. Plaisted,
Heng Chu,
D. Plaisted,
1994,
CADE.
David A. Plaisted,
Jürgen Avenhaus,
2004,
Journal of Automated Reasoning.
David A. Plaisted,
Xumin Nie,
1990,
IEEE Trans. Computers.
David A. Plaisted,
1984,
ICLP.
David A. Plaisted,
1972,
STOC '72.
David A. Plaisted,
Xumin Nie,
1990,
CADE.
David A. Plaisted,
1984,
J. Comput. Syst. Sci..
Vladimir Lifschitz,
David A. Plaisted,
Leora Morgenstern,
2022
.
David A. Plaisted,
D. Plaisted,
1985,
FPCA.
David A. Plaisted,
Xumin Nie,
1992,
Artif. Intell..
David A. Plaisted,
D. Plaisted,
1982,
Artif. Intell..
David A. Plaisted,
Yunshan Zhu,
1997
.
Nachum Dershowitz,
David A. Plaisted,
Stéphane Kaplan,
1989,
ICALP.
David A. Plaisted,
D. Plaisted,
1988,
Journal of Automated Reasoning.
David A. Plaisted,
J. Dean Brock,
Amos R. Omondi,
1986,
ICDCS.
David A. Plaisted,
1980,
SIAM J. Comput..
Edward M. Reingold,
David A. Plaisted,
Kenneth J. Supowit,
1980,
STOC '80.
David A. Plaisted,
Steven Greenbaum,
1986,
CADE.
Nachum Dershowitz,
David A. Plaisted,
D. Plaisted,
1985,
SLP.
David A. Plaisted,
Yunshan Zhu,
1997,
IJCAI.
David A. Plaisted,
D. Plaisted,
1983,
Logic of Programs.
David A. Plaisted,
Heng Chu,
D. Plaisted,
1997,
Journal of Automated Reasoning.
David A. Plaisted,
Heng Chu,
D. Plaisted,
1993,
ISMIS.
David A. Plaisted,
D. Plaisted,
1984,
CADE.
David A. Plaisted,
Amos R. Omondi,
A. Omondi,
1995,
Future Gener. Comput. Syst..
David A. Plaisted,
Richard C. Potter,
1991,
J. Symb. Comput..
David A. Plaisted,
Yunshan Zhu,
Yunshan Zhu,
1999,
Computational intelligence.
David A. Plaisted,
Yunshan Zhu,
1998,
FTP.
Nachum Dershowitz,
David A. Plaisted,
D. Plaisted,
1985
.
David A. Plaisted,
Geoffrey D. Alexander,
1996,
Satisfiability Problem: Theory and Applications.
David A. Plaisted,
Heng Chu,
1993,
AAAI.
David A. Plaisted,
D. Plaisted,
1977,
18th Annual Symposium on Foundations of Computer Science (sfcs 1977).
Maria Paola Bonacina,
David A. Plaisted,
2014
.
David A. Plaisted,
Jiarong Hong,
J. Hong,
1987,
J. Algorithms.
Ritu Chadha,
David A. Plaisted,
1993,
ISMIS.
David A. Plaisted,
D. Plaisted,
1990,
SIAM J. Comput..
David A. Plaisted,
Swaha Miller,
2005,
TABLEAUX.
David A. Plaisted,
1980,
AAAI.
David A. Plaisted,
D. Plaisted,
1976,
17th Annual Symposium on Foundations of Computer Science (sfcs 1976).
David A. Plaisted,
Shie-Jue Lee,
1994,
Artif. Intell..
Nachum Dershowitz,
David A. Plaisted,
D. Plaisted,
2001
.
David A. Plaisted,
Shie-Jue Lee,
D. Plaisted,
1994,
Methods Log. Comput. Sci..
Maria Paola Bonacina,
David A. Plaisted,
D. Plaisted,
2017,
Journal of Automated Reasoning.
David A. Plaisted,
Yunshan Zhu,
Yunshan Zhu,
1997
.
David A. Plaisted,
D. Plaisted,
2020,
ArXiv.
David A. Plaisted,
1994,
CADE.
David A. Plaisted,
1978,
SIAM J. Comput..
A decision procedure for combinations of propositional temporal logic and other specialized theories
David A. Plaisted,
D. Plaisted,
1986,
Journal of Automated Reasoning.
David A. Plaisted,
D. Plaisted,
2013
.
David A. Plaisted,
M. Paramasivam,
D. Plaisted,
1998,
Journal of Automated Reasoning.
David A. Plaisted,
Shie-Jue Lee,
1991
.
David A. Plaisted,
Heng Chu,
D. Plaisted,
1994,
Fundam. Informaticae.
David A. Plaisted,
D. Plaisted,
1990,
Journal of Automated Reasoning.
David A. Plaisted,
Gregory Kucherov,
1999,
Inf. Process. Lett..
Nachum Dershowitz,
David A. Plaisted,
Jieh Hsiang,
1983,
IJCAI.
David A. Plaisted,
Swaha Miller,
2013,
Programming Logics.
David A. Plaisted,
2009,
New Generation Computing.
David A. Plaisted,
D. Plaisted,
2015,
CADE.
David A. Plaisted,
Shie-Jue Lee,
1992,
Proceedings ICCI `92: Fourth International Conference on Computing and Information.
David A. Plaisted,
D. Plaisted,
2019,
CADE.
David A. Plaisted,
Richard C. Potter,
1988,
CADE.
David A. Plaisted,
Shie-Jue Lee,
D. Plaisted,
1990
.
David A. Plaisted,
Yunshan Zhu,
Yunshan Zhu,
1997,
Journal of Automated Reasoning.
David A. Plaisted,
D. Plaisted,
1981,
Artif. Intell..
Armin Biere,
David A. Plaisted,
Yunshan Zhu,
2003,
Discret. Appl. Math..
David A. Plaisted,
D. Plaisted,
2000,
Applicable Algebra in Engineering, Communication and Computing.
David A. Plaisted,
Adnan H. Yahya,
D. Plaisted,
2003,
Artif. Intell..
Edward M. Reingold,
David A. Plaisted,
Kenneth J. Supowit,
1983,
SIAM J. Comput..
David A. Plaisted,
1988,
CADE.
David A. Plaisted,
Adnan H. Yahya,
2004,
Journal of Automated Reasoning.
David A. Plaisted,
Xumin Nie,
1989,
Artif. Intell..
David A. Plaisted,
Mauricio Osorio,
Bharat Jayaraman,
1999,
Sci. Comput. Program..
David A. Plaisted,
D. Plaisted,
2019,
ArXiv.
Nachum Dershowitz,
David A. Plaisted,
Stéphane Kaplan,
1991,
Theor. Comput. Sci..
Nachum Dershowitz,
David A. Plaisted,
Leo Bachmair,
1989
.
David A. Plaisted,
D. Plaisted,
2003,
ArXiv.
Paliath Narendran,
Wayne Snyder,
David A. Plaisted,
1988,
[1988] Proceedings. Third Annual Information Symposium on Logic in Computer Science.
David A. Plaisted,
Bharat Jayaraman,
1987,
FPCA.
David A. Plaisted,
Shie-Jue Lee,
Heng Chu,
1992,
CTRS.
Ritu Chadha,
David A. Plaisted,
D. Plaisted,
1993,
J. Symb. Comput..
David A. Plaisted,
1994
.
David A. Plaisted,
Shie-Jue Lee,
D. Plaisted,
1992,
Journal of Automated Reasoning.
José Meseguer,
Joseph A. Goguen,
David A. Plaisted,
1983
.
David A. Plaisted,
1987,
CTRS.
David A. Plaisted,
Samuel Zaks,
1980,
Discret. Appl. Math..
David A. Plaisted,
Bharat Jayaraman,
1989,
NACLP.
Ritu Chadha,
David A. Plaisted,
1994,
J. Log. Program..
David A. Plaisted,
D. Plaisted,
1985,
Inf. Control..
David A. Plaisted,
Andrea Sattler-Klein,
1996,
Inf. Comput..
David A. Plaisted,
D. Plaisted,
1993,
RTA.
Jean Goubault-Larrecq,
Alexander Leitsch,
David A. Plaisted,
2001,
Handbook of Automated Reasoning.
David A. Plaisted,
Shie-Jue Lee,
1995,
Comput. Artif. Intell..
David A. Plaisted,
D. Plaisted,
1985,
Inf. Process. Lett..
David A. Plaisted,
D. Plaisted,
1977,
18th Annual Symposium on Foundations of Computer Science (sfcs 1977).
David A. Plaisted,
D. Plaisted,
2003,
ArXiv.
David A. Plaisted,
Geoffrey D. Alexander,
D. Plaisted,
1992,
CADE.
Nachum Dershowitz,
David A. Plaisted,
D. Plaisted,
1985,
SOEN.
David A. Plaisted,
M. Paramasivam,
2004,
Journal of Automated Reasoning.
David A. Plaisted,
D. Plaisted,
1986,
LICS.
David A. Plaisted,
1979,
Theor. Comput. Sci..
David A. Plaisted,
Tao Tao,
D. Plaisted,
2021,
IAIT.
Maria Paola Bonacina,
David A. Plaisted,
D. Plaisted,
2014
.
Maria Paola Bonacina,
David A. Plaisted,
2014
.
David A. Plaisted,
D. Plaisted,
Geoffrey D. Alexander,
1995
.
David A. Plaisted,
Yunshan Zhu,
1999,
Computational Intelligence.
David A. Plaisted,
1994
.
David A. Plaisted,
Yunshan Zhu,
D. Plaisted,
1998
.
David A. Plaisted,
Stanley Jefferson,
1984
.
David A. Plaisted,
Shie-Jue Lee,
D. Plaisted,
1990
.