MR2004c:68064, Decision procedures for inductive Boolean functions based on alternating automata
journal contribution
posted on 2023-05-23, 00:33 authored by Kelarev, AVNo description available
History
Publication title
Theoretical Computer ScienceVolume
300Pagination
EJDepartment/School
School of Information and Communication TechnologySocio-economic Objectives
Computer, electronic and communication equipment not elsewhere classifiedRepository Status
- Restricted
