Travelled to:
1 × Spain
Collaborated with:
M.R.F.Benevides
Talks about:
program (1) promal (1) action (1) modal (1) logic (1)
Person: Odinaldo Rodrigues
DBLP: Rodrigues:Odinaldo
Contributed to:
Wrote 1 papers:
- PLILP-1994-RodriguesB #logic #named #programming
- PROMAL — Programming in Modal Action Logic (OR, MRFB), pp. 457–458.