Bag languages, concurrency, Horn logic programs, and linear logic.

Daniel E. Cooke, Richard Duran, Ann Q. Gates, Vladik Kreinovich

Browse the full SEKE paper archive.