A verified algorithm enumerating event structures

Juliana Kuster Filipe Bowles, Marco Bright Caminati

School of Computer Science

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

1 results
- Title
- Start date(ascending)

A verified algorithm enumerating event structures (dataset)
Bowles, J. K. F. (Creator) & Caminati, M. B. (Creator), Bitbucket, 2017
https://bitbucket.org/caminati/oeises
Dataset