From

Institution

Field

Type

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

Reset

Papers matching “propositional logic” 11

Sort: Relevance Cited Newest Oldest Fwci Patents ⇩ CSV

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

A Finite-Model-Theoretic View on Propositional Proof Complexity
2022 Logical Methods in Computer Science article Computer Science Complexity and Algorithms in Graphs Open access

Erich Grädel, Martin Grohe, Benedikt Pago, Wied Pakusa

5

citations
Free Models and Logic Programming
2021 Graduate texts in mathematics book-chapter Computer Science Logic, programming, and type systems

Heinz-Dieter Ebbinghaus, Jörg Flum, Wolfgang Thomas

0

citations
Co-Creating Value Propositions in Ecosystems: How the Service-dominant Logic Complements Strategy
2023 Academy of Management Proceedings conference-abstract Business, Management and Accounting Service and Product Innovation

Fabian Grimm, Christina Dienhart, Torsten Oliver Salge

0

citations
On Propositional Program Equivalence (Extended Abstract)
2025 Lecture notes in computer science conference-paper Computer Science Logic, programming, and type systems

Tobias Kappé

0

citations
Stärken und Grenzen des Weisfeiler-Leman-Algorithmus
2020 RWTH Publications (RWTH Aachen) dissertation Computer Science Advanced Graph Theory Research Open access

Sandra Kiefer

7

citations
Richard Billingham
2020 Springer eBooks reference-entry Arts and Humanities Medieval Philosophy and Theology

Egbert Peter Bos

0

citations
ParaGnosis: A Tool for Parallel Knowledge Compilation
2023 Lecture notes in computer science conference-paper Computer Science Bayesian Modeling and Causal Inference

Giso H. Dal, Alfons Laarman, Peter Lucas

1

citations
Validity of inferences and validity of demonstrations
2024 Theoria article Computer Science Logic, Reasoning, and Knowledge Open access

0

citations
E. E. Constance Jones and the Law of Significant Assertion
2023 Oxford University Press eBooks book-chapter Arts and Humanities Philosophy, Science, and History Open access

Jeanne Peijnenburg, Maria van der Schaar

2

citations
Theory and experimental verification of configurable computing with stochastic memristors
2021 Scientific Reports article Engineering Advanced Memory and Neural Computing Open access

Rawan Naous, Anne Siemon, Michael Schulten, Hamzah Alahmadi, Andreas Kindsmüller, Michael Lübben, +4 more

17

citations
Innovation in Cardiothoracic Surgery: From Incremental Progress to Transformative Change
2026 European Journal of Cardio-Thoracic Surgery editorial Medicine Cardiac and Coronary Surgery Techniques Open access

Friedhelm Beyersdorf, Patrick O. Myers, Mario F.L. Gaudino, Mark Hazekamp

1

citations

11 results