Sets with restricted universal quantifiers.
["Logic Programming with Sets", G. Kuper, J Computer Sys Sci 41:44-64 (1990)].
(03 Feb 2009)
LP MUD, LPO, lpr, L Princeteau < Prev | Next > LPS, lp spooler, LPT, Lr
Bookmark with: ![]() | word visualiser | Go and visit our forums ![]() |
LPO, lpr, L Princeteau, LPS < Prev | Next > lp spooler, LPT, Lr, lr
Bookmark with: ![]() | word visualiser | Go and visit our forums ![]() |

dictionary help





