First Page | Document Content | |
---|---|---|
Date: 2012-09-30 08:41:25Proof theory General relativity Complex analysis Holomorphic functional calculus | Dependent Object Types Towards a foundation for Scala’s type system Nada Amin Adriaan MoorsAdd to Reading ListSource URL: lampwww.epfl.chDownload Document from Source WebsiteFile Size: 304,06 KBShare Document on Facebook |
MG13 STOCKHOLM 1-7 JULY 2012 on Recent Developments in Theoretical and Experimental General Relativity, Astrophysics, and Relativistic Field TheoriesDocID: 1vkfp - View Document | |
A873: Cosmology Course Notes II. General Relativity Suggested Readings on this Section (All Optional)DocID: 1vcEq - View Document | |
AF T General Relativity Christian G. B¨ohmer∗ Department of Mathematics, University College London,DocID: 1uSGV - View Document | |
AUSTRALIAN SOCIETY FOR GENERAL RELATIVITY AND GRAVITATION Eighth Australasian Conference on General Relativity and Gravitation Monash UniversityDocID: 1uGN7 - View Document | |
The Problem of Conservation Laws and the Poincaré Quasigroup in General Relativity Gennady Gorelik 1. IntroductionDocID: 1uxQ5 - View Document |