WorldCat Identities

Nordström, Bengt

Overview
Works: 105 works in 203 publications in 3 languages and 1,254 library holdings
Genres: Conference papers and proceedings 
Roles: Author, Editor, Other
Classifications: QA76.9.A96, 005.131
Publication Timeline
.
Most widely held works by Bengt Nordström
Types for proofs and programs : international workshop TYPES '95, Torino, Italy, June 5-8, 1995 : selected papers by H. P Barendregt( Book )

19 editions published between 1995 and 2000 in English and Italian and held by 326 WorldCat member libraries worldwide

This book constitutes the thoroughly refereed post-workshop proceedings of the Third International Workshop, TYPES'99, organized by the ESPRIT Working Group 21900, in Lökeberg, Sweden, in June 1999. The 11 revised full papers presented in the volume were carefully reviewed and selected during two rounds of refereeing. All current issues on type theory and type systems and their applications to programming and proof theory are addressed
Programming in Martin-Löf's type theory : an introduction by Bengt Nordström( Book )

8 editions published in 1990 in English and Undetermined and held by 235 WorldCat member libraries worldwide

Advances in natural language processing : 6th international conference, GoTAL 2008, Gothenburg, Sweden, August 25-27, 2008 : proceedings by Jaime G Carbonell( Book )

16 editions published in 2008 in English and held by 94 WorldCat member libraries worldwide

Annotation This book constitutes the refereed proceedings of the 6th International Conference on Natural Language Processing, GoTAL 2008, Gothenburg, Sweden, August 2008. The 44 revised full papers presented together with 3 invited talks were carefully reviewed and selected from 107 submissions. The papers address all current issues in computational linguistics and monolingual and multilingual intelligent language processing - theory, methods and applications
Some concepts for very high level languages without explicit pointers by Bengt Nordström( Book )

5 editions published in 1978 in English and held by 9 WorldCat member libraries worldwide

Programming with abstracts data types : some examples by Bengt Nordström( Book )

4 editions published in 1978 in English and Swedish and held by 8 WorldCat member libraries worldwide

Assignments and high level data types by Bengt Nordström( Book )

3 editions published between 1976 and 1978 in English and Swedish and held by 8 WorldCat member libraries worldwide

Svenska levnadsvanor by Bengt Nordström( Book )

8 editions published between 1991 and 1992 in Swedish and held by 8 WorldCat member libraries worldwide

Advances in natural language processing 6th International Conference, GoTAL 2008, Gothenburg, Sweden, August 25 - 27, 2008 ; proceedings( )

1 edition published in 2008 in English and held by 8 WorldCat member libraries worldwide

Lisa - an experimental language with simple formal semantics by Bengt Nordström( Book )

3 editions published in 1978 in English and Swedish and held by 8 WorldCat member libraries worldwide

Studier kring lokalradion : levnadsvanor och potentiell publik by Carina Nilsson( Book )

5 editions published between 1978 and 1979 in Swedish and held by 6 WorldCat member libraries worldwide

Lokalradions publik : sex år efter starten by Bengt Nordström( Book )

3 editions published in 1984 in Swedish and held by 5 WorldCat member libraries worldwide

Types for proofs and programs : International Workshop TYPES '94, Båstad, Sweden, June 6-10, 1994 : proceedings by International Workshop TYPES '94( Book )

2 editions published in 1995 in English and held by 5 WorldCat member libraries worldwide

The semantics of module specifications in Martin-Löf's type theory by Bengt Nordström( Book )

4 editions published between 1985 and 1987 in English and held by 5 WorldCat member libraries worldwide

Video och utländsk TV hösten 1988 by Anders Gahlin( Book )

3 editions published in 1988 in Swedish and held by 5 WorldCat member libraries worldwide

Radions publik : nov-dec 1986 by Bengt Nordström( Book )

2 editions published in 1987 in Swedish and held by 4 WorldCat member libraries worldwide

När radion fick en ny kanal : om lyssnandet när P4 infördes i Stockholm, Göteborg, Malmö och Örebro by Bengt Nordström( Book )

3 editions published between 1988 and 1990 in Swedish and held by 4 WorldCat member libraries worldwide

Programming logic : proceedings by Workshop on Programming Logic( Book )

3 editions published between 1987 and 1997 in English and held by 4 WorldCat member libraries worldwide

Svensk TV får svensk konkurrens : tittandet på TV3 : god morgon Skandinavia och svenska program i TV5 hösten-vintern 1988/89 by Anders Gahlin( Book )

2 editions published in 1989 in Swedish and held by 3 WorldCat member libraries worldwide

Description of a simple programming language by Bengt Nordström( Book )

5 editions published in 1984 in English and Undetermined and held by 3 WorldCat member libraries worldwide

Advances in Natural Language Processing 6th International Conference, GoTAL 2008 Gothenburg, Sweden, August 25-27, 2008 Proceedings by Jaime G Carbonell( Book )

2 editions published in 2008 in English and held by 1 WorldCat member library worldwide

 
moreShow More Titles
fewerShow Fewer Titles
Audience Level
0
Audience Level
1
  Kids General Special  
Audience level: 0.72 (from 0.52 for Advances i ... to 0.97 for Video och ...)

Types for proofs and programs : international workshop TYPES '95, Torino, Italy, June 5-8, 1995 : selected papersTypes for proofs and programs : International Workshop TYPES '94, Båstad, Sweden, June 6-10, 1994 : proceedings
Languages
English (68)

Swedish (29)

Italian (1)

Covers
Advances in natural language processing : 6th international conference, GoTAL 2008, Gothenburg, Sweden, August 25-27, 2008 : proceedingsAdvances in natural language processing 6th International Conference, GoTAL 2008, Gothenburg, Sweden, August 25 - 27, 2008 ; proceedingsTypes for proofs and programs : International Workshop TYPES '94, Båstad, Sweden, June 6-10, 1994 : proceedings