Follow
Christopher Lynch
Christopher Lynch
Verified email at clarkson.edu
Title
Cited by
Cited by
Year
Paramodulation-based theorem proving
J Hsiang, C Lynch, M Rusinowitch
Handbook of automated reasoning 1, 371, 2001
4842001
Basic paramodulation
L Bachmair, H Ganzinger, C Lynch, W Snyder
Information and computation 121 (2), 172-192, 1995
2081995
Basic paramodulation and superposition
L Bachmair, H Ganzinger, C Lynch, W Snyder
International Conference on Automated Deduction, 462-476, 1992
1481992
On deciding satisfiability by theorem proving with speculative inferences
MP Bonacina, CA Lynch, L De Moura
Journal of Automated Reasoning 47 (2), 161-189, 2011
532011
Automatic decidability
C Lynch, B Morawska
Proceedings 17th Annual IEEE Symposium on Logic in Computer Science, 7-16, 2002
452002
On forward closure and the finite variant property
C Bouchard, KA Gero, C Lynch, P Narendran
International Symposium on Frontiers of Combining Systems, 327-342, 2013
432013
Oriented equational logic programming is complete
C Lynch
Journal of Symbolic Computation 23 (1), 23-45, 1997
391997
Goal directed strategies for paramodulation
W Snyder, C Lynch
International Conference on Rewriting Techniques and Applications, 150-161, 1991
371991
Oriented equational logic programming is complete
C Lynch
Journal of Symbolic Computation 23 (1), 23-45, 1997
331997
Basic syntactic mutation
C Lynch, B Morawska
International Conference on Automated Deduction, 471-485, 2002
322002
On the relative soundness of the free algebra model for public key encryption
C Lynch, C Meadows
Electronic Notes in Theoretical Computer Science 125 (1), 43-54, 2005
312005
On Deciding Satisfiability by DPLL() and Unsound Theorem Proving
MP Bonacina, C Lynch, L Moura
International Conference on Automated Deduction, 35-50, 2009
292009
Mapping the active site topography of the NAD-malic enzyme via alanine-scanning site-directed mutagenesis
WE Karsten, L Chooback, D Liu, CC Hwang, C Lynch, PF Cook
Biochemistry 38 (32), 10527-10532, 1999
291999
Asymmetric unification: A new unification paradigm for cryptographic protocol analysis
S Erbatur, S Escobar, D Kapur, Z Liu, CA Lynch, C Meadows, J Meseguer, ...
International Conference on Automated Deduction, 231-248, 2013
262013
Effective symbolic protocol analysis via equational irreducibility conditions
S Erbatur, S Escobar, D Kapur, Z Liu, C Lynch, C Meadows, J Meseguer, ...
European Symposium on Research in Computer Security, 73-90, 2012
262012
Delving of sandy surfaced soils reduces frost damage in wheat crops
M Rebbeck, C Lynch, PT Hayman, VO Sadras
Australian Journal of Agricultural Research 58 (2), 105-112, 2007
252007
Protocol analysis in Maude-NPA using unification modulo homomorphic encryption
S Escobar, D Kapur, C Lynch, C Meadows, J Meseguer, P Narendran, ...
Proceedings of the 13th international ACM SIGPLAN symposium on Principles …, 2011
242011
Paramodulation without duplication
C Lynch
Proceedings of Tenth Annual IEEE Symposium on Logic in Computer Science, 167-177, 1995
231995
Automatic decidability and combinability revisited
C Lynch, DK Tran
International Conference on Automated Deduction, 328-344, 2007
212007
Cap unification: application to protocol security modulo homomorphic encryption
S Anantharaman, H Lin, C Lynch, P Narendran, M Rusinowitch
Proceedings of the 5th ACM Symposium on Information, Computer and …, 2010
192010
The system can't perform the operation now. Try again later.
Articles 1–20