( en | de | ru )

 

Disambiguation of "David, René"

Author of the publication

copydeleteadd this publication to your clipboard
Δ31 reals.

. Ann. Math. Log., 23 (2-3): 121-125 (1982)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

René Berndt

Einfluss eines diabaten Turboladermodells auf die Gesamtprozess-Simulation abgasturboaufgeladener PKW-Dieselmotoren. TU Berlin, (2009)

Ekkehart Renesse

Horst Renemann

Dorothea Renesse

Thomas Renette

 

Other publications of authors with the same name

Counting proofs in propositional logic, and . CoRR, (2009)An Arithmetical Proof of the Strong Normalization for the lambda -Calculus with Recursive Equations on Types., and . TLCA, volume 4583 of Lecture Notes in Computer Science, page 84-101. Springer, (2007)A Result of Relative Consistency About the Predicate WO(delta, kappa).. J. Symb. Log., 45 (3): 483-492 (1980)lambda mu - Calculus and Böhm's Theorem., and . J. Symb. Log., 66 (1): 407-413 (2001)Strong normalization results by translation., and . Ann. Pure Appl. Log., 161 (9): 1171-1179 (2010)A Syntactical Proof of the Operational Equivalence of Two Lambda-Terms., and . Theor. Comput. Sci., 180 (1-2): 371-375 (1997)Decidability results for primitive recursive algorithms.. Theor. Comput. Sci., 300 (1-3): 477-504 (2003)Hardware Generation of Random Single Input Change Test Sequences., , , , and . J. Electron. Test., 18 (2): 145-157 (2002)Why the Usual Candidates of Reducibility Do Not Work for the Symmetric lamba-my-calculus., and . CLA, volume 140 of Electronic Notes in Theoretical Computer Science, page 101-111. Elsevier, (2004)On Hybrid Petri Nets., and . Discrete Event Dynamic Systems, 11 (1-2): 9-40 (2001)