Concepedia
1
Publications
35
Citations
H-Index
2015
Active since
Claudette Robinson is an author specializing in theory of computing, formal methods, and automated reasoning.
Top concepts
EngineeringFormal MethodsAutomated ReasoningTheory Of ComputingMathematical Foundations
Publications per year
2015–2015
On Sahlqvist theory for hybrid logics
Willem Conradie, Claudette Robinson · Journal of Logic and Computation · 2015 · 35 citations
Theory Of Computing, Computational Logic, Non-classical Logic +10
Rows per page
1–1 of 1