The Many Faces of a Translation
ICALP '00 Proceedings of the 27th International Colloquium on Automata, Languages and Programming
Counting Modulo Quantifiers on Finite Linearly Ordered Trees
LICS '96 Proceedings of the 11th Annual IEEE Symposium on Logic in Computer Science
Mathematical logic and quantum finite state automata
Theoretical Computer Science
The many faces of a translation
Journal of Computer and System Sciences
Extensional Uniformity for Boolean Circuits
SIAM Journal on Computing
Quantum finite automata and logics
SOFSEM'06 Proceedings of the 32nd conference on Current Trends in Theory and Practice of Computer Science
| Hi-index | 0.00 |