borderlands e -jo u rn a l w w w .b o rd e rla n d s .n e t.a u VOLUME 12 NUMBER 1, 2013

First Page		Document Content
Date: 2013-10-17 15:13:45 Structuralism Psychoanalysis Philosophy of sexuality Philosophy Critical theory Lack Jouissance The Imaginary The Symbolic Jacques Lacan Psychoanalytic theory Poststructuralism		borderlands e -jo u rn a l w w w .b o rd e rla n d s .n e t.a u VOLUME 12 NUMBER 1, 2013 Add to Reading List Source URL: www.borderlands.net.au Download Document from Source Website File Size: 182,81 KB Share Document on Facebook

	Cryptographic Function Detection in Obfuscated Binaries via Bit-precise Symbolic Loop Mapping Dongpeng Xu The Pennsylvania State University University Park, USA Email: DocID: 1xVGY - View Document
	Automated Deduction for Verification Natarajan Shankar SRI International Automated deduction uses computation to perform symbolic logical reasoning. It has been a core technology for program verification from the very be DocID: 1xV0v - View Document
	SC2 challenges: when Satisfiability Checking and Symbolic Computation join forces James H. Davenport, Pascal Fontaine, Alberto Griggio (and the others partners whose details wouldn’t fit)1 University of Bath, LORIA, Fo DocID: 1xUDS - View Document
	Higher-Order and Symbolic Computation manuscript No. (will be inserted by the editor) The Design and Implementation of Typed Scheme: From Scripts to Programs? Sam Tobin-Hochstadt · Matthias Felleisen DocID: 1xTIa - View Document
	Three Paradoxical Aspects of Identity. by Heinrich Behmann; Max Käsbauer; Franz von Kutschera; Verlag Karl Alber Review by: John Perry The Journal of Symbolic Logic, Vol. 39, No. 2 (Jun., 1974), ppPublished by DocID: 1vrtj - View Document