SWI-Prolog version 7 extensions Jan Wielemaker Web and Media group, VU University Amsterdam, De Boelelaan 1081a, 1081 HV Amsterdam, The Netherlands,

First Page		Document Content
Date: 2014-07-12 11:46:12 Constraint programming Formal languages Prolog Logic programming Logtalk Definite clause grammar ECLiPSe Unification String Software engineering Computing Computer programming		SWI-Prolog version 7 extensions Jan Wielemaker Web and Media group, VU University Amsterdam, De Boelelaan 1081a, 1081 HV Amsterdam, The Netherlands, Add to Reading List Source URL: www.swi-prolog.org Download Document from Source Website File Size: 119,73 KB Share Document on Facebook

	Eﬃcient String-Commitment from Weak Bit-Commitment Kai-Min Chung1, , Feng-Hao Liu2, , Chi-Jen Lu3 , and Bo-Yin Yang3 1 2 DocID: 1xW2U - View Document
	Pushing on a String: State-Owned Enterprises and Monetary Policy Transmission in China Hongyi Chen Hong Kong Institute for Monetary Research Ran Li DocID: 1xVBz - View Document
	Learning Semantic String Transformations from Examples ∗ Rishabh Singh Sumit Gulwani DocID: 1xV1V - View Document
	BlinkFill: Semi-supervised Programming By Example for Syntactic String Transformations Rishabh Singh Microsoft Research, Redmond, USA DocID: 1xUyP - View Document
	HONG KONG INSTITUTE FOR MONETARY RESEARCH PUSHING ON A STRING: STATE-OWNED ENTERPRISES AND MONETARY POLICY TRANSMISSION IN CHINA Hongyi Chen, Ran Li and Peter Tillmann DocID: 1xUfH - View Document