#	Pagina
attuale pagina	/open-h2020/per-topic/counterexamples/list/index.html
-1	/open-h2020/per-topic/parameterise/list/index.html
-2	/open-h2020/per-topic/classrooms/list/index.html
-3	/open-h2020/per-topic/endospores/list/index.html
-4	/open-h2020/per-topic/ottoman/list/index.html
-5	/open-h2020/per-topic/thorny/list/index.html
-6	/open-h2020/per-topic/finds/list/index.html
-7	/open-h2020/per-topic/etd/list/index.html
-8	/open-h2020/projects/203284/results.html

Opendata, web and dolomites

H2020 projects about "counterexamples"

The page lists 4 projects related to the topic "counterexamples".

#	achronym	title	year
1	INDEX	Rigidity of groups and higher index theory	2016
2	CASe	Combinatorics with an analytic structure	2016
3	LexsemLexcat	The lexical semantics of lexical categories	2018
4	ALGOCERT	Devising certifiable and explainable algorithms for verification and planning in cyber-physical systems	2019