Provider: Schloss Dagstuhl - Leibniz Center for Informatics
Database: dblp computer science bibliography
Content:text/plain; charset="utf-8"
TY - CPAPER
ID - DBLP:conf/flops/IshikawaWFMN98
AU - Ishikawa, Hiroshi
AU - Watanabe, Takuo
AU - Futatsugi, Kokichi
AU - Meseguer, José
AU - Nakashima, Hideyuki
TI - On the Semantics of GAEA.
BT - Third Fuji International Symposium on Functional and Logic Programming, FLOPS 1998, Kyoto, Japan, Apil 2-4, 1998.
SP - 123
EP - 142
PY - 1998//
ER -
