1![SETS: A Basic Set Theory Package Francis J. Wright School of Mathematical Sciences Queen Mary and Westfield College University of London Mile End Road, London E1 4NS, UK. SETS: A Basic Set Theory Package Francis J. Wright School of Mathematical Sciences Queen Mary and Westfield College University of London Mile End Road, London E1 4NS, UK.](https://www.pdfsearch.io/img/de67686872ddfb8fce1b5226477aadcc.jpg) | Add to Reading ListSource URL: reduce-algebra.comLanguage: English - Date: 2008-12-30 11:47:48
|
---|
2![Doctoral College on Logical Methods in Computer Science 10 Funded Positions for Female Doctoral Students In an effort to address gender equality in computer science, TU Wien, TU Graz, and JKU Linz are seeking exceptional Doctoral College on Logical Methods in Computer Science 10 Funded Positions for Female Doctoral Students In an effort to address gender equality in computer science, TU Wien, TU Graz, and JKU Linz are seeking exceptional](https://www.pdfsearch.io/img/023c5489952960a1205b15f6ed589c34.jpg) | Add to Reading ListSource URL: logic-cs.atLanguage: English - Date: 2014-05-09 07:47:21
|
---|
3![ON IRRELEVANCE AND ALGORITHMIC EQUALITY IN PREDICATIVE TYPE THEORY ANDREAS ABEL AND GABRIEL SCHERER Department of Computer Science, Ludwig-Maximilians-University Munich e-mail address: Gallium tea ON IRRELEVANCE AND ALGORITHMIC EQUALITY IN PREDICATIVE TYPE THEORY ANDREAS ABEL AND GABRIEL SCHERER Department of Computer Science, Ludwig-Maximilians-University Munich e-mail address: Gallium tea](https://www.pdfsearch.io/img/c57bf562c22839ce78f153d0ee0cd423.jpg) | Add to Reading ListSource URL: www2.tcs.ifi.lmu.deLanguage: English - Date: 2012-01-13 11:43:16
|
---|
4![Down with kinds: adding dependent heterogeneous equality to FC (Extended Version) Stephanie Weirich Justin Hsu Down with kinds: adding dependent heterogeneous equality to FC (Extended Version) Stephanie Weirich Justin Hsu](https://www.pdfsearch.io/img/6aceeff12b23c70283f20633276181b2.jpg) | Add to Reading ListSource URL: www.cis.upenn.eduLanguage: English - Date: 2014-07-10 05:47:14
|
---|
5![System FC with Explicit Kind Equality Stephanie Weirich Justin Hsu Richard A. Eisenberg System FC with Explicit Kind Equality Stephanie Weirich Justin Hsu Richard A. Eisenberg](https://www.pdfsearch.io/img/093a9b2c900131721f0840235b35c198.jpg) | Add to Reading ListSource URL: www.seas.upenn.eduLanguage: English - Date: 2014-07-10 05:47:05
|
---|
6![INDEX = (assignment operator) = 0 (as function definition) == (equality test operator) ! (logical NOT operator) INDEX = (assignment operator) = 0 (as function definition) == (equality test operator) ! (logical NOT operator)](https://www.pdfsearch.io/img/0c2faa94e1e77634050aec93da0e0e50.jpg) | Add to Reading ListSource URL: www.uow.edu.auLanguage: English - Date: 2001-01-07 17:05:15
|
---|
7![Microsoft PowerPoint - ece5440_LFSR_Counters.ppt [Compatibility Mode] Microsoft PowerPoint - ece5440_LFSR_Counters.ppt [Compatibility Mode]](https://www.pdfsearch.io/img/b869ab37868be38fe391ef64fe17e422.jpg) | Add to Reading ListSource URL: www0.egr.uh.eduLanguage: English - Date: 2010-03-16 18:57:23
|
---|
8![System FC with Explicit Kind Equality Stephanie Weirich System FC with Explicit Kind Equality Stephanie Weirich](https://www.pdfsearch.io/img/7f380dbf1a5cf165dece1bf7fb612965.jpg) | Add to Reading ListSource URL: www.cis.upenn.eduLanguage: English - Date: 2013-08-06 17:30:04
|
---|