Items where Subject is "A General Works > AC Collections. Series. Collected works"
Number of items at this level: 10. B
C
G
Genaim, Samir and King, Andy
(2003)
Goal-Independent Suspension Analysis for Logic Programs with Dynamic Scheduling: 12th European Symposium on Programming, ESOP 2003 Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2003 Warsaw, Poland, April 7–11, 2003 Proceedings.
In: Degano, Pierpaolo, ed.
European Symposium on Programming.
Lecture Notes in Computer Science
.
Springer, pp. 84-98.
ISBN 978-3-540-00886-6.
(doi:10.1007/3-540-36575-3_7)
|
![[img]](/37612/1.hassmallThumbnailVersion/content.pdf)  Preview |
|
H
J
K
King, Andy and Sondergaard, Harald
(2008)
Inferring Congruence Equations using SAT: 20th International Conference, CAV 2008 Princeton, NJ, USA, July 7-14, 2008 Proceedings.
In: Gupta, Aarti and Malik, Sharad, eds.
Computer-Aided Verification.
Lecture Notes in Computer Science, 5123
.
Springer, pp. 281-293.
ISBN 978-3-540-70543-7.
(doi:10.1007/978-3-540-70545-1_26)
|
![[img]](/37593/1.hassmallThumbnailVersion/content.pdf)  Preview |
|
M
This list was generated on Sun Dec 15 22:26:21 2019 GMT.
|