Generating truth values and tic-tac-toe game configurations using Maude

Rewriting logic is reflective of mathematical logic and it can be used to express logical statements of any kind. This feature is embedded in Maude, which makes it an ideal programming language in terms of rewriting logic. In this paper, we created modules to generate truth table given the variables...

Full description

Saved in:
Bibliographic Details
Main Authors: Saguisag, Jasmine Yvonne, Uro, Jason Salvador
Format: text
Language:English
Published: Animo Repository 2014
Subjects:
Online Access:https://animorepository.dlsu.edu.ph/etd_bachelors/17987
https://animorepository.dlsu.edu.ph/context/etd_bachelors/article/18500/viewcontent/thesis_paper2.pdf
Tags: Add Tag
No Tags, Be the first to tag this record!
Institution: De La Salle University
Language: English
Be the first to leave a comment!
You must be logged in first