<--- Back to Details
First PageDocument Content
Theoretical computer science / Computer programming / Declarative programming / Logic in computer science / Formal languages / Brane / Quantum field theory / String theory / Rewriting / Monad / Substitution
Date: 2015-12-18 06:55:15
Theoretical 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 Maggiolo

Add to Reading List

Source URL: pages.di.unipi.it

Download Document from Source Website

File Size: 278,61 KB

Share Document on Facebook

Similar Documents

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 i

DocID: 1vknB - View Document

2018 S-semester Quantum Field Theory Koichi Hamaguchi Last updated: July 26, 2018

DocID: 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órica

DocID: 1ul39 - View Document

Quantum Field Theory Uwe-Jens Wiese Institute for Theoretical Physics University of Bern August 21, 2007

DocID: 1ugQa - View Document