Automatic Synthesis of Merging and Inserting Algorithms on Binary Trees Using Multisets in Theorema (Q5014671): Difference between revisions

From MaRDI portal
Importer (talk | contribs)
Created a new Item
 
ReferenceBot (talk | contribs)
Changed an Item
 
(3 intermediate revisions by 3 users not shown)
Property / MaRDI profile type
 
Property / MaRDI profile type: MaRDI publication profile / rank
 
Normal rank
Property / full work available at URL
 
Property / full work available at URL: https://doi.org/10.1007/978-3-030-43120-4_13 / rank
 
Normal rank
Property / OpenAlex ID
 
Property / OpenAlex ID: W3011039584 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Theorema 2.0: A System for Mathematical Theory Exploration / rank
 
Normal rank
Property / cites work
 
Property / cites work: Deductive synthesis of sorting programs / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q3690194 / rank
 
Normal rank
Property / cites work
 
Property / cites work: A Deductive Approach to Program Synthesis / rank
 
Normal rank
Property / cites work
 
Property / cites work: Automatic Deductive Synthesis of Lisp Programs in the System ALISA / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q4349924 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Mechanical synthesis of sorting algorithms for binary trees by logic and combinatorial techniques / rank
 
Normal rank
Property / cites work
 
Property / cites work: Proof–Based Synthesis of Sorting Algorithms for Trees / rank
 
Normal rank
Property / cites work
 
Property / cites work: Synthesis of list algorithms by mechanical proving / rank
 
Normal rank
Property / cites work
 
Property / cites work: Theorema 2.0: Computer-Assisted Natural-Style Mathematics / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q3416408 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q5699466 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q4780208 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Multiset theory / rank
 
Normal rank
links / mardi / namelinks / mardi / name
 

Latest revision as of 10:31, 27 July 2024

scientific article; zbMATH DE number 7441067
Language Label Description Also known as
English
Automatic Synthesis of Merging and Inserting Algorithms on Binary Trees Using Multisets in Theorema
scientific article; zbMATH DE number 7441067

    Statements

    Automatic Synthesis of Merging and Inserting Algorithms on Binary Trees Using Multisets in Theorema (English)
    0 references
    0 references
    0 references
    8 December 2021
    0 references
    algorithm synthesis
    0 references
    binary trees
    0 references
    multisets
    0 references
    theorema
    0 references

    Identifiers