2
Publications
83
Citations
2
H-Index
1992
Active since
Véronique Royer is an author specializing in automated reasoning, linguistics, and language studies.
Top concepts
LanguageSemanticsLinguisticsAutomated ReasoningSyntaxEngineeringFormal MethodsFormal SemanticsDescription LogicsFormal Verification
Publications per year
1992–1993
2
2
Rows per page
1–2 of 2