Travelled to:1 × Latvia
Collaborated with:D.E.Cooke A.Q.Gates V.Kreinovich
Talks about:logic (2) program (1) languag (1) concurr (1) linear (1) horn (1) bag (1)
Person: Richard Duran
DBLP: Duran:Richard
Contributed to:
1994Wrote 1 papers:
- SEKE-1994-CookeDGK #concurrent #linear #logic programming #source code
- Bag languages, concurrency, Horn logic programs, and linear logic (DEC, RD, AQG, VK), pp. 289–297.