A Aralex Aachen research explorer

Search

From

To

Institution

Field

Type

Open access only Cited by patents (Lens) Include non-Aachen papers (citing/cited)

Papers matching “first-order model checking” 2

Sort: Relevance Cited Newest Oldest Fwci Patents ⇩ CSV

Not finding it? Sign in to also search OpenAlex live.

Provenance Analysis and Semiring Semantics for First-Order Logic
2025 Trends in mathematics book-chapter Decision Sciences Scientific Computing and Data Management

Erich Grädel, Val Tannen

1

citations
Semiring Provenance for Guarded Logics
2021 Outstanding contributions to logic book-chapter Decision Sciences Scientific Computing and Data Management

Katrin M. Dannert, Erich Grädel

10

citations

2 results