Book
Proving Regularity Preservation of Term Rewrite Systems with Logic Programming Techniques «
Boeklezers.nl is a network for social reading. We help readers discover new books and authors, and bring readers in contact with each other and with writers. Read more ».
There are no messages on Preserving Regularity via Logic Programs wall yet.