![Theoretical computer science / Computer programming / Declarative programming / Logic in computer science / Formal languages / Brane / Quantum field theory / String theory / Rewriting / Monad / Substitution Theoretical computer science / Computer programming / Declarative programming / Logic in computer science / Formal languages / Brane / Quantum field theory / String theory / Rewriting / Monad / Substitution](https://www.pdfsearch.io/img/ac8c171519fc1e3a4c54168e88b03ef7.jpg) 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 Website File Size: 278,61 KBShare Document on Facebook
|