Mikhajlova, Anna

name

• Mikhajlova, Anna

Authored works

• Proving isomorphism of first-order logic proof systems in HOL

Works contributed to

Works about Mikhajlova, Anna