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 “fixpoint logic” 4

Sort: Relevance Cited Newest Oldest Fwci Patents ⇩ CSV

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

Recursive Querying of Neural Networks via Weighted Structures
2026 Proceedings of the ACM on Management of Data article Computer Science Logic, Reasoning, and Knowledge

Martin Grohe, Christoph Standke, Juno Steegmans, Jan Van den Bussche

0

citations
Model-guided synthesis of inductive lemmas for FOL with least fixpoints
2022 Proceedings of the ACM on Programming Languages article Computer Science Logic, programming, and type systems Open access

Adithya Murali, Lucas Peña, Eion Blanchard, Christof Löding, P. Madhusudan

0

citations
The New Normal: We Cannot Eliminate Cuts in Coinductive Calculi, But We Can Explore Them
2020 Theory and Practice of Logic Programming article Computer Science Logic, programming, and type systems Open access

Ekaterina Komendantskaya, Dmitry Rozplokhas, Henning Basold

3

citations
Model-guided synthesis of inductive lemmas for FOL with least fixpoints
2022 Proceedings of the ACM on Programming Languages article Computer Science Logic, programming, and type systems Open access

Adithya Murali, Lucas Peña, Eion Blanchard, Christof Löding, P. Madhusudan

11

citations

4 results