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 “termination proofs” 2

Sort: Relevance Cited Newest Oldest Fwci Patents ⇩ CSV

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

Equality and Non-discrimination
2025 Cambridge University Press eBooks book-chapter Social Sciences Discrimination and Equality Law

0

citations
Simple Numeric Planning with Two Variables Is Decidable
2025 Frontiers in artificial intelligence and applications book-chapter Computer Science AI-based Problem Solving and Planning Open access

Hayyan Helal, Gerhard Lakemeyer

0

citations

2 results