Size-Change Termination

LPAR
2010
Springer

117views Automated Reasoning» more LPAR 2010»

13 years 10 months ago

traction for Size-Change Termination

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

claim paper

Read More »

click to vote

CORR
2010
Springer

130views Education» more CORR 2010»

13 years 11 months ago

traction for Size-Change Termination

Marijn Heule, Matti Järvisalo, Armin Biere

claim paper

Read More »

Sciweavers