Christopher Lynch
Christopher Lynch
Verified email at clarkson.edu
Title
Cited by
Cited by
Year
Basic paramodulation
L Bachmair, H Ganzinger, C Lynch, W Snyder
Information and computation 121 (2), 172-192, 1995
2011995
Basic paramodulation and superposition
L Bachmair, H Ganzinger, C Lynch, W Snyder
International Conference on Automated Deduction, 462-476, 1992
1411992
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
492011
Automatic decidability
C Lynch, B Morawska
Proceedings 17th Annual IEEE Symposium on Logic in Computer Science, 7-16, 2002
432002
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
381991
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
332013
Oriented equational logic programming is complete
C Lynch
Journal of Symbolic Computation 23 (1), 23-45, 1997
321997
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
New machine-learning technologies for computer-aided diagnosis
CJ Lynch, C Liston
Nature medicine 24 (9), 1304-1305, 2018
292018
Distribution and incidence of necrotic and non-necrotic strains of bean yellow mosaic virus in wild and crop lupins
Y Cheng, RAC Jones
Australian journal of agricultural research 50 (4), 589-600, 1999
291999
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
281999
Basic syntactic mutation
C Lynch, B Morawska
International Conference on Automated Deduction, 471-485, 2002
272002
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
252012
On Deciding Satisfiability by DPLL() and Unsound Theorem Proving
MP Bonacina, C Lynch, L De Moura
International Conference on Automated Deduction, 35-50, 2009
252009
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
242007
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
222013
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
222011
Paramodulation without duplication
C Lynch
Proceedings of Tenth Annual IEEE Symposium on Logic in Computer Science, 167-177, 1995
221995
Automatic decidability and combinability revisited
C Lynch, DK Tran
International Conference on Automated Deduction, 328-344, 2007
212007
The system can't perform the operation now. Try again later.
Articles 1–20