Dale Miller

发表

Roberto Blanco, Zakaria Chihani, Dale Miller, 2017, CADE.
Dale Miller, Alexis Saurin, 2005, MFPS.
Dale Miller, Chris Hawblitzel, C. Hawblitzel, 2012, Lecture Notes in Computer Science.
Dale Miller, Chuck Liang, 2011, Ann. Pure Appl. Log..
Dale Miller, Kaustuv Chaudhuri, Stefan Hetzl, 2012, CSL.
Dale Miller, Bill French, Denise Dunyak, 2007 .
Gopalan Nadathur, Dale Miller, Andre Scedrov, 1987, Logic in Computer Science.
Dale Miller, David S. Kaufer, Christine M. Neuwirth, 1995, Designing User Interfaces for Hypermedia.
Gopalan Nadathur, Dale Miller, Frank Pfenning, 1991, Ann. Pure Appl. Log..
Dale Miller, Alwen Tiu, 2003, 18th Annual IEEE Symposium of Logic in Computer Science, 2003. Proceedings..
Dale Miller, Gramlich Bernhard, Sattler Uli, 2012, Lecture Notes in Computer Science.
Dale Miller, Alexis Saurin, Olivier Delande, 2010, Ann. Pure Appl. Log..
Dale Miller, Quentin Heath, 2015, PxTP@CADE.
Dale Miller, Dale Miller, 2009 .
Dale Miller, 2001, Electron. Notes Theor. Comput. Sci..
Dale Miller, D. Miller, 2000, Computational Logic.
Roberto Blanco, Dale Miller, Tomer Libal, 2016 .
Dale Miller, Catuscia Palamidessi, Raymond McDowell, 2003, Theor. Comput. Sci..
Dale Miller, D. Miller, 1996, Theor. Comput. Sci..
Dale Miller, Tomer Libal, 2016, FSCD.
Dale Miller, Elaine Pimentel, Elaine Pimentel, 2013, Theor. Comput. Sci..
Dale Miller, D. Miller, 1989, ICLP.
Dale Miller, 2006, Electron. Notes Theor. Comput. Sci..
Dale Miller, Philippe Rigo, John Clarkson, 2013 .
Amy P. Felty, Dale Miller, Frank Pfenning, 1990 .
Dale Miller, Ulysse Gérard, 2017, CSL.
Dale Miller, Quentin Heath, 2016, LINEARITY.
Dale Miller, Alberto Momigliano, Roberto Blanco, 2019, PPDP.
Dale Miller, Vivek Nigam, Vivek Nigam, 2010, Journal of Automated Reasoning.
Dale Miller, Chuck Liang, 2009, 2009 24th Annual IEEE Symposium on Logic In Computer Science.
Dale Miller, Marco Volpe, Sonia Marin, 2016, Advances in Modal Logic.
Roberto Blanco, Dale Miller, Tomer Libal, 2015, IWIL@LPAR.
Zakaria Chihani, Dale Miller, Fabien Renaud, 2013, CADE.
Gopalan Nadathur, Dale Miller, G. Nadathur, 2012 .
Dale Miller, D. Miller, 2006, PPDP '06.
Dale Miller, Christoph Benzmüller, Christoph Benzmüller, 2014, Computational Logic.
Dale Miller, Catuscia Palamidessi, Ivan Gazeau, 2013, Theor. Comput. Sci..
Dale Miller, D. Miller, 1986, SLP.
Dale Miller, D. Miller, 2006, IJCAR.
Dale Miller, Raymond McDowell, D. Miller, 2000, Theor. Comput. Sci..
Dale Miller, 2015, LOPSTR.
Gopalan Nadathur, Dale Miller, G. Nadathur, 1990, JACM.
Dale Miller, Alwen Tiu, D. Miller, 2005, TOCL.
Amy P. Felty, Gopalan Nadathur, Dale Miller, 1988, CADE.
Dale Miller, Kaustuv Chaudhuri, Matteo Cimini, 2015 .
Dale Miller, Alwen Tiu, 2013, CPP.
Dale Miller, Catuscia Palamidessi, 1999, CSUR.
Dale Miller, Joshua S. Hodas, J. S. Hodas, 1991, [1991] Proceedings Sixth Annual IEEE Symposium on Logic in Computer Science.
Roberto Blanco, Dale Miller, 2015, WoF'15.
Simon L. Peyton Jones, Cliff B. Jones, Murali Sitaraman, 2006, GPCE '06.
Dale Miller, Alwen Tiu, 2002, FSTTCS.
Dale Miller, Catuscia Palamidessi, Ivan Gazeau, 2012, QAPL.
Dale Miller, 2016, Formal Aspects of Computing.
Dale Miller, Alwen Tiu, A. Tiu, 2005, FGUC.
Gopalan Nadathur, Dale Miller, G. Nadathur, 1988, ICLP/SLP.
Dale Miller, Tomer Libal, 2016 .
Dale Miller, Raymond McDowell, 1997, Proceedings of Twelfth Annual IEEE Symposium on Logic in Computer Science.
Dale Miller, Alexis Saurin, Kaustuv Chaudhuri, 2008, IFIP TCS.
Dale Miller, David Baelde, 2007, LPAR.
Dale Miller, Catuscia Palamidessi, Ivan Gazeau, 2016, Theor. Comput. Sci..
Dale Miller, D. Miller, 1989 .
Dale Miller, D. Miller, 2019, ICDCIT.
Lokendra Shastri, Timothy W. Finin, Dale Miller, 1986, HLT.
Dale Miller, Jeremy G. Siek, Matteo Cimini, 2020, SLE.
Dale Miller, D. Miller, 2018, Journal of Automated Reasoning.
Dale Miller, Vivek Nigam, Vivek Nigam, 2008, IJCAR.
Dale Miller, D. Miller, 1993, ELP.
Dale Miller, D. Miller, 2015, Formal Aspects of Computing.
Amy P. Felty, Dale Miller, A. Felty, 1988, CADE.
Zakaria Chihani, Dale Miller, Fabien Renaud, 2013 .
Dale Miller, Kaustuv Chaudhuri, Matteo Manighetti, 2019, CPP.
Dale Miller, Quentin Heath, 2013 .
Dale Miller, Joshua S. Hodas, 1994, Inf. Comput..
Gopalan Nadathur, Dale Miller, David Baelde, 2014, J. Formaliz. Reason..
Dale Miller, Kaustuv Chaudhuri, Stefan Hetzl, 2016, J. Log. Comput..
Dale Miller, D. Miller, 1997 .
Dale Miller, Joshua S. Hodas, J. S. Hodas, 1990, ICLP.
Dale Miller, Elaine Pimentel, 2005, LPAR.
Dale Miller, John Hannan, J. Hannan, 1988, ICLP/SLP.
Dale Miller, D. Miller, 2003 .
Dale Miller, Raymond McDowell, D. Miller, 2000, TOCL.
Dale Miller, Jeremy G. Siek, Matteo Cimini, 2016, ArXiv.
Zakaria Chihani, Dale Miller, 2015, LSFA.
Dale Miller, John Hannan, J. Hannan, 1992, Mathematical Structures in Computer Science.
Dale Miller, John Hannan, J. Hannan, 1990, LISP and Functional Programming.
Dale Miller, Kaustuv Chaudhuri, Matteo Cimini, 2015, CPP.
Dale Miller, 2020, Logic, Language, and Security.
Dale Miller, Olivier Delande, D. Miller, 2008, 2008 23rd Annual IEEE Symposium on Logic in Computer Science.
Dale Miller, Raymond C. McDowell, D. Miller, 1997 .
Dale Miller, Chuck Liang, Dale Miller, 2013, Ann. Pure Appl. Log..
Dale Miller, D. Miller, 1992, J. Symb. Comput..
Dale Miller, David Baelde, Zachary Snow, 2010, IJCAR.
Zakaria Chihani, Dale Miller, Fabien Renaud, 2013, PxTP@CADE.
Gopalan Nadathur, Dale Miller, G. Nadathur, 1986, ACL.
Dale Miller, Kaustuv Chaudhuri, Yuting Wang, 2013 .
Gopalan Nadathur, Dale Miller, Andrew Gacek, 2008, 2008 23rd Annual IEEE Symposium on Logic in Computer Science.
Gopalan Nadathur, Dale Miller, Andrew Gacek, 2011, Inf. Comput..
Dale Miller, Catuscia Palamidessi, Axelle Ziegler, 2006, SOS@ICALP.
Gopalan Nadathur, Dale Miller, David Baelde, 2007, CADE.
Amy P. Felty, Dale Miller, Frank Pfenning, 1990, CADE.
Amy P. Felty, Dale Miller, A. Felty, 1986, AAAI.
Dale Miller, David S. Kaufer, Christine M. Neuwirth, 1992 .
Dale Miller, Marco Volpe, Marco Volpe, 2015, LPAR.
Dale Miller, Vivek Nigam, 2007, CSL.
Dale Miller, John Hannan, Dale A. Miller, 1989, META.
Gopalan Nadathur, Dale Miller, Andrew Gacek, 2009, Electron. Notes Theor. Comput. Sci..
Dale Miller, Tomer Libal, Marco Volpe, 2016 .
Dale Miller, Bernhard Gramlich, Uli Sattler, 2012 .
Dale Miller, Remo Pareschi, 1990, ICLP.
Dale Miller, D. Miller, 1989, J. Log. Program..
Zakaria Chihani, Dale Miller, Fabien Renaud, 2016, Journal of Automated Reasoning.
Dale Miller, D. Miller, 2002, AMAST.
Dale Miller, Alexandre Viel, 2021, Annals of Mathematics and Artificial Intelligence.
Dale Miller, Dale Miller, D. Miller, 2015 .
Dale Miller, Vivek Nigam, 2008 .