共 50 条
- [1] A LINEAR-TIME PROBABILISTIC COUNTING ALGORITHM FOR DATABASE APPLICATIONS [J]. ACM TRANSACTIONS ON DATABASE SYSTEMS, 1990, 15 (02): : 208 - 229
- [4] Counting Models of Linear-Time Temporal Logic [J]. LANGUAGE AND AUTOMATA THEORY AND APPLICATIONS (LATA 2014), 2014, 8370 : 360 - 371
- [8] The complexity of counting models of linear-time temporal logic [J]. Acta Informatica, 2018, 55 : 191 - 212
- [10] A linear-time algorithm for the generation of trees [J]. ALGORITHMICA, 1997, 17 (02) : 162 - 182