Annai - PDFSEARCH.IO - Document Search Engine

Annai
Results: 42

#	Item
11	Axiomatizing GSOS with Predicates? Luca Aceto1 , Georgiana Caltais1 , Eugen-Ioan Goriac1 , and Anna Ingolfsdottir1 [luca,gcaltais10,egoriac10,annai]@ru.is ICE-TCS, School of Computer Science, Reykjavik University, Icelan Add to Reading List Source URL: www.ru.is Language: English - Date: 2011-02-19 16:38:35
12	PREG Axiomatizer – A Ground Bisimilarity Checker for GSOS with Predicates⋆ Luca Aceto, Georgiana Caltais, Eugen-Ioan Goriac, and Anna Ingolfsdottir [luca,gcaltais10,egoriac10,annai]@ru.is ICE-TCS, School of Computer Add to Reading List Source URL: goriac.info Language: English - Date: 2011-07-27 14:39:22
13	Microsoft Word - reikai_annai_1406.docx Add to Reading List Source URL: www.t-eac.com Language: Japanese - Date: 2014-08-24 21:18:31
14	Microsoft Word - reikai_annai_1312.docx Add to Reading List Source URL: t-eac.com Language: Japanese - Date: 2014-06-24 00:47:42
15	Microsoft Word - reikai_annai_1404.doc Add to Reading List Source URL: www.t-eac.com Language: Japanese - Date: 2014-08-24 21:13:43
16	Microsoft Word - reikai_annai_1410.doc Add to Reading List Source URL: t-eac.com Language: Japanese - Date: 2014-09-16 22:30:37
17	Microsoft Word - reikai_annai_1403.doc Add to Reading List Source URL: www.t-eac.com Language: Japanese - Date: 2014-06-17 02:02:07
18	Microsoft Word - annai.技術概論講座doc Add to Reading List Source URL: www.usp-lab.com Language: Japanese
19	Microsoft Word - reikai_annai_1305.doc Add to Reading List Source URL: t-eac.com Language: Japanese - Date: 2014-06-17 02:19:43
20	Microsoft Word - reikai_annai_1507.doc Add to Reading List Source URL: t-eac.com Language: Japanese - Date: 2015-06-28 21:43:48

UPDATE