Symposium on Logic in Computer Science - PDFSEARCH.IO - Document Search Engine

Symposium on Logic in Computer Science
Results: 42

#	Item
1	23rd Annual IEEE Symposium on Logic in Computer Science Winning regions of higher-order pushdown games∗ A. Carayol† M. Hague‡ Add to Reading List Source URL: www.cs.rhul.ac.uk Language: English - Date: 2013-02-08 18:19:58
2	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 Add to Reading List Source URL: lics.rwth-aachen.de - Date: 2012-10-30 04:29:34
3	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 Add to Reading List Source URL: www.ieee-security.org Language: English - Date: 2015-05-11 16:43:20 Electronic engineering Digital electronics Electronics Electronic design automation Electronic design Logic in computer science Cryptographic protocols Garbled circuit Boolean circuit Sequential logic Logic synthesis Standard cell
4	Curriculum Vitae: Alexis C. Kaporis Contact information Address : Phone: Add to Reading List Source URL: students.ceid.upatras.gr Language: English - Date: 2006-02-09 03:56:19 Theoretical computer science Computational complexity theory Mathematics Logic in computer science NP-complete problems Boolean algebra Boolean satisfiability problem Electronic design automation Symposium on Discrete Algorithms Approximation algorithm Random walk 2-satisfiability
5	P UBLICATIONS C HRISTOPH M. K IRSCH www.cs.uni-salzburg.at/∼ck C ONFERENCE AND W ORKSHOP PAPERS Add to Reading List Source URL: www.cs.uni-salzburg.at Language: English - Date: 2016-07-18 08:27:08 Software engineering Programming language theory Theoretical computer science Index Search engine indexing Actor model ALGOL 68 Symposium on Logic in Computer Science
6	Hongjin Liang Address: Suzhou Institute for Advanced Study Univ. of Science and Technology of China Add to Reading List Source URL: staff.ustc.edu.cn Language: English - Date: 2016-04-27 03:06:22 Symposium on Principles of Programming Languages Programming Language Design and Implementation ACM SIGACT ACM Transactions on Programming Languages and Systems Symposium on Logic in Computer Science SIGPLAN
7	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 Add to Reading List Source URL: lics.rwth-aachen.de Language: English - Date: 2012-10-30 04:29:33 Logic in computer science Symposium on Logic in Computer Science
8	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/ Add to Reading List Source URL: lics.rwth-aachen.de Language: English - Date: 2012-10-30 04:29:28
9	Original version appeared in the 15th International Symposium on Principles and Practice of Declarative Programming (PPDPEngineering Definitional Interpreters (Extended Version) Jan Midtgaard Norman Ramsey Add to Reading List Source URL: www.cs.tufts.edu Language: English - Date: 2013-08-05 10:01:35 Logic in computer science Greek letters Denotational semantics Eval Lua Normal distribution San Semantics
10	Reprinted from the 15th International Symposium on Principles and Practice of Declarative Programming (PPDPEngineering Definitional Interpreters Jan Midtgaard Norman Ramsey Add to Reading List Source URL: www.cs.tufts.edu Language: English - Date: 2014-07-24 14:58:46 Computing Software engineering Software Greek letters Denotational semantics Logic in computer science Lua Normal distribution San String