27
Publications
1.2K
Citations
22
H-Index
1981
Active since
Alan M. Frisch is an author at University of York specializing in engineering, automated reasoning, and computer science.
Top concepts
EngineeringAutomated ReasoningComputer ScienceFormal MethodsSemanticsComputational LinguisticsLanguageLogic ProgrammingLinguisticsFormal Verification
Publications per year
1981–2022
27
27
The design of ESSENCE: a constraint language for specifying combinatorial problems
Alan M. Frisch, Matthew Grum, Christopher Jefferson et al. · 2007 · 89 citations
Rows per page
1–5 of 27