Final algebra semantics and data type extensions (Q1131834): Difference between revisions

From MaRDI portal
Importer (talk | contribs)
Created a new Item
 
ReferenceBot (talk | contribs)
Changed an Item
 
(3 intermediate revisions by 3 users not shown)
Property / MaRDI profile type
 
Property / MaRDI profile type: MaRDI publication profile / rank
 
Normal rank
Property / full work available at URL
 
Property / full work available at URL: https://doi.org/10.1016/0022-0000(79)90011-4 / rank
 
Normal rank
Property / OpenAlex ID
 
Property / OpenAlex ID: W1966748830 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q5545978 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Heterogeneous algebras / rank
 
Normal rank
Property / cites work
 
Property / cites work: A Transformation System for Developing Recursive Programs / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q4091917 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q4105777 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Realization is universal / rank
 
Normal rank
Property / cites work
 
Property / cites work: On homomorphisms, correctness, termination, unfoldments, and equivalence of flow diagram programs / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q4168048 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Parallel realization of systems, using factorizations and quotients in categories / rank
 
Normal rank
Property / cites work
 
Property / cites work: Initial Algebra Semantics and Continuous Algebras / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q5572358 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q4178466 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Abstract data types and software validation / rank
 
Normal rank
Property / cites work
 
Property / cites work: Proof of correctness of data representations / rank
 
Normal rank
Property / cites work
 
Property / cites work: Semantics of context-free languages: Correction / rank
 
Normal rank
Property / cites work
 
Property / cites work: FUNCTORIAL SEMANTICS OF ALGEBRAIC THEORIES / rank
 
Normal rank
Property / cites work
 
Property / cites work: Proof techniques for hierarchically structured programs / rank
 
Normal rank
Property / cites work
 
Property / cites work: Tree-Manipulating Systems and Church-Rosser Theorems / rank
 
Normal rank
Property / cites work
 
Property / cites work: Continuation-Based Program Transformation Strategies / rank
 
Normal rank
links / mardi / namelinks / mardi / name
 

Latest revision as of 02:28, 13 June 2024

scientific article
Language Label Description Also known as
English
Final algebra semantics and data type extensions
scientific article

    Statements

    Final algebra semantics and data type extensions (English)
    0 references
    0 references
    1979
    0 references
    final algebra semantics
    0 references
    data type extensions
    0 references
    initial algebra semantics
    0 references

    Identifiers