Axiomatic semantics

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

Field Hierarchy

Parent
Computer science 54.8M papers	Programming language 7.2M papers	Semantics (computer science) 97k papers	Operational semantics 8,679 papers
Denotational semantics 3,625 papers
Current
Axiomatic semantics 506 papers
Child

Trends

Notes

History