Matches in DBpedia 2014 for { <http://dbpedia.org/resource/Algebraic_semantics_(computer_science)> ?p ?o. }
Showing items 1 to 15 of
15
with 100 items per page.
- Algebraic_semantics_(computer_science) abstract "In computer science, algebraic semantics is a form of axiomatic semantics based on algebraic laws for describing and reasoning about program semantics in a formal manner.".
- Algebraic_semantics_(computer_science) wikiPageID "35728290".
- Algebraic_semantics_(computer_science) wikiPageRevisionID "503430216".
- Algebraic_semantics_(computer_science) hasPhotoCollection Algebraic_semantics_(computer_science).
- Algebraic_semantics_(computer_science) subject Category:Formal_methods.
- Algebraic_semantics_(computer_science) subject Category:Formal_specification_languages.
- Algebraic_semantics_(computer_science) subject Category:Logic_in_computer_science.
- Algebraic_semantics_(computer_science) subject Category:Programming_language_semantics.
- Algebraic_semantics_(computer_science) comment "In computer science, algebraic semantics is a form of axiomatic semantics based on algebraic laws for describing and reasoning about program semantics in a formal manner.".
- Algebraic_semantics_(computer_science) label "Algebraic semantics (computer science)".
- Algebraic_semantics_(computer_science) sameAs m.0kbgbs0.
- Algebraic_semantics_(computer_science) sameAs Q4724011.
- Algebraic_semantics_(computer_science) sameAs Q4724011.
- Algebraic_semantics_(computer_science) wasDerivedFrom Algebraic_semantics_(computer_science)?oldid=503430216.
- Algebraic_semantics_(computer_science) isPrimaryTopicOf Algebraic_semantics_(computer_science).