A verified algorithm enumerating event structures (dataset)

Dataset

  • 1 Conference contribution

Search results

  • 2017

    A verified algorithm enumerating event structures

    Bowles, J. K. F. & Caminati, M. B., 2017, Intelligent Computer Mathematics: 10th International Conference, CICM 2017, Edinburgh, UK, July 17-21, 2017, Proceedings. Geuvers, H., England, M., Hasan, O., Rabe, F. & Teschke, O. (eds.). Cham: Springer, p. 239-254 (Lecture Notes in Computer Science (Lecture Notes in Artificial Intelligence); vol. 10383).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

    Open Access
    File
    6 Citations (Scopus)
    4 Downloads (Pure)