CSI – A Confluence Tool (Q5200045): Difference between revisions

From MaRDI portal
Set OpenAlex properties.
ReferenceBot (talk | contribs)
Changed an Item
 
Property / cites work
 
Property / cites work: Automated Confluence Proof by Decreasing Diagrams based on Rule-Labelling. / rank
 
Normal rank
Property / cites work
 
Property / cites work: Proving Confluence of Term Rewriting Systems Automatically / rank
 
Normal rank
Property / cites work
 
Property / cites work: Term Rewriting and All That / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q5389068 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q2911632 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Frontiers of Combining Systems / 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: Q5581665 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Match-bounds revisited / rank
 
Normal rank
Property / cites work
 
Property / cites work: Confluence by decreasing diagrams / rank
 
Normal rank
Property / cites work
 
Property / cites work: Developing developments / rank
 
Normal rank
Property / cites work
 
Property / cites work: Confluence by Decreasing Diagrams / rank
 
Normal rank
Property / cites work
 
Property / cites work: Labelings for Decreasing Diagrams. / rank
 
Normal rank

Latest revision as of 09:09, 4 July 2024

scientific article; zbMATH DE number 5934373
Language Label Description Also known as
English
CSI – A Confluence Tool
scientific article; zbMATH DE number 5934373

    Statements

    Identifiers