Context rewriting (Q5881173): Difference between revisions

From MaRDI portal
← Older edit
Set OpenAlex properties.
ReferenceBot (talk | contribs)
Bots
1,903,984 edits
‎Changed an Item
 
Property / cites work
 
Property / cites work: The lambda calculus. Its syntax and semantics. Rev. ed. / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q4385532 / rank
 
Normal rank
Property / cites work
 
Property / cites work: An Abstract form of the church-rosser theorem. I / rank
 
Normal rank
Property / cites work
 
Property / cites work: Confluent Reductions: Abstract Properties and Applications to Term Rewriting Systems / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q4001983 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q3934579 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Sequential evaluation strategies for parallel-or and related reduction systems / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q3918095 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q3817590 / rank
 
Normal rank
Property / cites work
 
Property / cites work: A logic programming language with lambda-abstraction, function variables, and simple unification / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q4023244 / rank
 
Normal rank
Property / cites work
 
Property / cites work: An abstract formulation for rewrite systems / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q3815296 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Higher-order unification revisited: Complete sets of transformations / rank
 
Normal rank
Property / cites work
 
Property / cites work: On the Church-Rosser property for the direct sum of term rewriting systems / rank
 
Normal rank

Latest revision as of 15:48, 31 July 2024

scientific article; zbMATH DE number 7661536
Language Label Description Also known as
English
Context rewriting
scientific article; zbMATH DE number 7661536

    Statements

    title
    Context rewriting (English)
    0 references
    author
    Stefan Kahrs
    0 references
    publication date
    9 March 2023
    0 references

    Identifiers

    Mathematics Subject Classification ID
    68Q42
    0 references
    03B40
    0 references
    18D20
    0 references
    zbMATH DE Number
    7661536
    0 references
    OpenAlex ID
    W2913293979
    0 references
     
    Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Item:Q5881173&oldid=37496231"
    Powered by MediaWiki