Components as Coalgebras: The Refinement Dimension

AuthID
 P-004-N7V
2
Author(s)
Meng, S
·
1
Editor(s)
Maharaj S.Shankland C.Rattray C.
Document Type
Article
Year published
2006
Published
in THEORETICAL COMPUTER SCIENCE, ISSN: 0304-3975
Volume: 351, Issue: 2, Pages: 276-294 (19)
Conference
10Th International Conference on Algebraic Methodology and Software Technology, Date: JUL 12-16, 2004, Location: Stirling, SCOTLAND, Sponsors: Edinburgh Mat Soc, Engn & Phys Sci Res Council, British Comp Soc, Formal Aspects Comp Sci Specialist Grp, London Math Soc
Indexing
Wos®
Scopus®
Dblp®/en/publications/view/152827
Crossref®17
Google Scholar®
Publication Identifiers
Dblp: journals/tcs/MengB06
Scopus: 2-s2.0-31544449115
Wos: WOS:000235571600010
Source Identifiers
ISSN: 0304-3975
Export Publication Metadata
Marked List
 Add to Marked List
Info
At this moment we don't have any links to full text documens.

footer slogan

Useful Links

Get Help

© 2024 CRACS & Inesc TEC - All Rights Reserved Privacy Policy | Terms of Service