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...
Saved in:
| Main Authors: | , |
|---|---|
| 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 |