A
Aralex
Aachen research explorer
Sign in
Menu
Papers
Authors
Topics
Journals
Patents
Institutions
Departments
Sign in
Papers
Authors
Topics
Journals
Patents
Organizations
Institutions
Departments
Papers matching “predicate abstraction”
1
Sort:
Relevance
Cited
Newest
Oldest
Fwci
Patents
⇩ CSV
Not finding it?
Sign in
to also search OpenAlex live.
Automated reasoning and randomization in separation logic
2020
RWTH Publications (RWTH Aachen)
dissertation
Computer Science
Logic, programming, and type systems
Open access
Christoph Matheja
6
citations
1 result