A Common Mathematical Framework for Asymptotic Complexity Analysis and Denotational Semantics for Recursive Programs Based on Complexity Spaces
None
Saved in:
| Main Authors: | , |
|---|---|
| Format: | Electronic Book Chapter |
| Language: | English |
| Published: |
IntechOpen
2012
|
| Subjects: | |
| Online Access: | https://www.intechopen.com/chapters/36002 |
| Tags: |
Add Tag
No Tags, Be the first to tag this record!
|
| _version_ | 1839567218705170432 |
|---|---|
| author | Romaguera, Salvador Valero, Oscar |
| author_facet | Romaguera, Salvador Valero, Oscar |
| author_sort | Romaguera, Salvador |
| collection | InTech Open eBooks |
| description | None |
| doi_str_mv | 10.5772/36799 |
| first_indexed | 2025-08-04T22:53:29Z |
| format | Electronic Book Chapter |
| fullrecord | <oai_dc:dc xmlns:oai_dc="http://www.openarchives.org/OAI/2.0/oai_dc/" xmlns:dc="http://purl.org/dc/elements/1.1/" xmlns:xsi="http://www.w3.org/2001/XMLSchema-instance" xsi:schemaLocation="http://www.openarchives.org/OAI/2.0/oai_dc/ http://www.openarchives.org/OAI/2.0/oai_dc.xsd"><identifier>InTech-36002</identifier><datestamp>2012-04-25</datestamp>
<dc:title>A Common Mathematical Framework for Asymptotic Complexity Analysis and Denotational Semantics for Recursive Programs Based on Complexity Spaces</dc:title>
<dc:creator>Salvador Romaguera</dc:creator>
<dc:creator>Oscar Valero</dc:creator>
<dc:subject>Physical Sciences, Engineering and Technology</dc:subject>
<dc:description>None</dc:description>
<dc:publisher>IntechOpen</dc:publisher>
<dc:date>2012-04-25</dc:date>
<dc:type>Chapter, Part Of Book</dc:type>
<dc:identifier>https://www.intechopen.com/chapters/36002</dc:identifier>
<dc:identifier>doi:10.5772/36799</dc:identifier>
<dc:language>en</dc:language>
<dc:relation>ISBN:978-953-51-0535-0</dc:relation>
<dc:rights>https://creativecommons.org/licenses/by/3.0/</dc:rights>
<dc:source>https://www.intechopen.com/books/1960 ; Semantics - Advances in Theories and Mathematical Models</dc:source>
</oai_dc:dc> |
| id | InTech-36002 |
| institution | Matheson Library |
| isbn | 978-953-51-0535-0 |
| language | English |
| last_indexed | 2025-08-04T22:53:29Z |
| publishDate | 2012 |
| publisher | IntechOpen |
| record_format | intech |
| spelling | InTech-360022012-04-25 A Common Mathematical Framework for Asymptotic Complexity Analysis and Denotational Semantics for Recursive Programs Based on Complexity Spaces Salvador Romaguera Oscar Valero Physical Sciences, Engineering and Technology None IntechOpen 2012-04-25 Chapter, Part Of Book https://www.intechopen.com/chapters/36002 doi:10.5772/36799 en ISBN:978-953-51-0535-0 https://creativecommons.org/licenses/by/3.0/ https://www.intechopen.com/books/1960 ; Semantics - Advances in Theories and Mathematical Models |
| spellingShingle | Physical Sciences, Engineering and Technology Romaguera, Salvador Valero, Oscar A Common Mathematical Framework for Asymptotic Complexity Analysis and Denotational Semantics for Recursive Programs Based on Complexity Spaces |
| title | A Common Mathematical Framework for Asymptotic Complexity Analysis and Denotational Semantics for Recursive Programs Based on Complexity Spaces |
| title_full | A Common Mathematical Framework for Asymptotic Complexity Analysis and Denotational Semantics for Recursive Programs Based on Complexity Spaces |
| title_fullStr | A Common Mathematical Framework for Asymptotic Complexity Analysis and Denotational Semantics for Recursive Programs Based on Complexity Spaces |
| title_full_unstemmed | A Common Mathematical Framework for Asymptotic Complexity Analysis and Denotational Semantics for Recursive Programs Based on Complexity Spaces |
| title_short | A Common Mathematical Framework for Asymptotic Complexity Analysis and Denotational Semantics for Recursive Programs Based on Complexity Spaces |
| title_sort | common mathematical framework for asymptotic complexity analysis and denotational semantics for recursive programs based on complexity spaces |
| topic | Physical Sciences, Engineering and Technology |
| url | https://www.intechopen.com/chapters/36002 |
| work_keys_str_mv | AT romaguerasalvador acommonmathematicalframeworkforasymptoticcomplexityanalysisanddenotationalsemanticsforrecursiveprogramsbasedoncomplexityspaces AT valerooscar acommonmathematicalframeworkforasymptoticcomplexityanalysisanddenotationalsemanticsforrecursiveprogramsbasedoncomplexityspaces AT romaguerasalvador commonmathematicalframeworkforasymptoticcomplexityanalysisanddenotationalsemanticsforrecursiveprogramsbasedoncomplexityspaces AT valerooscar commonmathematicalframeworkforasymptoticcomplexityanalysisanddenotationalsemanticsforrecursiveprogramsbasedoncomplexityspaces |