Distributed concurrent linear logic programming

Authors:
Naoki Kobayashi;Toshihiro Shimizu;Akinori Yonezawa
Affiliations:
-;-;-
Venue:
Theoretical Computer Science - Special issue on linear logic, 1
Year:
1999

Citing 0
Cited 3

Time regions and effects for resource usage analysis

Proceedings of the 2003 ACM SIGPLAN international workshop on Types in languages design and implementation
Disjunction and modular goal-directed proof search

ACM Transactions on Computational Logic (TOCL)
Linear and affine logics with temporal, spatial and epistemic operators

Theoretical Computer Science

Quantified Score

Hi-index	0.00

Visualization

Abstract