Amanote Research
Register
Sign In
Discover open access scientific publications
Search, annotate, share and cite publications
Publications by Seán Matthews
Implementing FS0 in Isabelle: Adding Structure at the Metalevel
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Related publications
Weak Interactions at Isabelle.
Cerenkov Counters at ISABELLE. [71 References]
High Transverse Momentum at Isabelle
Electromagnetic and Weak Interactions at Isabelle
Adding Nesting Structure to Words
Journal of the ACM
Control
Systems Engineering
Information Systems
Hardware
Architecture
Artificial Intelligence
Software
Projection Chambers and dE/dx at ISABELLE
Attack Trees in Isabelle
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Measurement of Nucleon--Nucleon Total Cross Section Ratios at Isabelle.
IsaWhelk: Whelk Interpreted in Isabelle
