Back to Results
First PageMeta Content
Relational model / Lambda calculus / Formal methods / FO / Finite model theory / Relational algebra / Fixed-point combinator / Modal logic / Theoretical computer science / Applied mathematics / Mathematical logic


14 Vittorio: Riccardo: Sergio: Riccardo: Vittorio:
Add to Reading List

Document Date: 2010-02-12 06:45:46

Open Document

File Size: 263,45 KB

Share Result on Facebook
UPDATE