ACM/IEEE Symposium on Logic in Computer Science

A B C D E F G H I J K L M N O P Q R S T U V W X Y Z

Authors on this page:

• Hongwei Xi
• Liu Xinxin
• Junyan Xu

Hongwei Xi

• Paper: Hongwei Xi
  Imperative Programming with Dependent Types (LICS 2000) More Information...
• Paper: Hongwei Xi
  Dependent Types for Program Termination Verification (LICS 2001) More Information...

Liu Xinxin

• Paper: Kim G. Larsen Liu Xinxin
  Equation solving using modal transition systems (LICS 1990) More Information...

Junyan Xu

• Paper: Jeff Erickson Gabriel Nivasch Junyan Xu
  Fusible numbers and Peano Arithmetic (LICS 2021) More Information...