Logic, Rewriting, and Concurrency المزيد من كتب Narciso Martí-Oliet, Peter Csaba Ölveczky & Carolyn Talcott

Rewriting Logic and Its Applications

٢٠٢٤

All About Maude - A High-Performance Logical Framework

٢٠٠٧