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 |
Microscopic GLSM Description of M2-brane Surface Operators and Sphere Partition Functions Jaume Gomis SCGP, November 2014 with Gerchkovitz, Komargodski, arXiv:DocID: 1t3bf - View Document | |
Andrew Schoenholtz Director and Professor from Practice Michelle Brané Adjunct Professor of Law Jennifer Podkul Adjunct Professor of LawDocID: 1rQv6 - View Document | |
Charitní pouť ke Sv. bráně na Svatý Hostýn sobota 3. září 2016 Program pouti: 10:00DocID: 1rJah - View Document | |
List of FiguresDocID: 1q4W0 - View Document | |
Physikalisches Institut Universit¨at Bonn Theoretische Physik Exercise 9 24 May 2015DocID: 1q10l - View Document |