A verified algorithm enumerating event structures (dataset)

Juliana Kuster Filipe Bowles (Creator)
Marco Bright Caminati (Creator)

School of Computer Science

Dataset

Date made available	2017
Publisher	Bitbucket

Contact

[email protected]

Access Dataset

https://bitbucket.org/caminati/oeises

1 Finished

Automated Conflict Resolution: Automated Conflic Resolution in Clinical Pathways
Kuster Filipe Bowles, J. (PI)
EPSRC
1/07/15 → 15/12/18
Project: Standard

1 Conference contribution

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

Cite this