Back to Results
First PageMeta Content
Algebraic structures / Mathematical logic / Algebraic logic / Lattice theory / Order theory / Galois connection / Field / Heyting algebra / Relation algebra / variste Galois / Residuated lattice / Group


Munich, Germany August 21, 2009 PLMMS’09 Proceedings of the ACM SIGSAM 2009 International Workshop on Programming
Add to Reading List

Document Date: 2009-08-19 04:48:38

Open Document

File Size: 2,18 MB

Share Result on Facebook