Erik Rosenthal

发表

Neil V. Murray, Erik Rosenthal, Erik Rosenthal, 1987, ISMIS.
Neil V. Murray, Erik Rosenthal, Erik Rosenthal, 2005, TABLEAUX.
James J. Lu, Erik Rosenthal, 1997, The Computer Science and Engineering Handbook.
Neil V. Murray, Erik Rosenthal, 1987, AAAI.
Neil V. Murray, Erik Rosenthal, Erik Rosenthal, 2009, ISMIS.
Neil V. Murray, Erik Rosenthal, 1994, Theor. Comput. Sci..
Reiner Hähnle, Erik Rosenthal, Neil Murray, 2002 .
Neil V. Murray, Erik Rosenthal, 1991, ISMIS.
Neil V. Murray, Erik Rosenthal, 2010, Fundam. Informaticae.
Neil V. Murray, Erik Rosenthal, Erik Rosenthal, 1991, [1991] Proceedings of the Twenty-First International Symposium on Multiple-Valued Logic.
Neil V. Murray, Erik Rosenthal, 1985, European Conference on Computer Algebra.
Neil V. Murray, Erik Rosenthal, Erik Rosenthal, 1988, CADE.
Neil V. Murray, James J. Lu, Erik Rosenthal, 2004, Journal of Automated Reasoning.
Neil V. Murray, James J. Lu, Erik Rosenthal, 1998, JELIA.
Neil V. Murray, Erik Rosenthal, Erik Rosenthal, 2007, TABLEAUX.
Neil V. Murray, Erik Rosenthal, Andrew Matusiewicz, 2009, KEOD.
Neil V. Murray, Peter Rosenthal, James J. Lu, 2002, ISMIS.
Neil V. Murray, Erik Rosenthal, 2006, Journal of Automated Reasoning.
Neil V. Murray, Erik Rosenthal, 2009, Knowledge and Information Systems.
Neil V. Murray, James J. Lu, Erik Rosenthal, 1993, [1993] Proceedings of the Twenty-Third International Symposium on Multiple-Valued Logic.
Erik Rosenthal, Erik Rosenthal, 2005, TABLEAUX.
Neil V. Murray, James J. Lu, Erik Rosenthal, 2001, J. Frankl. Inst..
Neil V. Murray, James J. Lu, Erik Rosenthal, 2000, ISMIS.
Neil V. Murray, Erik Rosenthal, 1990, ISSAC '90.
Reiner Hähnle, Neil V. Murray, Erik Rosenthal, 2005, ISMIS.
Reiner Hähnle, Neil V. Murray, Erik Rosenthal, 1997, ISMIS.
Neil V. Murray, Erik Rosenthal, 1994, Fundam. Informaticae.
Neil V. Murray, Erik Rosenthal, 1985, IJCAI.
Neil V. Murray, Erik Rosenthal, Andrew Matusiewicz, 2010, PAAR@IJCAR.
Neil V. Murray, Erik Rosenthal, Andrew Matusiewicz, 2011, ISMIS.
Neil V. Murray, Erik Rosenthal, 1987, J. Symb. Comput..
Neil V. Murray, Erik Rosenthal, 2005, ISMIS.
Neil V. Murray, Erik Rosenthal, Paul W. Olsen, 2017, J. Log. Comput..
Neil V. Murray, Erik Rosenthal, Erik Rosenthal, 1990, CADE.
Neil V. Murray, Erik Rosenthal, 1986, CADE.
Neil V. Murray, Erik Rosenthal, 2010, J. Log. Comput..
Neil V. Murray, Erik Rosenthal, 1993, JACM.
Neil V. Murray, James J. Lu, Erik Rosenthal, 1994, ISMIS.
Reiner Hähnle, Neil V. Murray, Erik Rosenthal, 2001, IJCAR.
Neil V. Murray, Erik Rosenthal, 2008, ISMIS.
Reiner Hähnle, Neil V. Murray, Erik Rosenthal, 1998, TABLEAUX.
Neil V. Murray, Erik Rosenthal, 1993, ISMIS.
Neil V. Murray, Erik Rosenthal, Erik Rosenthal, 1994, Bull. IGPL.
Neil V. Murray, Erik Rosenthal, Andrew Matusiewicz, 2009, TABLEAUX.
Neil V. Murray, James J. Lu, Erik Rosenthal, 2005, J. Multiple Valued Log. Soft Comput..
Neil V. Murray, Erik Rosenthal, 1989, ISSAC '89.
Neil V. Murray, Erik Rosenthal, Erik Rosenthal, 1987, JACM.
Neil V. Murray, James J. Lu, Erik Rosenthal, 1999, FSTTCS.
Neil V. Murray, Erik Rosenthal, 1985, AAECC.
Reiner Hähnle, Neil V. Murray, Erik Rosenthal, 2004, Theor. Comput. Sci..
Neil V. Murray, Erik Rosenthal, Seth Chaiken, 1989 .
Erik Rosenthal, Anavai Ramesh, Neil Murray, 1995 .