Interleaving Strategies (Q5200118): Difference between revisions

From MaRDI portal
Set OpenAlex properties.
ReferenceBot (talk | contribs)
Changed an Item
 
Property / cites work
 
Property / cites work: Tactics for hierarchical proof / rank
 
Normal rank
Property / cites work
 
Property / cites work: FUNCTIONAL PEARL <i>Parsing permutation phrases</i> / rank
 
Normal rank
Property / cites work
 
Property / cites work: Algebra of communicating processes with abstraction / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q3804239 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q4418136 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q4941495 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Specifying rewrite strategies for interactive exercises / rank
 
Normal rank
Property / cites work
 
Property / cites work: Adapting Mathematical Domain Reasoners / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q3777424 / rank
 
Normal rank
Property / cites work
 
Property / cites work: The Zipper / rank
 
Normal rank
Property / cites work
 
Property / cites work: Artificial Intelligence and Soft Computing - ICAISC 2004 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q4414308 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Combinator Parsing: A Short Tutorial / rank
 
Normal rank
Property / cites work
 
Property / cites work: Building program optimizers with rewriting strategies / rank
 
Normal rank

Latest revision as of 09:11, 4 July 2024

scientific article; zbMATH DE number 5934448
Language Label Description Also known as
English
Interleaving Strategies
scientific article; zbMATH DE number 5934448

    Statements

    Identifiers