PROMAL - Programming in Modal Action Logic

Odinaldo Rodrigues, Mario R. F. Benevides. PROMAL - Programming in Modal Action Logic. In Manuel V. Hermenegildo, Jaan Penjam, editors, Programming Language Implementation and Logic Programming, 6th International Symposium, PLILP 94, Madrid, Spain, September 14-16, 1994, Proceedings. Volume 844 of Lecture Notes in Computer Science, pages 457-458, Springer, 1994.

Authors

Odinaldo Rodrigues

This author has not been identified. Look up 'Odinaldo Rodrigues' in Google

Mario R. F. Benevides

This author has not been identified. Look up 'Mario R. F. Benevides' in Google