Semantics for positive/negative conditional rewrite systems (Q5881187): Difference between revisions

From MaRDI portal
Import240304020342 (talk | contribs)
Set profile property.
ReferenceBot (talk | contribs)
Changed an Item
 
(2 intermediate revisions by 2 users not shown)
Property / full work available at URL
 
Property / full work available at URL: https://doi.org/10.1007/3-540-56393-8_16 / rank
 
Normal rank
Property / OpenAlex ID
 
Property / OpenAlex ID: W1584887934 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q3995129 / rank
 
Normal rank
Property / cites work
 
Property / cites work: A rationale for conditional equational programming / rank
 
Normal rank
Property / cites work
 
Property / cites work: Simplifying conditional term rewriting systems: Unification, termination and confluence / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q3817657 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q3348437 / rank
 
Normal rank
Property / cites work
 
Property / cites work: A constructor-based approach for positive/negative-conditional equational specifications / rank
 
Normal rank
links / mardi / namelinks / mardi / name
 

Latest revision as of 16:48, 31 July 2024

scientific article; zbMATH DE number 7661550
Language Label Description Also known as
English
Semantics for positive/negative conditional rewrite systems
scientific article; zbMATH DE number 7661550

    Statements