Keiko Ishihara

From MaRDI portal
Person:2743639



List of research outcomes

This list is not complete and representing at the moment only items from zbMATH Open and arXiv. We are working on additional sources - please check back here soon!

PublicationDate of PublicationType
The completeness of linear logic for Petri net models
Logic Journal of the IGPL
2002-03-12Paper


Research outcomes over time


This page was built for person: Keiko Ishihara