An Executable Formal Framework for Regular String Transformation in Rewriting Logic
محفوظ في:
| المؤلف الرئيسي: | unknown (author) |
|---|---|
| التنسيق: | masterThesis |
| منشور في: |
2020
|
| الموضوعات: | |
| الوصول للمادة أونلاين: | https://eprints.kfupm.edu.sa/id/eprint/140456/1/An_Executable_Formal_Framework_for_Regular_String_Transforamtion_in_Rewriting_Logic.pdf |
| الوسوم: |
إضافة وسم
لا توجد وسوم, كن أول من يضع وسما على هذه التسجيلة!
|
مواد مشابهة
-
An Executable Formal Framework for Regular String Transformation in Rewriting Logic
حسب: unknown
منشور في: (2020) -
A Formal Executable Semantics of Orc using the K Framework
حسب: unknown
منشور في: (2020) -
A Formal Executable Semantics of Orc using the K Framework
حسب: unknown
منشور في: (2020) -
Rewriting home
حسب: El Hajj, Sleiman
منشور في: (2018) -
On "learning term rewriting systems from entailment"
حسب: Rao, M.R.K.
منشور في: (2003)