( en | de | ru )

 

Disambiguation of "David, René"

Author of the publication

copydeleteadd this publication to your clipboard
On Hybrid Petri Nets.

, and . Discrete Event Dynamic Systems, 11 (1-2): 9-40 (2001)

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)

Horst Renemann

Dorothea Renesse

Ekkehart Renesse

Hans Renelt

 

Other publications of authors with the same name

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)Strong normalization results by translation., and . Ann. Pure Appl. Log., 161 (9): 1171-1179 (2010)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)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)lambda mu - Calculus and Böhm's Theorem., and . J. Symb. Log., 66 (1): 407-413 (2001)A Result of Relative Consistency About the Predicate WO(delta, kappa).. J. Symb. Log., 45 (3): 483-492 (1980)A lambda-calculus with explicit weakening and explicit substitution., and . Math. Struct. Comput. Sci., 11 (1): 169-206 (2001)