AAAAAA

   
Results: 1-3 |
Results: 3
SELECTED PAPERS OF THE MEETING ON THE MATHEMATICAL FOUNDATIONS OF PROGRAMMING-SEMANTICS (MFP 92), OXFORD, APRIL 1992 .3. CONCURRENCY THEORY- FOREWORD
Authors: MISLOVE MW REED GM ROSCOE AW WACHTER RF
Citation: Mw. Mislove et al., SELECTED PAPERS OF THE MEETING ON THE MATHEMATICAL FOUNDATIONS OF PROGRAMMING-SEMANTICS (MFP 92), OXFORD, APRIL 1992 .3. CONCURRENCY THEORY- FOREWORD, Theoretical computer science, 138(2), 1995, pp. 241-241
SELECTED PAPERS OF THE MEETING ON THE MATHEMATICAL FOUNDATIONS OF PROGRAMMING-SEMANTICS (MFP-92), OXFORD, APRIL 1992 .2. LAMBDA-CALCULUS AND DOMAIN THEORY - FOREWORD
Authors: MISLOVE MW REED GM ROSCOE AW WACHTER RF
Citation: Mw. Mislove et al., SELECTED PAPERS OF THE MEETING ON THE MATHEMATICAL FOUNDATIONS OF PROGRAMMING-SEMANTICS (MFP-92), OXFORD, APRIL 1992 .2. LAMBDA-CALCULUS AND DOMAIN THEORY - FOREWORD, Theoretical computer science, 136(1), 1994, pp. 1-1
SELECTED PAPERS OF THE MEETING ON THE MATHEMATICAL FOUNDATIONS OF PROGRAMMING-SEMANTICS (MFP 92), OXFORD, APRIL 1992 .1. LINEAR LOGIC - FOREWORD
Authors: MISLOVE MW REED GM ROSCOE AW WACHTER RF
Citation: Mw. Mislove et al., SELECTED PAPERS OF THE MEETING ON THE MATHEMATICAL FOUNDATIONS OF PROGRAMMING-SEMANTICS (MFP 92), OXFORD, APRIL 1992 .1. LINEAR LOGIC - FOREWORD, Theoretical computer science, 135(1), 1994, pp. 1-1
Risultati: 1-3 |