2 |
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
|
|
3 |
Breaking Arabic: the creative inventiveness of Uyghur script reforms
|
|
|
|
In: Design Regression ; https://hal.archives-ouvertes.fr/hal-03377124 ; Design Regression, University of Reading, 2021 ; https://designregression.com/article/breaking-arabic (2021)
|
|
BASE
|
|
Show details
|
|
4 |
Research data supporting “ΕΛΛΗΝΙΚΑ ΓΡΑΜΜΑΤΑ: A linguistic analysis of the early Greek alphabets” ...
|
|
|
|
BASE
|
|
Show details
|
|
6 |
The Social and Cultural Contexts of Historic Writing Practices ...
|
|
|
|
BASE
|
|
Show details
|
|
7 |
ΕΛΛΗΝΙΚA ΓΡΑΜΜΑΤΑ: a linguistic analysis of the early Greek alphabets ...
|
|
|
|
BASE
|
|
Show details
|
|
8 |
Systèmes d’écriture pour langues des signes et langues vocales africaines ...
|
|
|
|
BASE
|
|
Show details
|
|
9 |
Writing systems, reading and language. EPS mid-career prize lecture, presented on July 13, 2017 in Reading, England ...
|
|
|
|
BASE
|
|
Show details
|
|
10 |
Language neutrality of the LLAMA test explored: The case of agglutinative languages and multiple writing systems
|
|
|
|
In: Journal of the European Second Language Association; Vol 5, No 1 (2021); 87–100 ; 2399-9101 (2021)
|
|
BASE
|
|
Show details
|
|
11 |
Sculpting the narrative : the material practice of Epi-Olmec art and writing ...
|
|
|
|
BASE
|
|
Show details
|
|
12 |
Spelling–sound knowledge in the context of multilingualism: is access selective or nonselective? ...
|
|
|
|
BASE
|
|
Show details
|
|
13 |
Diffractive Sensor Elements for Registration of Long-Term Instability at Writing of Computer-Generated Holograms
|
|
|
|
In: Sensors ; Volume 21 ; Issue 19 (2021)
|
|
BASE
|
|
Show details
|
|
18 |
Implementing an Intelligent Collaborative Agent as Teammate in Collaborative Writing: toward a Synergy of Humans and AI
|
|
|
|
BASE
|
|
Show details
|
|
19 |
The natural supremacy of spoken language. Orality and writing in Africa
|
|
|
|
BASE
|
|
Show details
|
|
20 |
At the Intersection of Script and Literature: Writing as Aesthetic in Modern and Contemporary Japanese-language Literature
|
|
|
|
BASE
|
|
Show details
|
|
|
|