TcT : Tyrolean complexity tool

Martin Avanzini, Georg Moser, Michael Schaper · 2016 · DOI 10.1007/978-3-662-49674-9_24

1 Pith paper cite this work. Polarity classification is still indexing.

1 Pith paper citing it

open at publisher browse 1 citing papers

representative citing papers

cs.LO · 2026-07-01 · unverdicted · novelty 3.0

Experiments compare model finding strategies for semantic labelling in termination proofs using Matchbox and MnM.

Showing 1 of 1 citing paper.

Semantic Labelling in Practice cs.LO · 2026-07-01 · unverdicted · none · ref 2
Experiments compare model finding strategies for semantic labelling in termination proofs using Matchbox and MnM.