Curriculum Vitae Samuel R. Buss Professor of Mathematics and Computer Science Department of Mathematics University of California, San Diego

First Page		Document Content
Date: 2013-03-11 00:53:25 Logic Formal sciences Frege system Propositional calculus IEEE Symposium on Logic in Computer Science Mathematical logic Logic programming Proof theory Samuel Buss Theoretical computer science Logic in computer science Mathematics		Curriculum Vitae Samuel R. Buss Professor of Mathematics and Computer Science Department of Mathematics University of California, San Diego Add to Reading List Source URL: euclid.ucsd.edu Download Document from Source Website File Size: 102,14 KB Share Document on Facebook

	23rd Annual IEEE Symposium on Logic in Computer Science Winning regions of higher-order pushdown games∗ A. Carayol† M. Hague‡ DocID: 1uwn4 - View Document
	Program of the Twenty-Sixth Annual IEEE Symposium on LOGIC IN COMPUTER SCIENCE 21–24 June 2011, Toronto, Ontario, Canada The symposium is sponsored by the IEEE Computer Society’s Technical Committee on Mathematical DocID: 1rIYc - View Document
	2015 IEEE Symposium on Security and Privacy TinyGarble: Highly Compressed and Scalable Sequential Garbled Circuits Ebrahim M. Songhori∗ , Siam U. Hussain∗ , Ahmad-Reza Sadeghi† , Thomas Schneider† , Farinaz Kous DocID: 1rrYP - View Document
	Call for Workshop Proposals LICS 2011 26th IEEE Symposium on Logic In Computer Science http://www2.informatik.hu-berlin.de/lics/lics11/ The twenty-sith IEEE Symposium on Logic In Computer Science (LICSwill be held DocID: 1or3l - View Document
	CALL FOR PAPERS Twenty-Second Annual IEEE Symposium on LOGIC IN COMPUTER SCIENCE (LICS10th – 14th July 2007, Wrocław, Poland http://www.informatik.hu-berlin.de/lics/lics07/ DocID: 1ocsW - View Document