Zobrazeno 1 - 3 of 3 pro vyhledávání: '"problème du vide"'
1
Dissertation/ Thesis
New algorithms and data structures for the emptiness problem of alternating automata
Autor: Maquet, Nicolas
This work studies new algorithms and data structures that are useful in the context of program verification. As computers have become more and more ubiquitous in our modern societies, an increasingly large number of computer-based systems are conside
Externí odkaz: http://hdl.handle.net/2013/ULB-DIPOT:oai:dipot.ulb.ac.be:2013/209961
Zobrazit plný text záznamu
2
Dissertation/ Thesis
New Algorithms and Data Structures for the Emptiness Problem of Alternating Automata / Nouveaux algorithmes et structures de données pour le problème du vide des automates alternants
Autor: Maquet, Nicolas P. P.
This work studies new algorithms and data structures that are useful in the context of program verification. As computers have become more and more ubiquitous in our modern societies, an increasingly large number of computer-based systems are conside
Externí odkaz: http://theses.ulb.ac.be/ETD-db/collection/available/ULBetd-02162011-105751/
Zobrazit plný text záznamu
3
New Algorithms and Data Structures for the Emptiness Problem of Alternating Automata / Nouveaux algorithmes et structures de données pour le problème du vide des automates alternants
Autor: Maquet, Nicolas
This work studies new algorithms and data structures that are useful in the context of program verification. As computers have become more and more ubiquitous in our modern societies, an increasingly large number of computer-based systems are conside
Externí odkaz: https://explore.openaire.eu/search/publication?articleId=od______2101::88f4ea1a3b65817f8b755c5de990ba42
http://hdl.handle.net/2013/ULB-ETD:oai:ulb.ac.be:ETDULB:ULBetd-02162011-105751
Zobrazit plný text záznamu

Vyhledávací nástroje:

Upřesnit hledání

Omezení vyhledávání
Plný text Recenzováno Digitální knihovna AV ČR
Zdroje