Autor der Publikation

Bitte wählen Sie eine Person um die Publikation zuzuordnen

Um zwischen Personen mit demselben Namen zu unterscheiden, wird der akademische Grad und der Titel einer wichtigen Publikation angezeigt. Zudem lassen sich über den Button neben dem Namen einige der Person bereits zugeordnete Publikationen anzeigen.

 

Weitere Publikationen von Autoren mit dem selben Namen

A Selected Bibliography on Constructive Mathematics, Intuitionistic Type Theory and Higher Order Deduction., und . J. Symb. Comput., 1 (3): 323-328 (1985)Residual Theory in lambda-Calculus: A Formal Development.. J. Funct. Program., 4 (3): 371-394 (1994)A Unification Algorithm for Typed lambda-Calculus.. Theor. Comput. Sci., 1 (1): 27-57 (1975)Induction Principles Formalized in the Calculus of Constructions.. TAPSOFT, Vol.1, Volume 249 von Lecture Notes in Computer Science, Seite 276-286. Springer, (1987)The Calculus of Constructions, und . Inf. Comput., 76 (2/3): 95-120 (Februar 1988)Complete Sets of Unifiers and Matchers in Equational Theories., und . CAAP, Volume 159 von Lecture Notes in Computer Science, Seite 205-220. Springer, (1983)A Distributed Platform for Sanskrit Processing., , , , und . COLING, Seite 1011-1028. Indian Institute of Technology Bombay, (2012)Constructions: A Higher Order Proof System for Mechanizing Mathematics., und . European Conference on Computer Algebra (1), Volume 203 von Lecture Notes in Computer Science, Seite 151-184. Springer, (1985)An Algorithm to Generate the Basis of Solutions to Homogeneous Linear Diophantine Equations.. Inf. Process. Lett., 7 (3): 144-147 (1978)An Analysis of Böhm's Theorem.. Theor. Comput. Sci., 121 (1&2): 145-167 (1993)