Isabelle Formalisation of Original Representation Theorems
Book chapter (August 2023)
The most recent citing publications are shown below. View all 15 publications that cite this research output on Dimensions.
Book chapter (August 2023)
Preprint in arXiv (June 2023)
Preprint in arXiv (May 2023)