Size-Change Termination

100

Voted

LPAR
2010
Springer

117views Automated Reasoning» more LPAR 2010»

15 years 1 months ago

traction for Size-Change Termination

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

claim paper

Read More »

Voted

CORR
2010
Springer

130views Education» more CORR 2010»

15 years 2 months ago

traction for Size-Change Termination

Marijn Heule, Matti Järvisalo, Armin Biere

claim paper

Read More »

Sciweavers