Fault-Tolerant Aggregate Signatures (Q2798782): Difference between revisions

@@ Property / full work available at URL @@
+https://doi.org/10.1007/978-3-662-49384-7_13
+Normal rank
@@ Property / OpenAlex ID @@
+W2293223894
@@ Property / OpenAlex ID: W2293223894 / rank @@
+Normal rank
@@ Property / cites work @@
+Term Rewriting and All That
@@ Property / cites work: Term Rewriting and All That / rank @@
+Normal rank
@@ Property / cites work @@
+Rewrite-based Equational Theorem Proving with Selection and Simplification
+Normal rank
@@ Property / cites work @@
+Efficient Algorithms for Bounded Rigid E-unification
+Normal rank
@@ Property / cites work @@
+Theorem Proving with Bounded Rigid E-Unification
@@ Property / cites work: Theorem Proving with Bounded Rigid E-Unification / rank @@
+Normal rank
@@ Property / cites work @@
+Congruence Closure with Free Variables
@@ Property / cites work: Congruence Closure with Free Variables / rank @@
+Normal rank
@@ Property / cites work @@
+Automated deduction. A basis for applications. Vol. 1: Foundations, calculi and methods
+Normal rank
@@ Property / cites work @@
+Efficient E-Matching for SMT Solvers
@@ Property / cites work: Efficient E-Matching for SMT Solvers / rank @@
+Normal rank
@@ Property / cites work @@
+Engineering DPLL(T) + Saturation
@@ Property / cites work: Engineering DPLL(T) + Saturation / rank @@
+Normal rank
@@ Property / cites work @@
+Q2751362
@@ Property / cites work: Q2751362 / rank @@
+Normal rank
@@ Property / cites work @@
+Simplify: a theorem prover for program checking
@@ Property / cites work: Simplify: a theorem prover for program checking / rank @@
+Normal rank
@@ Property / cites work @@
+Q3996619
@@ Property / cites work: Q3996619 / rank @@
+Normal rank
@@ Property / cites work @@
+Complete Instantiation for Quantified Formulas in Satisfiabiliby Modulo Theories
+Normal rank
@@ Property / cites work @@
+Q4282607
@@ Property / cites work: Q4282607 / rank @@
+Normal rank
@@ Property / cites work @@
+Fast Decision Procedures Based on Congruence Closure
+Normal rank
@@ Property / cites work @@
+Fast congruence closure and extensions
@@ Property / cites work: Fast congruence closure and extensions / rank @@
+Normal rank
@@ Property / cites work @@
+Quantifier Instantiation Techniques for Finite Model Finding in SMT
+Normal rank
@@ Property / cites work @@
+E-Matching with Free Variables
@@ Property / cites work: E-Matching with Free Variables / rank @@
+Normal rank
@@ Property / cites work @@
+Q2723421
@@ Property / cites work: Q2723421 / rank @@
+Normal rank
@@ Property / cites work @@
+Congestion Games with Player-Specific Constants
@@ Property / cites work: Congestion Games with Player-Specific Constants / rank @@
+Normal rank
@@ Property / cites work @@
+Weighted congestion games with separable preferences
+Normal rank
@@ Property / cites work @@
+Concepts in Programming Languages
@@ Property / cites work: Concepts in Programming Languages / rank @@
+Normal rank
@@ Property / cites work @@
+The complexity of welfare maximization in congestion games
+Normal rank
@@ Property / cites work @@
+Potential games
@@ Property / cites work: Potential games / rank @@
+Normal rank
@@ Property / cites work @@
+Algorithms, games, and the internet
@@ Property / cites work: Algorithms, games, and the internet / rank @@
+Normal rank
@@ Property / cites work @@
+Q3700812
@@ Property / cites work: Q3700812 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3524728
@@ Property / cites work: Q3524728 / rank @@
+Normal rank