Travelled to:
1 × Belgium
1 × The Netherlands
Collaborated with:
∅ A.Mycroft H.R.Nielson F.Nielson
Talks about:
analysi (4) strict (2) total (2) conjunct (1) uniform (1) comport (1) system (1) infer (1) time (1) bind (1)
Person: Kirsten Lackner Solberg
DBLP: Solberg:Kirsten_Lackner
Contributed to:
Wrote 4 papers:
- PLILP-1995-MycroftS #analysis
- Uniform PERs and Comportment Analysis (AM, KLS), pp. 169–187.
- SAS-1994-Solberg #analysis #strict
- Strictness and Totality Analysis (KLS), pp. 408–422.
- WSA-1992-SolbergNN #analysis
- Inference Systems for Binding Time Analysis (KLS, HRN, FN), pp. 247–254.
- TAPSOFT-1995-Solberg #analysis #strict
- Strictness and Totality Analysis with Conjunction (KLS), pp. 501–515.