Representation and symbolic manipulation of linearly inductive Boolean functions
ICCAD '93 Proceedings of the 1993 IEEE/ACM international conference on Computer-aided design
Mechanical Verification of Adder Circuits using Rewrite RuleLaboratory
Formal Methods in System Design
SAS '99 Proceedings of the 6th International Symposium on Static Analysis
Decision Procedure for an Extension of WS1S
CSL '01 Proceedings of the 15th International Workshop on Computer Science Logic
Infinitary relations and their representation
Science of Computer Programming - Special issue on static analysis (SAS'99)
Decision procedures for inductive Boolean functions based on alternating automata
Theoretical Computer Science
Reasoning on schemata of formulæ
CICM'12 Proceedings of the 11th international conference on Intelligent Computer Mathematics
Completeness and decidability results for first-order clauses with indices
CADE'13 Proceedings of the 24th international conference on Automated Deduction
A Resolution Calculus for First-order Schemata
Fundamenta Informaticae
Hi-index | 0.00 |