1 |
Adding modular predicates to first-order fragments
|
|
|
|
In: https://hal.archives-ouvertes.fr/hal-00934622 ; 2015 (2015)
|
|
BASE
|
|
Show details
|
|
2 |
Polynomial closure and unambiguous product
|
|
|
|
In: ISSN: 1432-4350 ; EISSN: 1433-0490 ; Theory of Computing Systems ; https://hal.archives-ouvertes.fr/hal-01248158 ; Theory of Computing Systems, Springer Verlag, 1997, Theory Comput. Systems 30, (1997), 383-422, pp.383-422 ; http://link.springer.com/journal/224 (1997)
|
|
BASE
|
|
Show details
|
|
3 |
A Decision Problem of Finite State Probabilistic Automata.
|
|
|
|
In: DTIC AND NTIS (1971)
|
|
BASE
|
|
Show details
|
|
|
|