Lics

IEEE Symposium on Logic in Computer Science

LICS Home - LICS Awards - LICS Newsletters - LICS Archive - LICS Organization - Logic-Related Conferences - Links

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
• Chuangjie Xu
• 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...

Chuangjie Xu

• Paper: Tom de Jong Nicolai Kraus Fredrik Nordvall Forsberg Chuangjie Xu
  Set-Theoretic and Type-Theoretic Ordinals Coincide (LICS 2023) More Information...

Junyan Xu

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