Pascal and Francis Bibliographic Databases

Help

Search results

Your search

au.\*:("SCHWICHTENBERG H")

Results 1 to 4 of 4

  • Page / 1
Export

Selection :

  • and

BEWEISTHEORETISCHE CHARAKTERISIERUNG EINER ERWEITERUNG DER GRZEGORCZYK-HIERARCHIE CARACTERISATION D'UN ELARGISSEMENT DE LA HIERARCHIE DE GRZEGORCZYK EN THEORIE DE LA DEMONSTRATIONSCHWICHTENBERG H.ARCHIV FUR MATHEMATISCHE LOGIK UND GRUNDLAGENFORSCHUNG. 1972, Vol 15, Num 3-4, pp 129-145Article

COMPLEXITY OF NORMALIZATION IN THE PURE TYPED LAMBDA-CALCULUSSCHWICHTENBERG H.1982; STUD. LOG. FOUND. MATH.; ISSN 0049-237X; NLD; DA. 1982; VOL. 110; PP. 453-457; BIBL. 5 REF.Conference Paper

Termination of permutative conversions in intuitionistic Gentzen calculiSCHWICHTENBERG, H.Theoretical computer science. 1999, Vol 212, Num 1-2, pp 247-260, issn 0304-3975Article

Formal correctness proofs of functional programs : Dijkstra's algorithm, a case studyBENL, H; SCHWICHTENBERG, H.NATO ASI series. Series F : computer and system sciences. 1999, pp 113-126, issn 0258-1248, isbn 3-540-64589-6Conference Paper

  • Page / 1