Christopher Lynch
发表
Wayne Snyder,
Harald Ganzinger,
Leo Bachmair,
1995,
Inf. Comput..
Christopher Lynch,
Christelle Scharff,
1998,
AISC.
Christopher Lynch,
Ajay Kumar Eeralla,
2020,
Math. Struct. Comput. Sci..
Christopher Lynch,
Barbara Morawska,
C. Lynch,
2002,
CADE.
Maria Paola Bonacina,
Leonardo Mendonça de Moura,
Christopher Lynch,
2009,
CADE.
Wayne Snyder,
Christopher Lynch,
1993,
RTA.
Andrew J. Collins,
Erika Frydenlund,
Christopher Lynch,
2019,
SSRN Electronic Journal.
Christopher Lynch,
Yuefeng Tang,
C. Lynch,
2008,
FICS.
Christopher Lynch,
Forrest E. Morgan,
Myron Hura,
2018
.
Christopher Lynch,
1998,
AISC.
Hai Lin,
Christopher Lynch,
Jeremy Bongio,
2008,
SMT@CAV.
José Meseguer,
Paliath Narendran,
Santiago Escobar,
2013,
CADE.
Wayne Snyder,
Harald Ganzinger,
Leo Bachmair,
1992,
CADE.
Michaël Rusinowitch,
Paliath Narendran,
Serdar Erbatur,
2012,
IJCAR.
Christopher Lynch,
2007
.
Quang-Trung Ta,
Duc-Khanh Tran,
Christopher Lynch,
2012,
Journal of Automated Reasoning.
Duc-Khanh Tran,
Christopher Lynch,
C. Lynch,
2007,
CADE.
Christopher Lynch,
C. Lynch,
1997,
RTA.
Hani Hagras,
Victor Callaghan,
Christopher Lynch,
2006,
2006 IEEE International Conference on Fuzzy Systems.
Christopher Lynch,
Barbara Morawska,
C. Lynch,
2001,
LPAR.
Christopher Lynch,
Polina Strogova,
1998,
Discret. Math. Theor. Comput. Sci..
Christopher Lynch,
Barbara Morawska,
C. Lynch,
2001,
RTA.
Wayne Snyder,
Christopher Lynch,
C. Lynch,
1991,
RTA.
Christopher Lynch,
2003,
CADE.
Christopher Lynch,
Barbara Morawska,
C. Lynch,
2005,
RTA.
Paliath Narendran,
Dohan Kim,
Christopher Lynch,
2019,
FroCos.
Claude Kirchner,
Christopher Lynch,
Christelle Scharff,
1996,
RTA.
Harald Ganzinger,
David A. McAllester,
Leo Bachmair,
2001,
Handbook of Automated Reasoning.
Christopher Lynch,
Erin Hanna,
David Jaz Myers,
2019,
Foundations of Security, Protocols, and Equational Reasoning.
Wayne Snyder,
Christopher Lynch,
C. Lynch,
1993,
Theor. Comput. Sci..
Michaël Rusinowitch,
Paliath Narendran,
Siva Anantharaman,
2009,
Journal of Automated Reasoning.
Hani Hagras,
Victor Callaghan,
Christopher Lynch,
2005,
The 14th IEEE International Conference on Fuzzy Systems, 2005. FUZZ '05..
Christopher Lynch,
1998,
Inf. Comput..
Duc-Khanh Tran,
Christopher Lynch,
2008,
ATVA.
Michaël Rusinowitch,
Paliath Narendran,
Siva Anantharaman,
2010,
ASIACCS '10.
Christopher Lynch,
2010,
RTA.
Christopher Lynch,
C. Lynch,
1995,
J. Symb. Comput..
Paliath Narendran,
Catherine Meadows,
Veena Ravishankar,
2019,
FroCos.
Maria Paola Bonacina,
Leonardo Mendonça de Moura,
Christopher Lynch,
2011,
Journal of Automated Reasoning.
Christopher Lynch,
Polina Strogova,
C. Lynch,
1996,
AISMC.
Michaël Rusinowitch,
Paliath Narendran,
Siva Anantharaman,
2009,
FroCoS.
James Syme,
Christopher Lynch,
Forrest E. Morgan,
2018
.
Christopher Lynch,
C. Lynch,
1995,
Proceedings of Tenth Annual IEEE Symposium on Logic in Computer Science.
Christopher Lynch,
2013,
Programming Logics.
Zhiqiang Liu,
Christopher Lynch,
C. Lynch,
2011,
CADE.
Stéphanie Delaune,
Hai Lin,
Christopher Lynch,
2007,
LPAR.
Christopher Lynch,
Barbara Morawska,
C. Lynch,
2002,
Proceedings 17th Annual IEEE Symposium on Logic in Computer Science.
Catherine A. Meadows,
Christopher Lynch,
C. Lynch,
2004,
ICICS.
Christopher Lynch,
1992
.
José Meseguer,
Paliath Narendran,
Santiago Escobar,
2011,
PPDP.
Hani Hagras,
Victor Callaghan,
Christopher Lynch,
2007,
2007 IEEE International Fuzzy Systems Conference.
Catherine A. Meadows,
Christopher Lynch,
C. Lynch,
2005,
ARSPA@IJCAR.
James Syme,
Christopher Lynch,
Forrest E. Morgan,
2018
.
Hai Lin,
Christopher Lynch,
Todd Deshane,
2007,
CADE.
Christopher Lynch,
Ralph Eric McGregor,
2009,
FroCoS.
Christopher Lynch,
2010,
RTA.
Paliath Narendran,
Kimberly A. Gero,
Christopher Bouchard,
2013,
FroCos.
Mahyar A. Amouzegar,
Christopher Lynch,
Ken Munson,
2015
.
Christopher W. Lum,
Christopher Lynch,
Ang Sherpa,
2019,
AIAA Scitech 2019 Forum.
Christophe Ringeissen,
Silvio Ranise,
Duc-Khanh Tran,
2011,
Inf. Comput..
Christopher Lynch,
C. Lynch,
2004,
CSL.
Christopher Lynch,
1994,
CCL.
Wayne Snyder,
Christopher Lynch,
1990,
CTRS.
Christopher Lynch,
Barbara Morawska,
C. Lynch,
2001,
IJCAR.
Christopher Lynch,
Yuefeng Tang,
2008,
ATVA.
José Meseguer,
Paliath Narendran,
Santiago Escobar,
2012,
ESORICS.
Christopher Lynch,
Christelle Scharff,
C. Lynch,
1999,
Fundam. Informaticae.
Christopher Lynch,
Dohan Kim,
C. Lynch,
2021,
FSCD.
Christopher Lynch,
Dohan Kim,
C. Lynch,
2021,
SCSS.
Christopher Lynch,
Polina Strogova,
C. Lynch,
1995
.
Claude Kirchner,
Christopher Lynch,
Christelle Scharff,
1996
.
Christopher Lynch,
Max Moser,
C. Lynch,
1995
.