Liu Xinxin

List of publications from the DBLP Bibliography Server - FAQ

Ask others: ACM DL/Guide -

1991

3 Kim Guldstrand Larsen, Liu Xinxin: Compositionality through an Operational Semantics of Contexts. J. Log. Comput. 1(6): 761-795 (1991)

1990

2 Kim Guldstrand Larsen, Liu Xinxin: Compositionality Through an Operational Semantics of Contexts. ICALP 1990: 526-539

1 Kim Guldstrand Larsen, Liu Xinxin: Equation Solving Using Modal Transition Systems LICS 1990: 108-117

	1991
3		Kim Guldstrand Larsen, Liu Xinxin: Compositionality through an Operational Semantics of Contexts. J. Log. Comput. 1(6): 761-795 (1991)
	1990
2		Kim Guldstrand Larsen, Liu Xinxin: Compositionality Through an Operational Semantics of Contexts. ICALP 1990: 526-539
1		Kim Guldstrand Larsen, Liu Xinxin: Equation Solving Using Modal Transition Systems LICS 1990: 108-117

Coauthor Index