1 package returned for Tags:"Term_Rewriting"

Package type
Sort by
Options
The overall aim of this project is to create a term rewriting system that could be useful in everyday programming, and to represent data in a way that roughly correspond to the definition of a term in formal logic. Terms should be familiar to any programmer because they are basically constants,... More information