Automatic synthesis of logical models for order-sorted first-order theories (Q1655487): Difference between revisions

@@ Property / cites work @@
+Proving Termination Properties with mu-term
@@ Property / cites work: Proving Termination Properties with mu-term / rank @@
+Normal rank
@@ Property / cites work @@
+A Transformational Approach to Resource Analysis with Typed-Norms
+Normal rank
@@ Property / cites work @@
+Proving correctness of imperative programs by linearizing constrained Horn clauses
+Normal rank
@@ Property / cites work @@
+Q4413064
@@ Property / cites work: Q4413064 / rank @@
+Normal rank
@@ Property / cites work @@
+Applications of Strict Π<sub>1</sub><sup>1</sup> predicates to infinitary logic
+Normal rank
@@ Property / cites work @@
+Axioms for abstract model theory
@@ Property / cites work: Axioms for abstract model theory / rank @@
+Normal rank
@@ Property / cites work @@
+Q4210476
@@ Property / cites work: Q4210476 / rank @@
+Normal rank
@@ Property / cites work @@
+Heterogeneous algebras
@@ Property / cites work: Heterogeneous algebras / rank @@
+Normal rank
@@ Property / cites work @@
+Horn Clause Solvers for Program Verification
@@ Property / cites work: Horn Clause Solvers for Program Verification / rank @@
+Normal rank
@@ Property / cites work @@
+Q4475109
@@ Property / cites work: Q4475109 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3148848
@@ Property / cites work: Q3148848 / rank @@
+Normal rank
@@ Property / cites work @@
+SAT modulo linear arithmetic for solving polynomial constraints
+Normal rank
@@ Property / cites work @@
+On Skolemization in constrained logics
@@ Property / cites work: On Skolemization in constrained logics / rank @@
+Normal rank
@@ Property / cites work @@
+Q5679729
@@ Property / cites work: Q5679729 / 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 @@
+Mechanically proving termination using polynomial interpretations
+Normal rank
@@ Property / cites work @@
+Q5677070
@@ Property / cites work: Q5677070 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5674430
@@ Property / cites work: Q5674430 / rank @@
+Normal rank
@@ Property / cites work @@
+Improved Matrix Interpretation
@@ Property / cites work: Improved Matrix Interpretation / rank @@
+Normal rank
@@ Property / cites work @@
+The Reduced Product of Abstract Domains and the Combination of Decision Procedures
+Normal rank
@@ Property / cites work @@
+Termination of term rewriting: Interpretation and type elimination
+Normal rank
@@ Property / cites work @@
+Q4692885
@@ Property / cites work: Q4692885 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5683688
@@ Property / cites work: Q5683688 / rank @@
+Normal rank
@@ Property / cites work @@
+The Semantics of Predicate Logic as a Programming Language
+Normal rank
@@ Property / cites work @@
+Matrix Interpretations for Proving Termination of Term Rewriting
+Normal rank
@@ Property / cites work @@
+Matrix interpretations for proving termination of term rewriting
+Normal rank
@@ Property / cites work @@
+Q5584402
@@ Property / cites work: Q5584402 / rank @@
+Normal rank
@@ Property / cites work @@
+Maximal Termination
@@ Property / cites work: Maximal Termination / rank @@
+Normal rank
@@ Property / cites work @@
+Proving termination by dependency pairs and inductive theorem proving
+Normal rank
@@ Property / cites work @@
+Q2715825
@@ Property / cites work: Q2715825 / rank @@
+Normal rank
@@ Property / cites work @@
+Termination Competition (termCOMP 2015)
@@ Property / cites work: Termination Competition (termCOMP 2015) / rank @@
+Normal rank
@@ Property / cites work @@
+Automated Termination Analysis for Haskell: From Term Rewriting to Programming Languages
+Normal rank
@@ Property / cites work @@
+Some fundamental algebraic tools for the semantics of computation. I. Comma categories, colimits, signatures and theories
+Normal rank
@@ Property / cites work @@
+Some fundamental algebraic tools for the semantics of computation: II. Signed and abstract theories
+Normal rank
@@ Property / cites work @@
+Q3030249
@@ Property / cites work: Q3030249 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4430286
@@ Property / cites work: Q4430286 / rank @@
+Normal rank
@@ Property / cites work @@
+Order-sorted algebra. I: Equational deduction for multiple inheritance, overloading, exceptions and partial operations
+Normal rank
@@ Property / cites work @@
+Properties of Programs and the First-Order Predicate Calculus
+Normal rank
@@ Property / cites work @@
+Q4772698
@@ Property / cites work: Q4772698 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4114748
@@ Property / cites work: Q4114748 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5685660
@@ Property / cites work: Q5685660 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5200628
@@ Property / cites work: Q5200628 / rank @@
+Normal rank
@@ Property / cites work @@
+Automated Complexity Analysis Based on the Dependency Pair Method
+Normal rank
@@ Property / cites work @@
+An axiomatic basis for computer programming
@@ Property / cites work: An axiomatic basis for computer programming / rank @@
+Normal rank
@@ Property / cites work @@
+Q4342087
@@ Property / cites work: Q4342087 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4336034
@@ Property / cites work: Q4336034 / rank @@
+Normal rank
@@ Property / cites work @@
+Q2778874
@@ Property / cites work: Q2778874 / rank @@
+Normal rank
@@ Property / cites work @@
+Termination proofs for ground rewrite systems -- interpretations and derivational complexity
+Normal rank
@@ Property / cites work @@
+Termination proofs and the length of derivations
@@ Property / cites work: Termination proofs and the length of derivations / rank @@
+Normal rank
@@ Property / cites work @@
+Logical analysis of programs
@@ Property / cites work: Logical analysis of programs / rank @@
+Normal rank
@@ Property / cites work @@
+Automatic program verification. I: A logical basis and its implementation
+Normal rank
@@ Property / cites work @@
+Polynomials over the reals in proofs of termination : from theory to practice
+Normal rank
@@ Property / cites work @@
+Use of Logical Models for Proving Operational Termination in General Logics
+Normal rank
@@ Property / cites work @@
+Operational termination of conditional term rewriting systems
+Normal rank
@@ Property / cites work @@
+Dependency pairs for proving termination properties of conditional term rewriting systems
+Normal rank
@@ Property / cites work @@
+Formalization of Properties of Functional Programs
+Normal rank
@@ Property / cites work @@
+Sup-interpretations, a semantic method for static analysis of program resources
+Normal rank
@@ Property / cites work @@
+Recent Trends in Algebraic Development Techniques
@@ Property / cites work: Recent Trends in Algebraic Development Techniques / rank @@
+Normal rank
@@ Property / cites work @@
+Recursive functions of symbolic expressions and their computation by machine, Part I
+Normal rank
@@ Property / cites work @@
+Q3032225
@@ Property / cites work: Q3032225 / rank @@
+Normal rank
@@ Property / cites work @@
+Equational Formulas and Pattern Operations in Initial Order-Sorted Algebras
+Normal rank
@@ Property / cites work @@
+Q4805343
@@ Property / cites work: Q4805343 / rank @@
+Normal rank
@@ Property / cites work @@
+Revisiting Matrix Interpretations for Proving Termination of Term Rewriting
+Normal rank
@@ Property / cites work @@
+Q2783416
@@ Property / cites work: Q2783416 / rank @@
+Normal rank
@@ Property / cites work @@
+Order-sorted termination: The unsorted way
@@ Property / cites work: Order-sorted termination: The unsorted way / rank @@
+Normal rank
@@ Property / cites work @@
+Automated Termination Analysis of Java Bytecode by Term Rewriting
+Normal rank
@@ Property / cites work @@
+Synthesis of sup-interpretations: a survey
@@ Property / cites work: Synthesis of sup-interpretations: a survey / rank @@
+Normal rank
@@ Property / cites work @@
+Transition Invariants and Transition Predicate Abstraction for Program Termination
+Normal rank
@@ Property / cites work @@
+Q2716044
@@ Property / cites work: Q2716044 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5493328
@@ Property / cites work: Q5493328 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3818127
@@ Property / cites work: Q3818127 / rank @@
+Normal rank
@@ Property / cites work @@
+Computational aspects of an order-sorted logic with term declarations
+Normal rank
@@ Property / cites work @@
+Q4001345
@@ Property / cites work: Q4001345 / rank @@
+Normal rank
@@ Property / cites work @@
+A Practical Decision Procedure for Arithmetic with Function Symbols
+Normal rank
@@ Property / cites work @@
+Theory of Formal Systems. (AM-47)
@@ Property / cites work: Theory of Formal Systems. (AM-47) / rank @@
+Normal rank
@@ Property / cites work @@
+Q5807665
@@ Property / cites work: Q5807665 / rank @@
+Normal rank
@@ Property / cites work @@
+Counterexamples to termination for the direct sum of term rewriting systems
+Normal rank
@@ Property / cites work @@
+Matrix Interpretations on Polyhedral Domains.
@@ Property / cites work: Matrix Interpretations on Polyhedral Domains. / rank @@
+Normal rank
@@ Property / cites work @@
+A mechanical solution of Schubert's steamroller by many-sorted resolution
+Normal rank
@@ Property / cites work @@
+Logic of many-sorted theories
@@ Property / cites work: Logic of many-sorted theories / rank @@
+Normal rank