An Executable Formal Framework for Regular String Transformation in Rewriting Logic
Saved in:
| Main Author: | |
|---|---|
| Format: | masterThesis |
| Published: |
2020
|
| Subjects: | |
| Online Access: | https://eprints.kfupm.edu.sa/id/eprint/140456/1/An_Executable_Formal_Framework_for_Regular_String_Transforamtion_in_Rewriting_Logic.pdf |
| Tags: |
Add Tag
No Tags, Be the first to tag this record!
|
| _version_ | 1864513386319970305 |
|---|---|
| author | unknown |
| author_facet | unknown |
| author_role | author |
| dc.creator.*.fl_str_mv | unknown |
| dc.date.*.fl_str_mv | 2020 |
| dc.format.none.fl_str_mv | application/pdf |
| dc.identifier.none.fl_str_mv | 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. Masters thesis, King Fahd University of Petroleum and Minerals. |
| dc.language.none.fl_str_mv | en |
| dc.relation.none.fl_str_mv | https://eprints.kfupm.edu.sa/id/eprint/140456/ |
| dc.rights.*.fl_str_mv | info:eu-repo/semantics/openAccess |
| dc.subject.none.fl_str_mv | Computer |
| dc.title.none.fl_str_mv | An Executable Formal Framework for Regular String Transformation in Rewriting Logic |
| dc.type.none.fl_str_mv | Thesis NonPeerReviewed info:eu-repo/semantics/publishedVersion info:eu-repo/semantics/masterThesis |
| eu_rights_str_mv | openAccess |
| format | masterThesis |
| id | KFUPM_fa7d1cbfa43f4eedc316742d3c1d1b3b |
| identifier_str_mv | An Executable Formal Framework for Regular String Transformation in Rewriting Logic. Masters thesis, King Fahd University of Petroleum and Minerals. |
| language_invalid_str_mv | en |
| network_acronym_str | KFUPM |
| network_name_str | King Fahd University of Petroleum and Minerals |
| oai_identifier_str | oai::140456 |
| publishDate | 2020 |
| repository.mail.fl_str_mv | |
| repository.name.fl_str_mv | |
| repository_id_str | |
| spelling | An Executable Formal Framework for Regular String Transformation in Rewriting LogicComputerThesisNonPeerReviewedinfo:eu-repo/semantics/publishedVersioninfo:eu-repo/semantics/masterThesisapplication/pdfhttps://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. Masters thesis, King Fahd University of Petroleum and Minerals. enhttps://eprints.kfupm.edu.sa/id/eprint/140456/2020info:eu-repo/semantics/openAccessunknownoai::1404562020-12-30T13:17:09Z |
| spellingShingle | An Executable Formal Framework for Regular String Transformation in Rewriting Logic unknown Computer |
| status_str | publishedVersion |
| title | An Executable Formal Framework for Regular String Transformation in Rewriting Logic |
| title_full | An Executable Formal Framework for Regular String Transformation in Rewriting Logic |
| title_fullStr | An Executable Formal Framework for Regular String Transformation in Rewriting Logic |
| title_full_unstemmed | An Executable Formal Framework for Regular String Transformation in Rewriting Logic |
| title_short | An Executable Formal Framework for Regular String Transformation in Rewriting Logic |
| title_sort | An Executable Formal Framework for Regular String Transformation in Rewriting Logic |
| topic | Computer |
| url | https://eprints.kfupm.edu.sa/id/eprint/140456/1/An_Executable_Formal_Framework_for_Regular_String_Transforamtion_in_Rewriting_Logic.pdf |