60

Non-termination analysis of logic programs with integer arithmetics

Year:
2011
Language:
english
File:
PDF, 303 KB
english, 2011