4TH WORKSHOP ON MATHEMATICAL FOUNDATIONS OF PROGRAMMING-SEMANTICS, BOULDER, CO MAY 1988 - FOREWORD

被引：0
|
作者：
MAIN, M
MISLOVE, M
机构：
来源：
THEORETICAL COMPUTER SCIENCE | 1990年 / 70卷 / 01期
关键词：
D O I：
10.1016/0304-3975(90)90149-C
中图分类号：
TP301 [理论、方法];
学科分类号：
081202 ;
摘要：
引用
收藏
页码：1 / 1
页数：1
相关论文
共 50 条
  • [1] 6TH WORKSHOP ON THE MATHEMATICAL FOUNDATIONS OF PROGRAMMING-SEMANTICS, KINGSTON, CANADA, MAY 1990 - FOREWORD
    MISLOVE, M
    TENNENT, RD
    [J]. THEORETICAL COMPUTER SCIENCE, 1993, 111 (1-2) : 1 - 1
  • [2] Mathematical foundations of programming semantics - Foreword
    Brookes, S
    Mislove, M
    [J]. THEORETICAL COMPUTER SCIENCE, 2002, 278 (1-2) : 1 - 2
  • [3] Mathematical foundations of programming semantics - Foreword
    Mislove, MW
    Schmidt, DA
    [J]. THEORETICAL COMPUTER SCIENCE, 1997, 177 (01) : 1 - 1
  • [4] Mathematical foundations of programming semantics - Foreword
    Brookes, S
    Mislove, M
    [J]. THEORETICAL COMPUTER SCIENCE, 1999, 228 (1-2) : 1 - 2
  • [5] 5TH WORKSHOP ON THE MATHEMATICAL FOUNDATIONS OF PROGRAMMING-SEMANTICS MARCH 29 APRIL 1, 1989 NEW-ORLEANS, LA USA
    BENSON, DB
    MAIN, MG
    [J]. SIGPLAN NOTICES, 1989, 24 (09): : 52 - 59
  • [6] SELECTED PAPERS OF THE MEETING ON THE MATHEMATICAL FOUNDATIONS OF PROGRAMMING-SEMANTICS (MFP 92), OXFORD, APRIL 1992 .3. CONCURRENCY THEORY - FOREWORD
    MISLOVE, MW
    REED, GM
    ROSCOE, AW
    WACHTER, RF
    [J]. THEORETICAL COMPUTER SCIENCE, 1995, 138 (02) : 241 - 241
  • [7] SELECTED PAPERS OF THE MEETING ON THE MATHEMATICAL FOUNDATIONS OF PROGRAMMING-SEMANTICS (MFP 92), OXFORD, APRIL 1992 .1. LINEAR LOGIC - FOREWORD
    MISLOVE, MW
    REED, GM
    ROSCOE, AW
    WACHTER, RF
    [J]. THEORETICAL COMPUTER SCIENCE, 1994, 135 (01) : 1 - 1
  • [8] Proceedings of the 4th Workshop on Programming Languages and Operating Systems, PLOS 2007: Foreword
    Eric
    Marc
    Robert
    Olaf
    [J]. Proceedings of the 4th Workshop on Programming Languages and Operating Systems, PLOS 2007, 2007,
  • [9] 4th Workshop on Advances in Programming Languages
    Lukovic, Ivan
    Mernik, Marjan
    Slivnik, Bostjan
    Janousek, Jan
    Aycock, John
    Chen, Haiming
    Henriques, Pedro Rangel
    Horvath, Zoltan
    Ivanovic, Mirjana
    Kardas, Geylani
    Kollar, J.
    Kosar, Tomaz
    Liu, Shih-Hsi
    Lukovic, I.
    Mandreoli, Federica
    Martínez López, Pablo E.
    Mernik, M.
    Milasinovic, Boris
    Moessenboeck, Hanspeter
    Papaspyrou, Nikolaos
    Pereira, Maria Joao Varanda
    Poruban, Jaroslav
    Rodriguez, Jose Luis Sierra
    Slivnik, B.
    Splawski, Zdzislaw
    Watson, Bruce
    [J]. 1600, IEEE Computer Society, 2001 L Street N.W., Suite 700, Washington, DC 20036-4928, United States
  • [10] 4TH INTERNATIONAL WORKSHOP OF THE BELLMAN CONTINUUM - FOREWORD
    LEE, ES
    [J]. COMPUTERS & MATHEMATICS WITH APPLICATIONS, 1991, 21 (11-12) : R7 - R8
12345