Search Result
Save to File
Your search for
38614
returns
2572
document(s)
Nondeterminism analysis of functional logic programs, (LNCS-Lecture Notes in Computer Science 3668) Hal 265-279
Author: Bernd Brarel; Michael Hanus; | Call Number: 005.133 Gab l | 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
Semantics of framed temporal logic programs, LNCS-Lecture Notes in Computer Science 3668) Hal 356-370
Author: Zhenhua Duan; Xiaoxiao Yang; Maciej Koutny; | Call Number: 005.133 Gab l | Type: Indeks Artikel LNCS
Find Similar
|
Add To Favorites
|
Detail in New Window
A generic framework for the analysis and specialization of logic programs, ( (LNCS-Lecture Notes in Computer Science 3668) Hal 407-409
Author: German Puebla; Elvira Albert; Manuel Hermenegildo; | Call Number: 005.133 Gab l | Type: Indeks Artikel LNCS
Find Similar
|
Add To Favorites
|
Detail in New Window
Synthesis of communicating progresses from temporal logic specifications, (LNCS-Lecture Notes in Computer Science 131) Hal. 253-281
Author: Zohar Manna; Pierre Wolper; | Call Number: 004 Lec | Type: Indeks Artikel LNCS
Find Similar
|
Add To Favorites
|
Detail in New Window
Design and synthesis of synchronization skeletons using brancing time temporal logic, (LNCS-Lecture Notes in Computer Science 131) Hal. 52-71
Author: Edmund M. Clarke; | Call Number: 004 Lec | Type: Indeks Artikel LNCS
Find Similar
|
Add To Favorites
|
Detail in New Window
The refinements and the stability of hoare logic, (LNCS-Lecture Notes in Computer Science 131)Hal. 24-36
Author: J.A. Berostra; J. V. Tucker; | Call Number: 004 Lec | Type: Indeks Artikel LNCS
Find Similar
|
Add To Favorites
|
Detail in New Window
Hoare's logic incomplete when it does not have to be, (LNCS-Lecture Notes in Computer Science 131) Hal. 9-23
Author: J. Bergstra; | Call Number: 004 Lec | Type: Indeks Artikel LNCS
Find Similar
|
Add To Favorites
|
Detail in New Window
On refinement and temporal annotations (LNCS-Lecture Notes in Computer Science 1926) Hal 185-201
Author: Ron van der Meyden; Yoram Moses; | Call Number: 004.33 Jos f | Type: Indeks Artikel LNCS
Find Similar
|
Add To Favorites
|
Detail in New Window
Case Study of integration of reconfigurable logic as a coprocessor into a SCI-cluster under RT-linux, (LNCS-Lecture Notes in Computer Science 2147) Hal 633-637
Author: Thomas Lehmann; Andreas Schreckenberg; | Call Number: 005.115 Fie | Type: Indeks Artikel LNCS
Find Similar
|
Add To Favorites
|
Detail in New Window
Prev
1
2
3
4
5
6
7
8
9
10
Next