Predicate abstraction

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

Field Hierarchy

Parent
Computer science 54.8M papers	Mathematics 21.1M papers	Programming language 7.2M papers	Algorithm 4.5M papers
Theoretical computer science 615k papers		Model checking 19.9k papers
Current
Predicate abstraction 571 papers
Child

Trends

Notes

History