Name
Year | Venue | Field |
|---|---|---|
2012 | logic based program synthesis and transformation | Programming language,Computer science,Combinatory logic,Concrete syntax,Algorithm,Theoretical computer science,Constraint satisfaction problem,Heuristics,Expressive power,Search tree,Distributed computing |
DocType | Citations | PageRank |
Conference | 0 | 0.34 |
References | Authors | |
11 | 5 | |
Name | Order | Citations | PageRank |
|---|---|---|---|
| tom schrijvers | 1 | 652 | 63.35 |
| Guido Tack | 2 | 377 | 27.56 |
| Pieter Wuille | 3 | 31 | 3.25 |
| Horst Samulowitz | 4 | 316 | 26.05 |
| Peter J. Stuckey | 5 | 4368 | 457.58 |