Zobrazeno 1 - 4
of 4
pro vyhledávání: '"ad-hoc overloading"'
Non-terminating (dependencies of) definitions can lead to logical contradictions, for example when defining a boolean constant as its own negation. Some proof assistants thus detect and disallow non-terminating definitions. Termination is generally u
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::1726c08a47a87c1140fc2915702b143c
Autor:
Gengelbach, Arve
With an ever growing dependency on computer systems, the need to guarantee their correct behaviour increases. Mathematically rigorous techniques like formal verification offer a way to derive a system's mathematical properties for example with the he
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=dedup_wf_001::2c82e9a92eb1bfcec8ada128e0e0e700
http://urn.kb.se/resolve?urn=urn:nbn:se:uu:diva-435841
http://urn.kb.se/resolve?urn=urn:nbn:se:uu:diva-435841
Akademický článek
Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.
K zobrazení výsledku je třeba se přihlásit.
Kniha
Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.
K zobrazení výsledku je třeba se přihlásit.