Equivalence - PDFSEARCH.IO - Document Search Engine

Equivalence
Results: 2665

#	Item
171	Leaving the Nest: Nominal techniques for variables with interleaving scopes Murdoch J. Gabbay1 , Dan R. Ghica2 , and Daniela Petrişan3 1 2 3 Add to Reading List Source URL: www.cs.bham.ac.uk Language: English - Date: 2015-06-27 12:59:58 Semigroup theory Category theory Functional programming Formal languages Free monoid Monoid Net NC Equivalence relation Sequence Monad Ordinal number
172	VALIDITY IN SENTENTIAL LOGIC. Add to Reading List Source URL: dl.dropboxusercontent.com Language: English Propositional calculus Logical consequence Boolean algebra Classical logic Semantics Truth table Tautology Validity Logical equivalence Argument Deductive reasoning If and only if
173	Fishing for Fools Ulrike Malmendier UC Berkeley and NBER Adam Szeidl Add to Reading List Source URL: eml.berkeley.edu Language: English - Date: 2008-07-21 14:07:20 Auction theory Auctions Vickrey auction Auction Revenue equivalence Spectrum auction EBid Behavioral economics EBay Bidding
174	Government of Western Australia Department of the Attorney General Language Services Policy Policy Statement Purpose Add to Reading List Source URL: www.department.dotag.wa.gov.au Language: English - Date: 2014-07-16 21:37:59 Language interpretation Applied linguistics Translation National Accreditation Authority for Translators and Interpreters Translating for legal equivalence
175	PDF Document Add to Reading List Source URL: www.ma.huji.ac.il Language: English - Date: 2013-01-02 04:40:23 Model theory Mathematical structures Mathematical logic Complexity classes Computability theory Equivalence relation Structure FO Metric space Arithmetical hierarchy Definable set Mutation
176	TRANSLATING A TRANSLATION. THE SEPTUAGINT AND ITS MODERN TRANSLATIONS IN THE CONTEXT OF EARLY JUDAISM (ed. H. Ausloos, J. Cook, F. García Martínez, B. Lemmelijn, M. Vervenne; BETL 213); Leuven: Peeters, 2008, pp Add to Reading List Source URL: homes.chass.utoronto.ca Language: English - Date: 2012-03-30 00:58:23 Translation studies Biblical criticism Christian biblical canon Septuagint Translation Eugene Nida Dynamic and formal equivalence Bible Gideon Toury
177	Symbolic execution - model equivalence & applications Matei Popovici, Radu Stoenescu, Lorina Negreanu, Costin Raiciu University Politehnica of Bucharest 1. NETWORK SYMBOLIC EXECUTION Add to Reading List Source URL: conferences.sigcomm.org Language: English - Date: 2016-07-31 22:09:03 Abstract interpretation Symbolic execution Program optimization APL Concolic testing
178	Auctions with a random number of identical bidders Add to Reading List Source URL: faculty.biu.ac.il Language: English - Date: 2011-10-16 10:21:02 Auction theory Auctions Game theory Mechanism design First-price sealed-bid auction Auction Nash equilibrium All-pay auction Bidding Revenue equivalence
179	457 Documenta Math. The Additivity Theorem in Algebraic K -Theory Daniel R. Grayson Add to Reading List Source URL: documenta.sagemath.org Language: English - Date: 2011-06-26 06:06:53 Homotopy theory Simplicial set Algebraic K-theory Weak equivalence Simplicial map Ring Model category Draft:K-theory of a category
180	JMLR: Workshop and Conference Proceedings vol 40:1–12, 2015 Learnability of Solutions to Conjunctive Queries: The Full Dichotomy Hubie Chen Add to Reading List Source URL: jmlr.org Language: English - Date: 2015-07-20 20:08:35 Universal algebra Algebraic structures Conjunctive query Database theory Structure Lattice FO Equivalence relation Homomorphism Congruence lattice problem

UPDATE