Travelled to:
1 × Italy
Collaborated with:
J.Lobo T.Murata
Talks about:
program (1) semant (1) petri (1) negat (1) logic (1) net (1)
Person: Teruhiro Shimura
DBLP: Shimura:Teruhiro
Contributed to:
Wrote 1 papers:
- SEKE-1992-ShimuraLM #logic programming #petri net #semantics #source code
- A Petri Net Semantics for Logic Programs with Negation (TS, JL, TM), pp. 292–299.