Abstract Semantics for <mml:math altimg="si1.gif" overflow="scroll" xmlns:xocs="http://www.elsevier.com/xml/xocs/dtd" xmlns:xs="http://www.w3.org/2001/XMLSchema" xmlns:xsi="http://www.w3.org/2001/XMLSchema-instance" xmlns="http://www.elsevier.com/xml/ja/dtd" xmlns:ja="http://www.elsevier.com/xml/ja/dtd" xmlns:mml="http://www.w3.org/1998/Math/MathML" xmlns:tb="http://www.elsevier.com/xml/common/table/dtd" xmlns:sb="http://www.elsevier.com/xml/common/struct-bib/dtd" xmlns:ce="http://www.elsevier.com/xml/common/dtd" xmlns:xlink="http://www.w3.org/1999/xlink" xmlns:cals="http://www.elsevier.com/xml/common/cals/dtd" xmlns:sa="http://www.elsevier.com/xml/common/struct-aff/dtd"><mml:mi mathvariant="double-struck">K</mml:mi></mml:math> Module Composition release_vdkrs7wbwfa6nnsds6fsyilnca

by Codruta Girlea, Grigore Rosu

Published in Electronical Notes in Theoretical Computer Science by Elsevier BV.

2014   Volume 304, p127-149

Archived Files and Locations

application/pdf  295.8 kB
file_ov4w3y4bzbdp5mtrob2jcevehu
web.archive.org (webarchive)
web.archive.org (webarchive)
core.ac.uk (aggregator)
Read Archived PDF
Archived
Type  article-journal
Stage   published
Year   2014
Language   en ?
Container Metadata
Not in DOAJ
In Keepers Registery
ISSN-L:  1571-0661
Work Entity
access all versions, variants, and formats of this works (eg, pre-prints)
Catalog Record
Revision: a6943c2f-6fc0-4dd7-add5-c8cb37c01a7c
API URL: JSON