Phase semantics and decidability of elementary affine logic (Q596037): Difference between revisions

From MaRDI portal
Import240304020342 (talk | contribs)
Set profile property.
Normalize DOI.
 
(3 intermediate revisions by 3 users not shown)
Property / DOI
 
Property / DOI: 10.1016/j.tcs.2004.02.037 / rank
Normal rank
 
Property / full work available at URL
 
Property / full work available at URL: https://doi.org/10.1016/j.tcs.2004.02.037 / rank
 
Normal rank
Property / OpenAlex ID
 
Property / OpenAlex ID: W2070294436 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q4936120 / rank
 
Normal rank
Property / cites work
 
Property / cites work: (Optimal) duplication is not elementary recursive / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q5397484 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Intuitionistic Light Affine Logic / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q2778817 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q4457451 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Linear logic and elementary time / rank
 
Normal rank
Property / cites work
 
Property / cites work: Linear logic / rank
 
Normal rank
Property / cites work
 
Property / cites work: Light linear logic / rank
 
Normal rank
Property / cites work
 
Property / cites work: Bounded linear logic: A modular approach to polynomial-time computability / rank
 
Normal rank
Property / cites work
 
Property / cites work: Phase semantics for light linear logic / rank
 
Normal rank
Property / cites work
 
Property / cites work: Decidability of linear affine logic / rank
 
Normal rank
Property / cites work
 
Property / cites work: The finite model property for various fragments of linear logic / rank
 
Normal rank
Property / cites work
 
Property / cites work: Soft linear logic and polynomial time / rank
 
Normal rank
Property / cites work
 
Property / cites work: Decision problems for propositional linear logic / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q4222841 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Phase semantic cut-elimination and normalization proofs of first- and higher-order linear logic / rank
 
Normal rank
Property / cites work
 
Property / cites work: A uniform semantic proof for cut-elimination and completeness of various first and higher order logics. / rank
 
Normal rank
Property / cites work
 
Property / cites work: The finite model property for various fragments of intuitionistic linear logic / rank
 
Normal rank
Property / DOI
 
Property / DOI: 10.1016/J.TCS.2004.02.037 / rank
 
Normal rank

Latest revision as of 21:49, 9 December 2024

scientific article
Language Label Description Also known as
English
Phase semantics and decidability of elementary affine logic
scientific article

    Statements

    Phase semantics and decidability of elementary affine logic (English)
    0 references
    0 references
    0 references
    10 August 2004
    0 references
    Linear logic
    0 references
    Light linear logic
    0 references
    Soft linear logic
    0 references
    Optimal reduction
    0 references

    Identifiers

    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references