Zobrazeno 1 - 6
of 6
pro vyhledávání: '"RECURSION THEORY (MATHEMATICS)"'
Publikováno v:
Technical Report / ETH Zurich, Department of Computer Science, 773
Methodologies for static program verication and analysis often support recursive predicates in specications, in order to reason about recursive data structures. Intuitively, a predicate instance represents the complete unrolling of its denition; this
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::7537f6fcaf52e1ac5f57381615a5508c
Autor:
Friedman, Sy-David1 sdf@logic.univie.ac.at, Li, Wei1 wei.li@univie.ac.at, Wong, Tin1 tin.lok.wong@univie.ac.at
Publikováno v:
Archive for Mathematical Logic. Nov2016, Vol. 55 Issue 7/8, p899-924. 26p.
Autor:
Müller-Stach, Stefan
Publikováno v:
Mathematische Semesterberichte; Oct2017, Vol. 64 Issue 2, p179-186, 8p