Infinitary rewriting: meta-theory and convergence (Q884993): Difference between revisions

From MaRDI portal
Set OpenAlex properties.
Import241208061232 (talk | contribs)
Normalize DOI.
 
(One intermediate revision by one other user not shown)
Property / DOI
 
Property / DOI: 10.1007/s00236-007-0043-2 / rank
Normal rank
 
Property / cites work
 
Property / cites work: Metric interpretations of infinite trees and semantics of non deterministic recursive programs / rank
 
Normal rank
Property / cites work
 
Property / cites work: Tree generating regular systems / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q5566981 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Introduction to Metric-Preserving Functions / rank
 
Normal rank
Property / cites work
 
Property / cites work: Spaces of continuous relations / rank
 
Normal rank
Property / cites work
 
Property / cites work: Rewrite, rewrite, rewrite, rewrite, rewrite, \dots / rank
 
Normal rank
Property / cites work
 
Property / cites work: Continuous relations / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q3683158 / rank
 
Normal rank
Property / cites work
 
Property / cites work: The variable containment problem / rank
 
Normal rank
Property / cites work
 
Property / cites work: Lazy rewriting and eager machinery / rank
 
Normal rank
Property / cites work
 
Property / cites work: Convergence in topology / rank
 
Normal rank
Property / cites work
 
Property / cites work: Rewriting Techniques and Applications / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q3918095 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q5541832 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Universal algebra in higher types / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q4023900 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q4857386 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q4799892 / rank
 
Normal rank
Property / DOI
 
Property / DOI: 10.1007/S00236-007-0043-2 / rank
 
Normal rank

Latest revision as of 06:59, 10 December 2024

scientific article
Language Label Description Also known as
English
Infinitary rewriting: meta-theory and convergence
scientific article

    Statements

    Identifiers