Matches in DBpedia 2014 for { <http://dbpedia.org/resource/Algorithmic_logic> ?p ?o. }
Showing items 1 to 14 of
14
with 100 items per page.
- Algorithmic_logic abstract "Algorithmic logic is a calculus which allows the expression of semantical properties of programs by appropriate logical formulas. It provides a framework that permits proving the formulas from the axioms of program constructs such as assignment, iteration and composition instructions and from the axioms of the data structures in question see Mirkowska & Salwicki (1987), Banachowski et al. (1977).Another logic of programs is dynamic logic, see dynamic logic, Harel, Kozen & Tiuryn (2000).".
- Algorithmic_logic wikiPageID "42360188".
- Algorithmic_logic wikiPageRevisionID "604528912".
- Algorithmic_logic subject Category:Algorithms.
- Algorithmic_logic subject Category:Theoretical_computer_science.
- Algorithmic_logic comment "Algorithmic logic is a calculus which allows the expression of semantical properties of programs by appropriate logical formulas. It provides a framework that permits proving the formulas from the axioms of program constructs such as assignment, iteration and composition instructions and from the axioms of the data structures in question see Mirkowska & Salwicki (1987), Banachowski et al. (1977).Another logic of programs is dynamic logic, see dynamic logic, Harel, Kozen & Tiuryn (2000).".
- Algorithmic_logic label "Algorithmic logic".
- Algorithmic_logic label "Logika algorytmiczna".
- Algorithmic_logic sameAs Logika_algorytmiczna.
- Algorithmic_logic sameAs m.0105mn41.
- Algorithmic_logic sameAs Q11762390.
- Algorithmic_logic sameAs Q11762390.
- Algorithmic_logic wasDerivedFrom Algorithmic_logic?oldid=604528912.
- Algorithmic_logic isPrimaryTopicOf Algorithmic_logic.