IOC - PDFSEARCH.IO - Document Search Engine

IOC
Results: 2147

#	Item
641	A Hoare Logic for the Coinductive Trace-Based Big-Step Semantics of While Keiko Nakata and Tarmo Uustalu Institute of Cybernetics at Tallinn University of Technology, Akadeemia tee 21, EETallinn, Estonia, {keiko\|t Add to Reading List Source URL: www.cs.ioc.ee Language: English - Date: 2010-01-14 14:32:40
642	Problems for the 27th IYPT 2014 Released by the IOC on August 1st, 2013 When throwing pebbles into water, watch the ripples; Otherwise throwing the pebbles becomes a futile pastime. Kozma Prutkov Add to Reading List Source URL: www.cis.umac.mo Language: English - Date: 2013-10-18 01:51:31
643	Recursive Modules for Programming Keiko Nakata Jacques Garrigue Research Institute for Mathematical Sciences, Add to Reading List Source URL: cs.ioc.ee Language: English - Date: 2009-05-12 08:44:16
644	Higher-Order Symb Comput DOIs10990Path resolution for nested recursive modules Jacques Garrigue · Keiko Nakata Add to Reading List Source URL: cs.ioc.ee Language: English - Date: 2012-05-31 09:38:27
645	Recursive Object-Oriented Modules Keiko Nakata1 1 Akira Ito2 Add to Reading List Source URL: cs.ioc.ee Language: English - Date: 2009-05-12 08:44:16
646	Path resolution for recursive nested modules is undecidable Keiko Nakata1 ,3 and Jacques Garrigue2 1 2 Add to Reading List Source URL: www.cs.ioc.ee Language: English - Date: 2009-05-12 08:44:16
647	PDF Document Add to Reading List Source URL: www.cs.ioc.ee Language: English - Date: 2009-05-12 08:44:16
648	PDF Document Add to Reading List Source URL: cs.ioc.ee Language: English - Date: 2010-07-07 10:33:05
649	PDF Document Add to Reading List Source URL: cs.ioc.ee Language: English - Date: 2010-07-30 13:11:03
650	PDF Document Add to Reading List Source URL: www.ioc.ee Language: English - Date: 2015-07-21 05:22:42

UPDATE