Automata and Their Interaction: Definitional Suggestions
FCT '99 Proceedings of the 12th International Symposium on Fundamentals of Computation Theory
Boris A. Trakhtenbrot: academic genealogy and publications
Pillars of computer science
On the Power of Compositional Proofs for Nets: Relationships Between Completeness and Modularity
Fundamenta Informaticae
Hi-index | 0.00 |