From

Institution

Field

Type

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

Reset

Papers matching “fixpoint logic” 8

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 arXiv (Cornell University) preprint Computer Science Logic, Reasoning, and Knowledge Open access

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

0

citations
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
Recursive querying of neural networks via weighted structures
2026 arXiv (Cornell University) preprint Computer Science Logic, Reasoning, and Knowledge Open access

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

0

citations
Artifact for OOPSLA 2022 Article Model-Guided Synthesis of Inductive Lemmas for FOL with Least Fixpoints
2022 Artifact Digital Object Group dataset Computer Science Logic, programming, and type systems

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

1

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
Model-Guided Synthesis of Inductive Lemmas for FOL with Least Fixpoints
2020 arXiv (Cornell University) preprint Computer Science Logic, programming, and type systems Open access

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

0

citations

8 results