18:28[PLDI'23] An Automata-Based Framework for Verification and Bug Hunting in Quantum CircuitsACM SIGPLAN104 viewsView & Download
9:08Automata Theory. Building a RegExp machine: [3/16] Finite AutomataDmitry Soshnikov3.2K viewsView & Download
7:04Programming Paradigms | Functional Programming | Object Oriented Programming | Logic | java worldJava World80.7K viewsView & Download