Selected publications at LSV

@article{HGJX-lmcs18,
   author = {Ho, Weng Kin and Goubault-Larrecq, Jean and Jung, Achim and Xi, Xiaoyong},
   DOI = {10.23638/LMCS-14(1:7)2018},
   journal = {Logical Methods in Computer Science},
   month = jan,
   number = {1},
   pages = {1-19},
   title = {{The Ho-Zhao Problem}},
   url = {https://lmcs.episciences.org/4218},
   volume = {14},
   year = {2018},
}

About LSV

Select by Year