Nested - PDFSEARCH.IO - Document Search Engine

Nested
Results: 632

#	Item
121	GIA – Grupo de Inteligencia Artificial Characterising Equilibrium Logic and Nested Logic Programs: Reductions and Complexity Add to Reading List Source URL: www.ia.urjc.es Language: English - Date: 2007-01-29 12:08:59
122	A Lower Bound for FO Model Checking on Nested Pushdown Trees Alexander Kartzow \| Uni Leipzig March 20, 2012 Add to Reading List Source URL: www.kartzow.de Language: English - Date: 2015-02-23 08:49:23
123	Regular Languages of Nested Words: Fixed Points, Automata, and Synchronization ∗ Marcelo Arenas Departamento de Ciencia de la Computaci´on Pontificia Universidad Cat´olica de Chile Add to Reading List Source URL: users.dcc.uchile.cl Language: English - Date: 2010-08-31 20:05:46
124	Defending against heap overflow by using randomization in nested virtual clusters Chee Meng Tey and Debin Gao Singapore Management University, Singapore {cmtey.2008,dbgao}@smu.edu.sg Add to Reading List Source URL: flyer.sis.smu.edu.sg Language: English - Date: 2014-12-17 01:40:50
125	Hierarchically nested convex VCSPs Martin Cooper (Toulouse) Standa Živný (Oxford) CP 2011, Perugia, Italy Add to Reading List Source URL: www.cs.ox.ac.uk - Date: 2014-02-11 12:09:22
126	DFG-Schwerpunktprogramm 1324 Extraktion quantifizierbarer Information aus komplexen Systemen” ” Faster Comparison of Stopping Times by Nested Conditional Monte Carlo Add to Reading List Source URL: www.dfg-spp1324.de Language: English - Date: 2014-02-04 04:49:17
127	A Case for Alternative Nested Paging Models for Virtualized Systems Giang Hoang, Chang Bae, John Lange, Lide Zhang† , Peter Dinda and Russ Joseph † Northwestern University University of Michigan Add to Reading List Source URL: users.eecs.northwestern.edu Language: English - Date: 2011-06-06 00:40:47
128	FO Model Checking on Nested Pushdown Trees and more: on Collapsible Pushdown Graphs June 26, 2009 \| Alexander Kartzow \| TU Darmstadt \| AG Logik \| 1 Nested Trees Add to Reading List Source URL: www.kartzow.de Language: English - Date: 2015-02-23 08:49:16
129	FIRST-ORDER AND TEMPORAL LOGICS FOR NESTED WORDS ´ KOUSHA ETESSAMI, RAJEEV ALUR, MARCELO ARENAS, PABLO BARCELO, NEIL IMMERMAN, AND LEONID LIBKIN Department of Computer and Information Science, University of Pennsylvania Add to Reading List Source URL: users.dcc.uchile.cl Language: English - Date: 2010-11-02 16:08:26
130	Reports Ecology, 91(11), 2010, pp. 3123–3130 Ó 2010 by the Ecological Society of America Food webs are built up with nested subwebs MICHIO KONDOH,1,2,3 SATOSHI KATO,1 Add to Reading List Source URL: www.est.ryukoku.ac.jp Language: English - Date: 2012-05-31 00:14:07

UPDATE