Decision Procedure for an Extension of WS1S
CSL '01 Proceedings of the 15th International Workshop on Computer Science Logic
Decision procedures for inductive Boolean functions based on alternating automata
Theoretical Computer Science
Hi-index | 0.89 |