A Aralex Aachen research explorer

Theory and Practice of Logic Programming Sign in to save

Search and filter its papers →

1

Aachen authors

Patent citations

–

h-index (all)

Aachen papers per year

20

Papers 1

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

1 result

Most active Aachen authors

Henning Basold 98 citations overall
1 paper