First Page | Document Content | |
---|---|---|
Date: 2015-12-18 06:55:14Mathematics Theoretical computer science Mathematical logic Formal languages Order theory Logic in computer science Multiset Path ordering Term Structure Rewriting Model theory | FBTCAn Intermediate Language for the Simulation of Biological Systems 1 Roberto Barbuti,2 Giulio Caravagna,3 Andrea Maggiolo–Schettini4 and Paolo Milazzo5Add to Reading ListSource URL: pages.di.unipi.itDownload Document from Source WebsiteFile Size: 202,32 KBShare Document on Facebook |