| |
| 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 | |
| 1 | Kim Guldstrand Larsen | [1] [2] [3] |