Search Result
Save to File
Your search for
52303
returns
1909
document(s)
Termination Detection in Logic Programs Using Argument Sizes (216-226)
Author: Kirack Sohn Allen Van Gelder; | Call Number: SEM-350 | Type: Indeks Artikel prosiding/Sem
Find Similar
|
Add To Favorites
|
Detail in New Window
Termilog: a system for checking termination of queries to logic programs, (LNCS-Lecture Notes in Computer Science 1254) Hal 444-447
Author: N. Lindenstrauss; Y. Sagiv; A. Serebrenik; | Call Number: 004 Int c | Type: Indeks Artikel LNCS
Find Similar
|
Add To Favorites
|
Detail in New Window
TermiLong: a system for checking termination of queries to logic programs, (LNCS-Lecture Notes in Computer Science 1254)Hal. 444-447
Author: N. Lindenstrauss, Y. Sagiv; A. Serebernik; | Call Number: 004 Int c | Type: Indeks Artikel LNCS
Find Similar
|
Add To Favorites
|
Detail in New Window
Polynomial interpretations as a basis for termination analysis of logic programs, (LNCS-Lecture Notes in Computer Science 3668) Hal 311-325
Author: Manh Thang Nguyen; Danny De Schreye; | Call Number: 005.133 Gab l | Type: Indeks Artikel LNCS
Find Similar
|
Add To Favorites
|
Detail in New Window
A study of analogical grids extracted using feature vectors on varying vocabulary sizes in Indonesian (255-260)
Author: Rashel Fam Yves Lepage; | Call Number: SEM-371 | Type: Indeks Artikel prosiding/Sem
Find Similar
|
Add To Favorites
|
Detail in New Window
Analyzing logic programs with dynamic scheduling,Hal 240-253
Author: Kim Marriott; | Call Number: SEM-198 | Type: Indeks Artikel prosiding/Sem
Find Similar
|
Add To Favorites
|
Detail in New Window
Multi-pass execution of functional logic programs,Hal 361-374
Author: Jukka Paakki; | Call Number: SEM-198 | Type: Indeks Artikel prosiding/Sem
Find Similar
|
Add To Favorites
|
Detail in New Window
Modular Acyclicity and Tail Recursion in Logic Programs (92-101)
Author: Kenneth A.Ross; | Call Number: SEM-350 | Type: Indeks Artikel prosiding/Sem
Find Similar
|
Add To Favorites
|
Detail in New Window
Inference of Inequality Constraints in Logic Programs (227-240)
Author: Alexander Brodsky Yehoshua Sagiv; | Call Number: SEM-350 | Type: Indeks Artikel prosiding/Sem
Find Similar
|
Add To Favorites
|
Detail in New Window
Efficient condition detection for shared-memory programs with post/wait synchronization, Hal. II.242-246
Author: Robert H.B Netzer; Sanjoy Ghosh; | Call Number: SEM-155 | Type: Indeks Artikel prosiding/Sem
Find Similar
|
Add To Favorites
|
Detail in New Window
Prev 1
2
3
4
5
6
7
8
9
10
Next