Narciso Martí-Oliet

Narciso Martí-Oliet

2 ספרים במאגר

ספרים

Recent Trends in Algebraic Development TechniquesNarciso Martí-Oliet

Recent Trends in Algebraic Development Techniques

Narciso Martí-Oliet · 2013

Logic, Rewriting, and ConcurrencyNarciso Martí-Oliet

Logic, Rewriting, and Concurrency

Narciso Martí-Oliet · 2015

ספרים משותפים ואוספים

ספרים שבהם Narciso Martí-Oliet מופיע/ה ברשימת המחברים, לא כמחבר/ת הראשי/ת: ספרים משותפים, אוספים וסיכומים.

Rewriting Logic and Its ApplicationsKazuhiro Ogata

Rewriting Logic and Its Applications

Kazuhiro Ogata · 2024

Formal Methods : Foundations and ApplicationsChristiano Braga

Formal Methods : Foundations and Applications

Christiano Braga · 2015