Higher-order concurrent linear logic programming
Journal
-
- Lecture Notes in Computer Science
-
Lecture Notes in Computer Science 907 137-166, 1995
- Tweet
Details 詳細情報について
-
- CRID
- 1571417126676277120
-
- NII Article ID
- 80008315050
-
- Data Source
-
- CiNii Articles