Metalevel algorithms for variant satisfiability (Q2413027): Difference between revisions

@@ Property / OpenAlex ID @@
+W2791470433
@@ Property / OpenAlex ID: W2791470433 / rank @@
+Normal rank
@@ Property / cites work @@
+A rewriting approach to satisfiability procedures.
+Normal rank
@@ Property / cites work @@
+Q2762630
@@ Property / cites work: Q2762630 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5309032
@@ Property / cites work: Q5309032 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5310200
@@ Property / cites work: Q5310200 / rank @@
+Normal rank
@@ Property / cites work @@
+Tree generating regular systems
@@ Property / cites work: Tree generating regular systems / rank @@
+Normal rank
@@ Property / cites work @@
+All about Maude -- a high-performance logical framework. How to specify, program and verify systems in rewriting logic. With CD-ROM.
+Normal rank
@@ Property / cites work @@
+Reflection in membership equational logic, many-sorted equational logic, Horn logic with equality, and rewriting logic
+Normal rank
@@ Property / cites work @@
+Q4038726
@@ Property / cites work: Q4038726 / rank @@
+Normal rank
@@ Property / cites work @@
+Complete axiomatizations of some quotient term algebras
+Normal rank
@@ Property / cites work @@
+Term Rewriting and Applications
@@ Property / cites work: Term Rewriting and Applications / rank @@
+Normal rank
@@ Property / cites work @@
+Q4385532
@@ Property / cites work: Q4385532 / rank @@
+Normal rank
@@ Property / cites work @@
+Adding decision procedures to SMT solvers using axioms with triggers
+Normal rank
@@ Property / cites work @@
+Termination Modulo Combinations of Equational Theories
+Normal rank
@@ Property / cites work @@
+Q3221381
@@ Property / cites work: Q3221381 / rank @@
+Normal rank
@@ Property / cites work @@
+Folding variant narrowing and optimal variant termination
+Normal rank
@@ Property / cites work @@
+Order-sorted algebra. I: Equational deduction for multiple inheritance, overloading, exceptions and partial operations
+Normal rank
@@ Property / cites work @@
+Term Rewriting and Applications
@@ Property / cites work: Term Rewriting and Applications / rank @@
+Normal rank
@@ Property / cites work @@
+Completion of a Set of Rules Modulo a Set of Equations
+Normal rank
@@ Property / cites work @@
+Decision procedures. An algorithmic point of view. With foreword by Randal E. Bryant
+Normal rank
@@ Property / cites work @@
+Combined Satisfiability Modulo Parametric Theories
+Normal rank
@@ Property / cites work @@
+Verifying Reachability-Logic Properties on Rewriting-Logic Specifications
+Normal rank
@@ Property / cites work @@
+Q3839051
@@ Property / cites work: Q3839051 / rank @@
+Normal rank
@@ Property / cites work @@
+Variant-Based Satisfiability in Initial Algebras
@@ Property / cites work: Variant-Based Satisfiability in Initial Algebras / rank @@
+Normal rank
@@ Property / cites work @@
+Q3687683
@@ Property / cites work: Q3687683 / rank @@
+Normal rank
@@ Property / cites work @@
+Simplification by Cooperating Decision Procedures
@@ Property / cites work: Simplification by Cooperating Decision Procedures / rank @@
+Normal rank
@@ Property / cites work @@
+Complexity, convexity and combinations of theories
+Normal rank
@@ Property / cites work @@
+Constructors, Sufficient Completeness, and Deadlock Freedom of Rewrite Theories
+Normal rank
@@ Property / cites work @@
+Deciding Combinations of Theories
@@ Property / cites work: Deciding Combinations of Theories / rank @@
+Normal rank
@@ Property / cites work @@
+Metalevel Algorithms for Variant Satisfiability
@@ Property / cites work: Metalevel Algorithms for Variant Satisfiability / rank @@
+Normal rank
@@ Property / cites work @@
+All-Path Reachability Logic
@@ Property / cites work: All-Path Reachability Logic / rank @@
+Normal rank
@@ Property / Wikidata QID @@
+Q130200143
@@ Property / Wikidata QID: Q130200143 / rank @@
+Normal rank