Title | ||
---|---|---|
Logic-Based Program Synthesis and Transformation - 28th International Symposium, LOPSTR 2018, Frankfurt/Main, Germany, September 4-6, 2018, Revised Selected Papers |
Year | DOI | Venue |
---|---|---|
2019 | 10.1007/978-3-030-13838-7 | Lecture Notes in Computer Science |
DocType | Citations | PageRank |
Conference | 0 | 0.34 |
References | Authors | |
0 | 2 |
Name | Order | Citations | PageRank |
---|---|---|---|
Fred Mesnard | 1 | 0 | 0.34 |
Peter J. Stuckey | 2 | 0 | 2.37 |