Subject
General Computer Science,Theoretical Computer Science
Reference5 articles.
1. Ueda, K., “Guarded Horn Clauses,” ICOT Tech. Report TR-103, ICOT, Tokyo, 1985. Also in Logic Programming '85, LNCS 221, Springer, 1986, 168–179
2. The Fifth Generation Project: Personal Perspectives;Shapiro;Comm. ACM,1993
3. Concurrent Logic/Constraint Programming: The Next 10 Years;Ueda,1999
4. Resource-Passing Concurrent Programming;Ueda,2001
5. LMNtal: A Language Model with Links and Membranes;Ueda,2005