D. Miller

发表

Quentin Heath, D. Miller, 2018, Journal of Automated Reasoning.
Chuck Liang, D. Miller, Chuck C. Liang, 2012 .
Dale Miller, Joshua S. Hodas, J. S. Hodas, 1991, [1991] Proceedings Sixth Annual IEEE Symposium on Logic in Computer Science.
Gopalan Nadathur, Dale Miller, Frank Pfenning, 1991, Ann. Pure Appl. Log..
Dale Miller, D. Miller, 2002, AMAST.
Dale Miller, Catuscia Palamidessi, Ivan Gazeau, 2013, Theor. Comput. Sci..
Dale Miller, D. Miller, 1992, J. Symb. Comput..
Dale Miller, D. Miller, 2010, FICS.
Zakaria Chihani, Dale Miller, Fabien Renaud, 2016, Journal of Automated Reasoning.
Dale Miller, Kaustuv Chaudhuri, Stefan Hetzl, 2016, J. Log. Comput..
Stefan Hetzl, Dale Miller, Kaustuv Chaudhuri, 2012 .
Dale Miller, Tiu Alwen, D. Miller, 2010 .
Dale Miller, Vivek Nigam, Vivek Nigam, 2008, IJCAR.
Chuck Liang, Dale Miller, Chuck Liang, 2009, Theor. Comput. Sci..
Simon L. Peyton Jones, Cliff B. Jones, Murali Sitaraman, 2006, GPCE '06.
Dale Miller, Chris Hawblitzel, C. Hawblitzel, 2012, Lecture Notes in Computer Science.
Dale Miller, D. Miller, 2006, IJCAR.
Dale A. Miller, J. Wajs, D. Miller, 2002 .
Dale Miller, Christoph Benzmüller, Christoph Benzmüller, 2014, Computational Logic.
Gopalan Nadathur, Dale Miller, Andre Scedrov, 1987, Logic in Computer Science.
Elaine Pimentel, Dale Miller, Marco Volpe, 2022, Ann. Pure Appl. Log..
Dale Miller, D. Miller, 2019, Philosophy & Technology.
Dale Miller, D. Miller, 2018, Journal of Automated Reasoning.
Dale Miller, D. Miller, 1989, J. Log. Program..
Amy P. Felty, Dale Miller, A. Felty, 1988, CADE.
Amy P. Felty, Gopalan Nadathur, Dale Miller, 1988, CADE.
Dale Miller, Dale Miller, D. Miller, 2015 .
Dale A. Miller, G. Nadathur, D. Miller, 1988 .
Gopalan Nadathur, Dale Miller, G. Nadathur, 1988, ICLP/SLP.
John Hannan, Dale Miller, J. Hannan, 1988 .
Dale Miller, Elaine Pimentel, Elaine Pimentel, 2013, Theor. Comput. Sci..
D. Miller, 2021, Theory Pract. Log. Program..
Dale Miller, Raymond McDowell, D. Miller, 2000, Theor. Comput. Sci..
Dale A. Miller, A. Felty, D. Miller, 1987 .
Amy P. Felty, Dale Miller, A. Felty, 1986, AAAI.
Dale Miller, Alberto Momigliano, Roberto Blanco, 2019, PPDP.
Dale Miller, D. Miller, 2006, PPDP '06.
Dale Miller, D. Miller, 1993, ELP.
Gopalan Nadathur, Dale Miller, G. Nadathur, 1990, JACM.
Dale Miller, D. Miller, 1989, ICLP.
Dale Miller, D. Miller, 1996, Theor. Comput. Sci..
Dale Miller, Marco Volpe, Marco Volpe, 2015, LPAR.
Dale Miller, Marco Volpe, Sonia Marin, 2016, Advances in Modal Logic.
Catuscia Palamidessi, Raymond McDowell, Dale Miller, 2003, Linear Logic Tokyo Meeting.
Dale Miller, Catuscia Palamidessi, Axelle Ziegler, 2006, SOS@ICALP.
Dale Miller, Alwen Tiu, A. Tiu, 2005, FGUC.
Dale Miller, D. Miller, 2000, Computational Logic.
Dale Miller, D. Miller, 1990, RCLP.
Dale Miller, A. Tiu, D. Miller, 2004 .
Dale Miller, Olivier Delande, D. Miller, 2008, 2008 23rd Annual IEEE Symposium on Logic in Computer Science.
Dale Miller, Alwen Tiu, D. Miller, 2005, TOCL.
Dale Miller, D. Miller, 1996, LACL.
G. Hardy, D. Miller, 2019, Philosophy & Technology.
Dale Miller, John Hannan, J. Hannan, 1990, LISP and Functional Programming.
Tomer Libal, D. Miller, 2016, Annals of Mathematics and Artificial Intelligence.
Dale Miller, D. Miller, 2015, Formal Aspects of Computing.
G. Nadathur, Kaustuv Chaudhuri, David Baelde, 2014, J. Formaliz. Reason..
Gopalan Nadathur, Dale Miller, G. Nadathur, 2012 .
Dale Miller, Raymond McDowell, D. Miller, 2000, TOCL.
Gopalan Nadathur, Dale Miller, G. Nadathur, 1986, ACL.
Dale Miller, John Hannan, J. Hannan, 1992, Mathematical Structures in Computer Science.
Dale Miller, D. Miller, 1989 .
Dale Miller, John Hannan, J. Hannan, 1988, ICLP/SLP.
Dale Miller, Raymond C. McDowell, D. Miller, 1997 .
Dale Miller, Quentin Heath, Quentin Heath, 2017, Journal of Automated Reasoning.
Dale Miller, D. Miller, 1986, SLP.
Dale Miller, D. Miller, 2019, ICDCIT.
Dale Miller, D. Miller, 1994, Proceedings Ninth Annual IEEE Symposium on Logic in Computer Science.
Marco Volpe, Sonia Marin, D. Miller, 2016, Advances in Modal Logic.
Dale Miller, Joshua S. Hodas, J. S. Hodas, 1990, ICLP.
Timothy W. Finin, L. Shastri, B. Webber, 1986, HLT.
David Baelde, David Baelde, D. Miller, 2007, TOCL.
Marco Volpe, D. Miller, 2015, LPAR.
Dale Miller, Alexis Saurin, Olivier Delande, 2010, Ann. Pure Appl. Log..
Dale Miller, Alexis Saurin, Kaustuv Chaudhuri, 2008, IFIP TCS.
Dale Miller, D. Miller, 1997 .