First Page | Document Content | |
---|---|---|
Date: 2015-12-18 06:55:15Theoretical computer science Computer programming Declarative programming Logic in computer science Formal languages Brane Quantum field theory String theory Rewriting Monad Substitution | Replace this file with prentcsmacro.sty for your meeting, or with entcsmacro.sty for your meeting. Both can be found at the ENTCS Macro Home Page. Spatial Calculus of Looping Sequences 1 Roberto Barbuti,2 Andrea MaggioloAdd to Reading ListSource URL: pages.di.unipi.itDownload Document from Source WebsiteFile Size: 278,61 KBShare Document on Facebook |
Razvan Gelca* (), Department of Mathematics and Statistics, Texas Tech University, Lubbock, TX 79410, and Alastair Hamilton. Theta functions and topological quantum field theory. This talk iDocID: 1vknB - View Document | |
2018 S-semester Quantum Field Theory Koichi Hamaguchi Last updated: July 26, 2018DocID: 1vfFX - View Document | |
2018 年度夏学期 場の量子論 I(浜口)レポート1 2018 S-semester, Quantum Field Theory I (Hamaguchi), homework problems 1 • 締切:DocID: 1veWz - View Document | |
Recursive methods in quantum field theory and top quark physics at the LHC Paola Ferrario IFIC, Departamento de Física TeóricaDocID: 1ul39 - View Document | |
Quantum Field Theory Uwe-Jens Wiese Institute for Theoretical Physics University of Bern August 21, 2007DocID: 1ugQa - View Document |