Axiomatising Divergence

Markus Lohrey, Pedro R. d' Argenio, Holger Hermanns

    Research output: Contribution to journal › Article › Academic › peer-review

    17 Citations (Scopus)
    25 Downloads (Pure)
    • 17 Citations
    • 1 Conference contribution

    Search results

    • 2002

      Axiomatising Divergence

      Lohrey, M., d' Argenio, P. R. & Hermanns, H., 2002, Automata, Languages and Programming: 29th International Colloquium, ICALP 2002 Málaga, Spain, July 8–13, 2002 Proceedings. Widmayer, P., Eidenbenz, S., Triguero, F., Morales, R., Conejo, R. & Hennessy, M. (eds.). Berlin: Springer, p. 585-596 12 p. (Lecture Notes in Computer Science; vol. 2380).

      Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Academic › peer-review

      9 Citations (Scopus)
      5 Downloads (Pure)