Logical equality - PDFSEARCH.IO - Document Search Engine

Logical equality
Results: 9

#	Item
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. Add to Reading List Source URL: reduce-algebra.com Language: English - Date: 2008-12-30 11:47:48 Mathematical logic Mathematics Logic Boolean algebra Predicate logic Relational operator Predicate Boolean data type Algebra of sets Subset Equality Logical disjunction
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 Add to Reading List Source URL: logic-cs.at Language: 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 Add to Reading List Source URL: www2.tcs.ifi.lmu.de Language: English - Date: 2012-01-13 11:43:16 Mathematics Metalogic Proof theory Lambda calculus Entailment Logical consequence Normalisation by evaluation Sheaf Soundness Logic Mathematical logic Deduction
4	Down with kinds: adding dependent heterogeneous equality to FC (Extended Version) Stephanie Weirich Justin Hsu Add to Reading List Source URL: www.cis.upenn.edu Language: English - Date: 2014-07-10 05:47:14 Entailment Logical consequence Metalogic Soundness Logic Deduction Proof theory
5	System FC with Explicit Kind Equality Stephanie Weirich Justin Hsu Richard A. Eisenberg Add to Reading List Source URL: www.seas.upenn.edu Language: English - Date: 2014-07-10 05:47:05 Entailment Logical consequence Metalogic Type safety Logic Deduction Type theory
6	INDEX = (assignment operator) = 0 (as function definition) == (equality test operator) ! (logical NOT operator) Add to Reading List Source URL: www.uow.edu.au Language: English - Date: 2001-01-07 17:05:15 C++ Data types Procedural programming languages Cross-platform software Pointer C Fortran Pascal Stack Computing Software engineering Computer programming
7	Microsoft PowerPoint - ece5440_LFSR_Counters.ppt [Compatibility Mode] Add to Reading List Source URL: www0.egr.uh.edu Language: English - Date: 2010-03-16 18:57:23 Pseudorandom number generators Electronics Boolean algebra Propositional calculus Binary arithmetic Linear feedback shift register Counter Flip-flop Logical equality Logic gates Electronic engineering Mathematics
8	System FC with Explicit Kind Equality Stephanie Weirich Add to Reading List Source URL: www.cis.upenn.edu Language: English - Date: 2013-08-06 17:30:04 Logical consequence Metalogic Philosophical logic Logic Deduction Entailment

UPDATE