Ítems similars: Theory Reasoning in Connection Calculi /
- Algorithimic Languages and Calculi /
- Mobility in Process Calculi and Natural Computing /
- Connectivity and Superconductivity /
- Typed Lambda Calculi and Applications : Third International Conference on Typed Lambda Calculi and Applications, TLCA '97, Nancy, France, April 2-4, 1997, Proceedings /
- Automated Reasoning : 4th International Joint Conference, IJCAR 2008, Sydney, NSW, Australia, August 12-15, 2008, Proceedings /
- The Connection /