Media type: E-Book; Report Title: Formalizing fixed-point theory in PVS Contributor: Bartels, Falk [Author]; Dold, Axel [Author]; Pfeifer, Holger [Author]; Henke, Friedrich Wilhelm von [Author]; Rueß, Harald [Author] imprint: Universität Ulm, 2016-03-15T11:04:17Z Language: English DOI: https://doi.org/10.18725/OPARU-3876 ISBN: 1651370826 Keywords: Fixed point theory ; Theoretische Informatik ; Fixpunkttheorie ; DDC 004 / Data processing & computer science Origination: Footnote: Diese Datenquelle enthält auch Bestandsnachweise, die nicht zu einem Volltext führen. Description: N/A