Categorical Methods in Computer Science: With Aspects from Topology

Shelfclass_id 3.D.1
Sortkey EHRIG, HARTMUT
Authors Editors: Hartmut Ehrig, Horst Herrlich, Hans-Jörg Kreowski, Gerhard Preuss
Title Categorical Methods in Computer Science: With Aspects from Topology
Publisher Springer-Verlag
Year 1989
Languages eng
Isbn 0387517227, 3540517227
Series Lecture Notes in Computer Science
Volume 393
Issn 0302-9743
Description vi, 350 p. ill. 25 cm
Record date 20110325
Location New York
Keywords Computer science, Congresses, Categories (Mathematics), Topology
Notes Papers presented at the International Workshop on Categorical Methods in Computer Science with Aspects from Topology, held in Berlin in September 1988.