Axiomatic semantics

https://www.wikidata.org/wiki/Q792533

Field Hierarchy

Parent
Computer science 62.9M papers	Programming language 7.7M papers	Semantics (computer science) 103k papers	Operational semantics 9,604 papers
Denotational semantics 3,891 papers
Current
Axiomatic semantics 593 papers
Child

Trends

Notes

History