ACM/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
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...
Last modified: 2022-10-31
13:49
Sam Staton