Вы здесь

Lincoln P.

Автор:

Вид Название Год Автор Серия Редакторы Колл. автор Источник Дата поступления
М All About Maunde - A High-Performance Logical Framework: How to Specify, Program and Verify Systems in Rewriting Logic 2007 Clavel M., Duran F., Eker S., Lincoln P., Marti-Oliet N., Meseguer J., Talcott C. Lecture Notes in Computer Science 30.10.2007
СТ Formally Verified On-Line Diagnosis 1997 Walter C. J., Lincoln P., Suri N. IEEE Trans. on Software Engineering 13.02.1998
СТ The Rewrite Rule Machine Node Architecture and Its Performance 1994 Lincoln P., Meseguer J., Ricciulli L. Lecture Notes in Computer Science 22.11.1994
СТ Compiling Rewriting onto SIMD and MIMD/SIMD Machines 1994 Lincoln P., Marti-Oliet N., Meseguer J., Ricciulli L. Lecture Notes in Computer Science 24.08.1994