Вы здесь
Marti-Oliet N.
Автор:
| Вид | Название | Год | Автор | Серия | Редакторы | Колл. автор | Источник | Дата поступления |
|---|---|---|---|---|---|---|---|---|
| М | 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 | |||
| СТ | Towards a Verification Logic for Rewriting Logic | 2000 | Fiadeiro J. L., Maibaum T., Marti-Oliet N., Meseguer J., Pita I. | Lecture Notes in Computer Science | 13.10.2000 | |||
| П | From Petri Nets to Linear Logic | 1989 | Marti-Oliet N., Meseguer J. | SRI Intern. | 20.06.1995 | |||
| СТ | From Abstract Data Types to Logical Framework | 1995 | Meseguer J., Marti-Oliet N. | Lecture Notes in Computer Science | 24.05.1995 | |||
| СТ | 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 |
Редактор:
| Вид | Название | Год | Автор | Серия | Редакторы | Колл. автор | Источник | Дата поступления |
|---|---|---|---|---|---|---|---|---|
| СБ | Rewriting Logic and Its Applications: Revised Selected Papers/13th International Workshop, WRLA 202, Virtual Event, October 2020 | 2020 | Lecture Notes in Computer Science |
|
15.01.2021 | |||
| СБ | Logic, Rewriting, and Concurrency: Essays Dedicated to Jose Meseguer on the Occasion of His 65th Birthday | 2015 | Lecture Notes in Computer Science |
|
15.09.2015 | |||
| СБ | Formal Methods: Foundations and Applications: Proc./17th Brazilian Symposium, SBMF 2014, Maceio,AL,Brazil, September 2014 | 2015 | Lecture Notes in Computer Science |
|
18.01.2015 | |||
| СБ | Recent Trends in Algebraic Development Techniques: Revised Selected Papers/21st International Workshop, WART 2012, Salamanca. Spain, June 2013 | 2013 | Lecture Notes in Computer Science |
|
11.06.2013 |