IEEE Symposium on Logic in Computer Science
LICS Home
-
LICS Awards
-
LICS Newsletters
-
LICS Archive
-
LICS Organization
-
Logic-Related Conferences
-
Links
Index by Authors:
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
Papers and Short Presentations by Authors: X
LICS Archive
All Conferences
Committees
Invited Speakers
Papers by Author
Test-of-Time Award Winners
Kleene Award Winners
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...
Last modified: 2024-10-24
9:41
Sam Staton