Axiomatic semantics

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

Field Hierarchy

Parent
Computer science 62.5M papers	Programming language 7.7M papers	Semantics (computer science) 102k papers	Operational semantics 9,593 papers
Denotational semantics 3,888 papers
Current
Axiomatic semantics 593 papers
Child

Trends

Notes

History