Concepedia

Simon Luke

SL

1

Publications

33

Citations

1

H-Index

2007

Active since

Simon Luke is an author specializing in automated reasoning, formal methods, and logic programming.

Top concepts

EngineeringFormal MethodsComputer ScienceLogic ProgrammingAutomated ReasoningFormal Verification

Publications per year

2007–2007

1

Publications

1

Co-Logic Programming: Extending Logic Programming with Coinduction

Simon Luke, Ajay Bansal, Ajay Mallya et al. · Lecture notes in computer science · 2007 · 33 citations

Applied Logic, Computational Logic, Engineering +6

Rows per page

1–1 of 1