×

Found 6 Documents (Results 1–6)

Proof analysis. A contribution to Hilbert’s last problem. (English) Zbl 1247.03001

Cambridge: Cambridge University Press (ISBN 978-1-107-00895-3/hbk; 978-1-107-41723-6/pbk; 978-1-139-00351-3/ebook). xi, 265 p. (2011).
PDFBibTeX XMLCite
Full Text: DOI

Verification of component-based systems based on an extended temporal verification method. (Verifikation von Komponenten-basierten Systemen auf Basis eines erweiterten temporalen Verifikationsverfahrens.) (German) Zbl 1104.68529

Jena: Univ. Jena, Fakultät für Mathematik und Informatik (Dissertation). 245 p. (2006).
MSC:  68Q60 03B44 68-02
PDFBibTeX XMLCite

On the finite treatment of the proof theory of weak fragments of the set theory: \(\mathbf{KP} +\Pi_3\)-reflexion. (Zur endlichen Behandlung der Beweistheorie schwacher Fragmente der Mengenlehre: \(\mathbf{KP} +\Pi_3\)-Reflexion.) (German) Zbl 1070.03038

Hannover: Univ. Hannover, Fachbereich Mathematik und Informatik (Dissertation). 94 p. (2000).
PDFBibTeX XMLCite
Full Text: Link

Filter Results by …

Year of Publication

Main Field

Software