Matches in DBpedia 2015-10 for { <http://dbpedia.org/resource/Algorithmic_logic> ?p ?o }
Showing triples 1 to 25 of
25
with 100 triples 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 wikiPageExternalLink Algorithmic_Logic.pdf.
- Algorithmic_logic wikiPageExternalLink Bcp211.pdf.
- Algorithmic_logic wikiPageID "42360188".
- Algorithmic_logic wikiPageLength "1720".
- Algorithmic_logic wikiPageOutDegree "3".
- Algorithmic_logic wikiPageRevisionID "666724278".
- Algorithmic_logic wikiPageWikiLink Category:Algorithms.
- Algorithmic_logic wikiPageWikiLink Category:Theoretical_computer_science.
- Algorithmic_logic wikiPageWikiLink Dynamic_logic.
- Algorithmic_logic hasPhotoCollection Algorithmic_logic.
- Algorithmic_logic wikiPageUsesTemplate Template:Cite_book.
- Algorithmic_logic wikiPageUsesTemplate Template:Harvtxt.
- Algorithmic_logic wikiPageUsesTemplate Template:Mathlogic-stub.
- Algorithmic_logic wikiPageUsesTemplate Template:Multiple_issues.
- 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 sameAs Logika_algorytmiczna.
- Algorithmic_logic sameAs m.0105mn41.
- Algorithmic_logic sameAs Q11762390.
- Algorithmic_logic sameAs Q11762390.
- Algorithmic_logic wasDerivedFrom Algorithmic_logic?oldid=666724278.
- Algorithmic_logic isPrimaryTopicOf Algorithmic_logic.