Search the dblp DataBase
René Vestergaard :
[Publications ]
[Author Rank by year ]
[Co-authors ]
[Prefers ]
[Cites ]
[Cited by ]
Publications of Author
Chafika Chettaoui , Franck Delaplace , Pierre Lescanne , Mun'delanji Vestergaard , René Vestergaard Rewriting Game Theory as a Foundation for State-Based Models of Gene Regulation. [Citation Graph (0, 0)][DBLP ] CMSB, 2006, pp:257-270 [Conf ] J. B. Wells , René Vestergaard Equational Reasoning for Linking with First-Class Primitive Modules. [Citation Graph (0, 0)][DBLP ] ESOP, 2000, pp:412-428 [Conf ] Olivier Danvy , René Vestergaard Semantics-Based Compiling: A Case Study in Type-Directed Partial Evaluation. [Citation Graph (0, 0)][DBLP ] PLILP, 1996, pp:182-197 [Conf ] René Vestergaard , James Brotherston A Formalised First-Order Confluence Proof for the lambda-Calculus Using One-Sorted Variable Names. [Citation Graph (0, 0)][DBLP ] RTA, 2001, pp:306-321 [Conf ] René Vestergaard , James Brotherston A formalised first-order confluence proof for the -calculus using one-sorted variable names. [Citation Graph (0, 0)][DBLP ] Inf. Comput., 2003, v:183, n:2, pp:212-244 [Journal ] René Vestergaard A constructive approach to sequential Nash equilibria. [Citation Graph (0, 0)][DBLP ] Inf. Process. Lett., 2006, v:97, n:2, pp:46-51 [Journal ] René Vestergaard , J. B. Wells Cut rules and explicit substitutions. [Citation Graph (0, 0)][DBLP ] Mathematical Structures in Computer Science, 2001, v:11, n:1, pp:131-168 [Journal ] René Vestergaard The Simple Type Theory of Normalization by Evaluation. [Citation Graph (0, 0)][DBLP ] Electr. Notes Theor. Comput. Sci., 2001, v:57, n:, pp:- [Journal ] René Vestergaard , James Brotherston The Mechanisation of Barendregt-Style Equational Proofs (the Residual Perspective). [Citation Graph (0, 0)][DBLP ] Electr. Notes Theor. Comput. Sci., 2001, v:58, n:1, pp:- [Journal ] Michael Norrish , René Vestergaard Proof Pearl: De Bruijn Terms Really Do Work. [Citation Graph (0, 0)][DBLP ] TPHOLs, 2007, pp:207-222 [Conf ] Jittisak Senachak , Mun'delanji Vestergaard , René Vestergaard Cascaded Games. [Citation Graph (0, 0)][DBLP ] AB, 2007, pp:185-201 [Conf ] Conversion/Preference Games [Citation Graph (, )][DBLP ] Search in 0.004secs, Finished in 0.004secs