Size-Change Termination

134

Voted

LPAR
2010
Springer

117views Automated Reasoning» more LPAR 2010»

15 years 4 months ago

traction for Size-Change Termination

Michael Codish, Carsten Fuhs, Jürgen Giesl, P...

claim paper

Read More »

126

Voted

CORR
2010
Springer

130views Education» more CORR 2010»

15 years 6 months ago

traction for Size-Change Termination

Marijn Heule, Matti Järvisalo, Armin Biere

claim paper

Read More »

Sciweavers