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 “logic programming” 6

Sort: Relevance Cited Newest Oldest Fwci Patents ⇩ CSV

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

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
Verifying Belief-Based Programs via Symbolic Dynamic Programming
2023 Frontiers in artificial intelligence and applications book-chapter Computer Science Logic, Reasoning, and Knowledge Open access

Daxin Liu, Qinfei Huang, Vaishak Belle, Gerhard Lakemeyer

1

citations
Expected Runtime Analyis by Program Verification
2020 Cambridge University Press eBooks book-chapter Computer Science Logic, programming, and type systems

Benjamin Lucien Kaminski, Joost-Pieter Katoen, Christoph Matheja

12

citations
Instrumentation Platform for Non-Volatile Memory Technologies
2026 Synthesis lectures on engineering, science, and technology book-chapter Engineering Advanced Memory and Neural Computing

Felix Staudigl, Rainer Leupers

0

citations
A Sequent Calculus
2021 Graduate texts in mathematics book-chapter Computer Science Logic, programming, and type systems

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

0

citations
Concurrency Paradigms
2022 Studies in computational intelligence book-chapter Computer Science Logic, programming, and type systems

Ryszard Janicki, Jetty Kleijn, Maciej Koutny, Łukasz Mikulski

0

citations

6 results