BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
Travelled to:
1 × USA
Collaborated with:
Talks about:
composit (1) transit (1) context (1) system (1) semant (1) modal (1) equat (1) solv (1) oper (1) use (1)

Person: Liu Xinxin

DBLP DBLP: Xinxin:Liu

Contributed to:

ICALP 19901990
LICS 19901990

Wrote 2 papers:

ICALP-1990-LarsenX #composition #semantics
Compositionality Through an Operational Semantics of Contexts (KGL, LX), pp. 526–539.
LICS-1990-LarsenX #equation #using
Equation Solving Using Modal Transition Systems (KGL, LX), pp. 108–117.

Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.