The UvA-LINKER will give you a range of other options to find the full text of a publication (including a direct link to the full-text if it is located on another database on the internet).
De UvA-LINKER biedt mogelijkheden om een publicatie elders te vinden (inclusief een directe link naar de publicatie online als deze beschikbaar is in een database op het internet).

Publicatielijst

Faculteit der Natuurwetenschappen, Wiskunde en Informatica - 1994

321 tot 330 van 1649
1 ... 161 ... 301   311   321   331   341 ... 491 ... 651 ... 821 ... 981 ... 1151 ... 1311 ... 1481 ... 1641

321  download 36104 Artikel: Process algebra with iteration and nesting
J.A. Bergstra, I. Bethke, A. Ponse in: Computer Journal, Vol. 37 (1994), p. 243-258
322  download 30022 Artikel: Which data types have omega-complete initial algebra specifications?
J.A. Bergstra, J. Heering in: Theoretical Computer Science, Vol. 124 (1994), p. 149-168
323  download 30023 Artikel: Bisimulation is two-way simulation
J.A. Bergstra, G. Stefanescu in: Information Processing Letters, Vol. 52 (1994), p. 285-287
324  download 33072 Artikel: Process Algebra with Guards. Combining Hoare Logic with Process Algebra
J.F. Groote, A. Ponse in: Formal Aspects of Computing, Vol. 6 (1994), p. 115-164
325   Hoofdstuk: Process algebra with partial choice
J.C.M. Baeten, J.A. Bergstra in: Proceedings CONCUR 94, Uppsala, Sweden (1994), p. 401-416
326   Hoofdstuk: A real time process logic
J.C.M. Baeten, J.A. Bergstra, R.N. Bol in: Proceedings ICTL 94 (1994), p. 30-47
327   Hoofdstuk: Graph isomorphism models for non interleaving process algebra
J.A. Bergstra, J.C.M. Baeten in: Algebra of Communicating Processes, Utrecht 1994 (1994), p. 299-318
328   Hoofdstuk: Real time process algebra with infinitesimals
J.C.M. Baeten, J.A. Bergstra in: Algebra of Communicating Processes, Utrecht 1994 (1994), p. 148-187
329   Hoofdstuk: Process algebra with combinators
J.A. Bergstra, I. Bethke, A. Ponse in: Proceedings CSL '93, Swansea (1994), p. 36-65
330   Hoofdstuk: The algebra of recursively defined processes and the algebra of regular processes
J.A. Bergstra, J.W. Klop in: Algebra of Communicating Processes, Utrecht 1994 (1994), p. 1-25