Results 241 to 250 of about 166,462,382 (252)
Some of the next articles are maybe not open access.

Hausdorff measure of sets of finite type of one-sided symbolic space

Science in China Series A: Mathematics, 1997
Baoguo Jia
exaly  

Symbolic Time and Space Tradeoffs for Probabilistic Verification

2021
Wolfgang Dvorak   +2 more
exaly  

Symbolic partition refinement with automatic balancing of time and space

Performance Evaluation, 2010
Holger Hermanns   +2 more
exaly  

Home - About - Disclaimer - Privacy