1 |
Verification of Program Transformations with Inductive Refinement Types
|
|
|
|
In: ISSN: 1049-331X ; ACM Transactions on Software Engineering and Methodology ; https://hal.inria.fr/hal-03518825 ; ACM Transactions on Software Engineering and Methodology, Association for Computing Machinery, 2021, 30 (1), pp.1-33. ⟨10.1145/3409805⟩ (2021)
|
|
BASE
|
|
Show details
|
|
2 |
Reading by Syllables and Graphico-Orthographic Features of Old Russian Birchbark Letters ; Чтение по складам и графико-орфографические особенности древнерусских берестяных грамот
|
|
|
|
In: Slověne = Словѣне. International Journal of Slavic Studies; Vol 9, No 2 (2020); 103-128 ; 2305-6754 ; 2304-0785 (2020)
|
|
BASE
|
|
Show details
|
|
9 |
Languages and Scripts Reflecting Patani Malay Multiple Identities in Thailand’s Deep South
|
|
|
|
In: Journal of the Southeast Asian Linguistics Society, Vol 11, Iss 2, Pp cxi-cxxiv (2018) (2018)
|
|
BASE
|
|
Show details
|
|
10 |
Software tools for big data resources in family names dictionaries
|
|
|
|
BASE
|
|
Show details
|
|
11 |
CONSTRAINT INTERACTION AND WRITING SYSTEMS TYPOLOGY
|
|
|
|
In: ISSN: 2610-3745 ; Dossiers d'HEL ; https://hal.archives-ouvertes.fr/hal-01305393 ; Dossiers d'HEL, SHESL, 2016, Écriture(s) et représentations du langage et des langues, 9, pp.290-303 ; http://shesl.org/index.php/dossier9-ecritures-et-representations/ (2016)
|
|
BASE
|
|
Show details
|
|
12 |
Письмена Тыневиля: микроисторический анализ одного изобретения
|
|
ДАВЫДОВА ЕЛЕНА АНДРЕЕВНА. - : Музей антропологии и этнографии им. Петра Великого (Кунсткамера) Российской академии наук, 2015
|
|
BASE
|
|
Show details
|
|
13 |
Student interview for Place-Based WAC/WID writing instruction in Tropical Plant and Soil Sciences, clip 7 of 14
|
|
|
|
BASE
|
|
Show details
|
|
14 |
Instructor interview for Place-Based WAC/WID writing instruction in Upper Divison English, clip 10 of 12
|
|
|
|
BASE
|
|
Show details
|
|
15 |
Instructor interview for Place-Based WAC/WID writing instruction in Social Work, clip 10 of 21
|
|
|
|
BASE
|
|
Show details
|
|
16 |
Reflexiones acerca de la lengua escrita: de código sustitutivo a código adaptativo
|
|
|
|
In: RAEL: revista electrónica de lingüística aplicada, ISSN 1885-9089, null 13, Nº. 1, 2014, pags. 157-194 (2014)
|
|
BASE
|
|
Show details
|
|
17 |
The Spread of ‘Heavenly Writing’
|
|
|
|
In: Acta Linguistica Asiatica, Vol 4, Iss 1, Pp 103-112 (2014) (2014)
|
|
BASE
|
|
Show details
|
|
18 |
The literacy ecology of a middle school classroom : teaching and writing amid influence and tension
|
|
|
|
BASE
|
|
Show details
|
|
19 |
The Development of Graphic Representation in Abugida Writing: The Akshara’s Grammar
|
|
|
|
In: Lingua Posnaniensis, Vol 55, Iss 2, Pp 49-66 (2013) (2013)
|
|
BASE
|
|
Show details
|
|
20 |
Proceedings of the EACL 2012 Workshop on Computational Linguistics and Writing: Linguistic and cognitive aspects of document creation and document engineering (CL&W 2012)
|
|
In: Proceedings of the EACL 2012 Workshop on Computational Linguistics and Writing: Linguistic and cognitive aspects of document creation and document engineering (CL&W 2012). Edited by: Piotrowski, Michael; Mahlow, Cerstin; Dale, Robert (2012). Stroudsburg, PA, USA: ACL. (2012)
|
|
BASE
|
|
Show details
|
|
|
|