Christopher Lynch
Christopher Lynch
Bestätigte E-Mail-Adresse bei clarkson.edu
Titel
Zitiert von
Zitiert von
Jahr
Basic paramodulation
L Bachmair, H Ganzinger, C Lynch, W Snyder
Information and computation 121 (2), 172-192, 1995
2031995
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
452011
Automatic decidability
C Lynch, B Morawska
Proceedings 17th Annual IEEE Symposium on Logic in Computer Science, 7-16, 2002
422002
Oriented equational logic programming is complete
C Lynch
Journal of Symbolic Computation 23 (1), 23-45, 1997
381997
Goal directed strategies for paramodulation
W Snyder, C Lynch
International Conference on Rewriting Techniques and Applications, 150-161, 1991
361991
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
Oriented equational logic programming is complete
C Lynch
Journal of Symbolic Computation 23 (1), 23-45, 1997
311997
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
302013
Basic syntactic mutation
C Lynch, B Morawska
International Conference on Automated Deduction, 471-485, 2002
292002
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
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
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
242012
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
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
Automatic decidability and combinability revisited
C Lynch, DK Tran
International Conference on Automated Deduction, 328-344, 2007
212007
Paramodulation without duplication
C Lynch
Proceedings of Tenth Annual IEEE Symposium on Logic in Computer Science, 167-177, 1995
211995
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
202013
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
Das System kann den Vorgang jetzt nicht ausführen. Versuchen Sie es später erneut.
Artikel 1–20