| Your search for 52213 returns 82 document(s) |
| Completeness of Cyclic Proofs Symbolic Heaps iwth Inductive Definitions (367-387) |
|
Author: Makoto Tatsuta
Koji Nakazawa
Daisuke Kimura; | Call Number: SEM-374 | Type: Indeks Artikel prosiding/Sem
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Reducing inductive definitions to propositional satisfiability, (LNCS-Lecture Notes in Computer Science 3668) Hal 221-234 |
|
Author: Nikolay Pelov; Eugenia Ternovska; | Call Number: 005.133 Gab l | Type: Indeks Artikel LNCS
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Compositional and inductive semantic definitions in fixpoint, equational, constraint, closure-condition, rule-based and game-theoretic form, (LNCS-Lecture Notes in Computer Science 939) Hal 293-308 |
|
Author: Patrick Cousot; Radhia Cousot; | Call Number: 004 Int c | Type: Indeks Artikel LNCS
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Natural proofs,Hal 204-213 |
|
Author: Alexander A.Rasborov; | Call Number: SEM-202 | Type: Indeks Artikel prosiding/Sem
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Modern cryptography probalistic proofs and pseudorandomners |
|
Author: Goldreich, Oded; | Call Number: 519.2 Gol m | Type: Buku
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Foundations of inductive reasoning/ Ronald Christensen |
|
Author: Christensen, Ronald; | Call Number: 006.3 Chr f | Type: Buku
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Video repairing under variable illumination using cyclic motions, page 832 |
|
Author: J. Jia | Type: Indeks Artikel Jurnal
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Formal development of programs and proofs/edited Edger W. Dijkstra |
|
Call Number: 005.1 For | Type: Buku
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| On completeness of historical relational query languages, page 64 |
|
Author: Clifford, James | Type: Indeks Artikel Jurnal
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Well-foundedness is sufficient for completeness of ordered paramodulation, Hal. 456-470 |
|
Author: Miquel Bofill, Albert Rubio; | Call Number: SEM-281 | Type: Indeks Artikel prosiding/Sem
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
Search Result