Separation logic

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

Field Hierarchy

Parent
Computer science 61.9M papers	Artificial intelligence 11.5M papers	Programming language 7.6M papers	Theoretical computer science 609k papers
Current
Separation logic 1,020 papers
Child

Trends

Notes

History