Advertisement

PROMAL — Programming in modal action logic

Extended abstract
  • Odinaldo Rodrigues
  • Mario Benevides
Conference paper
Part of the Lecture Notes in Computer Science book series (LNCS, volume 844)

References

  1. 1.
    D. Harel.: First Order Dynamic Logic. Lectures Notes in Computer Science 68 (1979).Google Scholar
  2. 2.
    J. W. Lloyd.: Foundations of Logic Programming. Symbolic Computation. Springer-Verlag (1984).Google Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 1994

Authors and Affiliations

  • Odinaldo Rodrigues
    • 1
  • Mario Benevides
    • 2
  1. 1.Dept. of ComputingImperial CollegeLondonUK
  2. 2.COPPE/UFRJ - Prog. de SistemasRio de Janeiro-RJBrazil

Personalised recommendations