CONTENTS AND ABSTRACTS OF THE ELECTRONIC NOTES IN THEORETICAL COMPUTER-SCIENCE VOL 1 - PROCEEDINGS OF THE 11TH CONFERENCE ON THE MATHEMATICAL FOUNDATIONS OF PROGRAMMING-SEMANTICS, TULANE-UNIVERSITY, NEW-ORLEANS, LA, 29 MARCH 1 APRIL 1995 - SOLUTIONS OF FUNCTORIAL AND NON-FUNCTORIAL METRIC DOMAIN EQUATIONS

被引：0

|

作者：

ALESSI, F

BALDAN, P

BELLE, G

RUTTEN, JJMM

机构：

来源：

THEORETICAL COMPUTER SCIENCE | 1995年 / 152卷 / 02期

关键词：

D O I：

暂无

中图分类号：

TP301 [理论、方法];

学科分类号：

081202 ;

摘要：

引用

收藏

页码：324 / 332

页数：9

相关论文

共 2 条

[1] CONTENTS AND ABSTRACTS OF THE ELECTRONIC NOTES IN THEORETICAL COMPUTER-SCIENCE VOL 1 - PROCEEDINGS OF THE 11TH CONFERENCE ON THE MATHEMATICAL FOUNDATIONS OF PROGRAMMING-SEMANTICS, TULANE-UNIVERSITY, NEW-ORLEANS, LA, 29 MARCH 1 APRIL 1995 - FORWARD
BROOKES, S
MAIN, M
MELTON, A
MISLOVE, M
[J]. THEORETICAL COMPUTER SCIENCE, 1995, 152 (02) : 323 - 324
[2] MATHEMATICAL FOUNDATIONS OF PROGRAMMING-SEMANTICS - 5TH INTERNATIONAL-CONFERENCE - TULANE-UNIVERSITY, NEW-ORLEANS, LOUISIANA, USA - MARCH 29 APRIL 1, 1989 - PROCEEDINGS - PREFACE
MAIN, MG
MELTON, AC
SCHMIDT, DA
MISLOVE, MW
[J]. LECTURE NOTES IN COMPUTER SCIENCE, 1990, 442 : R3 - R4