Patrick Lincoln

Patrick Lincoln

SRI International - California / United States
Engineering & Technology / Computer Science
AD Scientific Index ID: 4388842
-
person_outline Patrick Lincoln's MOST POPULAR ARTICLES
1-) Some toolsM Clavel, F Durán, S Eker, P Lincoln, N Martí-Oliet, J Meseguer, C Talcott, ...All About Maude-A High-Performance Logical Framework: How to Specify …, 200716262007
2-) Maude: Specification and programming in rewriting logicM Clavel, F Durán, S Eker, P Lincoln, N Martı-Oliet, J Meseguer, ...Theoretical Computer Science 285 (2), 187-243, 200210852002
3-) Architectural support for copy and tamper resistant softwareD Lie, C Thekkath, M Mitchell, P Lincoln, D Boneh, J Mitchell, M HorowitzAcm Sigplan Notices 35 (11), 168-177, 200010192000
4-) Decision problems for propositional linear logicP Lincoln, J Mitchell, A Scedrov, N ShankarAnnals of pure and applied logic 56 (1-3), 239-311, 19924141992
5-) The maude 2.0 systemM Clavel, F Durán, S Eker, P Lincoln, N Martí-Oliet, J Meseguer, C TalcottInternational Conference on Rewriting Techniques and Applications, 76-87, 20034102003