Quick specifications for the busy programmer (Q5371995): Difference between revisions

From MaRDI portal
Import240304020342 (talk | contribs)
Set profile property.
ReferenceBot (talk | contribs)
Changed an Item
 
(3 intermediate revisions by 3 users not shown)
Property / Wikidata QID
 
Property / Wikidata QID: Q114116626 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q3993363 / rank
 
Normal rank
Property / cites work
 
Property / cites work: The octonions / rank
 
Normal rank
Property / cites work
 
Property / cites work: \textit{Theorema}: Towards computer-aided mathematical theory exploration / rank
 
Normal rank
Property / cites work
 
Property / cites work: Automating Inductive Proofs Using Theory Exploration / rank
 
Normal rank
Property / cites work
 
Property / cites work: The Daikon system for dynamic detection of likely invariants / rank
 
Normal rank
Property / cites work
 
Property / cites work: Functional geometry / rank
 
Normal rank
Property / cites work
 
Property / cites work: Conjecture synthesis for inductive theories / rank
 
Normal rank
Property / cites work
 
Property / cites work: Hipster: Integrating Theory Exploration in a Proof Assistant / rank
 
Normal rank
Property / cites work
 
Property / cites work: Zur Struktur von Alternativkörpern / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q4951437 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Ordered rewriting and confluence / rank
 
Normal rank
Property / full work available at URL
 
Property / full work available at URL: https://doi.org/10.1017/s0956796817000090 / rank
 
Normal rank
Property / OpenAlex ID
 
Property / OpenAlex ID: W2559071439 / rank
 
Normal rank

Latest revision as of 10:44, 4 December 2024

scientific article; zbMATH DE number 6796941
Language Label Description Also known as
English
Quick specifications for the busy programmer
scientific article; zbMATH DE number 6796941

    Statements

    Quick specifications for the busy programmer (English)
    0 references
    0 references
    0 references
    0 references
    0 references
    23 October 2017
    0 references
    theory exploration
    0 references
    Haskell
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references

    Identifiers