Tools and Techniques for Multi-Valued Networks using Rewriting Logic

Dr. Jason StegglesAbdullah Saleh A Alhumaidan2022-05-292022-05-2940721https://drepo.sdl.edu.sa/handle/20.500.14154/48447Tools and Techniques for Multi-Valued Networks using Rewriting LogicThesis