Clausal Language

<language>

(CL) A programming language and proof system developed by Paul Voda and a colleague since 1997, written in Trilogy II.

Paul Voda Home.

Last updated: 2002-05-28

Nearby terms:

Class Oriented Ring Associated LanguageClass-Relation MethodClausal LanguageclauseClean

Try this search on Wikipedia, OneLook, Google


Loading