File(s) not publicly available
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 TechnologyRepository Status
- Restricted