Fingeraftryk
Dyk ned i forskningsemnerne om 'A classical propositional logic for reasoning about reversible logic circuits'. Sammen danner de et unikt fingeraftryk.- Sorter
- Vægt
- Alfabetisk
A classical propositional logic for reasoning about reversible logic circuits
Holger Bock Axelsen, Robert Glück, Robin Kaarsgaard