LPS - Sets with restricted universal quantifiers. "Logic Programming with Sets", G. Kuper, J Computer Sys Sci 41:44-64 (1990). Comments, Experience, Additions Name: * Email Address: * City, Country: Comments: * 19 plus 1? * Robot Spam Prevention Next Language: LRLTRAN
Language Search
Browse by Letter