1. |
- Allwood, Jens, 1947, et al.
(author)
-
Lexical convergence and language aquisition
- 1986
-
In: Papers from the Ninth Scandinavian Conference of Linguistics, Dept of Linguistics, University of Stockholm. - 9178106648
-
Conference paper (peer-reviewed)
|
|
2. |
|
|
3. |
- Dybjer, Peter, 1953
(author)
-
Program Verification In A Logical Theory Of Constructions
- 1985
-
In: Lecture Notes in Computer Science (Functional Programming Languages and Computer Architecture, Nancy, France, September 16-19, 1985, Proceedings.; Jean-Pierre Jouannaud (Ed.). - 0302-9743 .- 1611-3349. - 3540159754 ; 201, s. 334-349
-
Conference paper (peer-reviewed)
|
|
4. |
- Dybjer, Peter, 1953
(author)
-
Using Domain Algebras To Prove The Correctness Of A Compiler
- 1985
-
In: Lecture Notes in Computer Science (STACS 85, 2nd Symposium of Theoretical Aspects of Computer Science, Saarbrücken, Germany, January 3-5, 1985, Proceedings; Kurt Mehlhorn (Ed.)). - 0302-9743 .- 1611-3349. ; 182, s. 98-108
-
Conference paper (peer-reviewed)
|
|
5. |
|
|
6. |
|
|
7. |
|
|
8. |
|
|
9. |
|
|
10. |
- Ahlsén, Elisabeth, 1951
(author)
-
Målspråkstalaren som resurs för språkinläraren i samtal
- 1988
-
In: In K. Hyltenstam & I. Lindberg (eds.) Svenska som andraspråk (Swedish as Second Language), Vol. 1, Department of Bilingualism Research, University of Stockholm.
-
Conference paper (peer-reviewed)
|
|