k-user AT lists.cs.illinois.edu
Subject: K-user mailing list
List archive
- From: Zans Mihejevs <zans.lancs AT googlemail.com>
- To: k-user AT lists.cs.illinois.edu
- Subject: [[K-user] ] Implementing a logic in K
- Date: Mon, 23 Jan 2017 13:37:11 +0000
Hi, I've seen a few tutorials on implementing languages in K, but I am struggling to find any explanation on how to express a logic.
Would anyone have any suggestions? I am currently interested in equational and predicate logics.
- [[K-user] ] Implementing a logic in K, Zans Mihejevs, 01/23/2017
Archive powered by MHonArc 2.6.19.