(Q7702793)

English

Termination analysis

form of program analysis in computer science

In more languages

Statements

is the study of

0 references

termination proof

0 references

Identifiers

0 references

Microsoft Academic ID

0 references

Sitelinks

Wikipedia(2 entries)

enwiki Termination analysis
frwiki Terminaison d'un algorithme

Wikibooks(0 entries)

Wikinews(0 entries)

Wikiquote(0 entries)

Wikisource(0 entries)

Wikiversity(0 entries)

Wikivoyage(0 entries)

Wiktionary(0 entries)

Multilingual sites(0 entries)

Retrieved from "https://www.wikidata.org/w/index.php?title=Q7702793&oldid=2086377427"