
VMTL
 Referenced in 8 articles
[sw10065]
 automated analysis of termination of term rewriting systems (TRSs) has drawn a lot of attention ... analyzing the termination behaviour of conditional term rewriting systems (CTRSs). Using one of the latest...

Conditional Confluence
 Referenced in 7 articles
[sw13315]
 automatic confluence checker for firstorder conditional term rewrite systems. The tool implements various confluence ... simple technique is presented to test conditional critical pairs for infeasibility, which makes conditional confluence...

ConCon
 Referenced in 2 articles
[sw21589]
 Reliable Confluence Checker for Conditional Term Rewrite Systems. ConCon is a fully automatic confluence checker ... oriented firstorder conditional term rewrite systems (CTRSs). It is written in Scala and available...

SPEKTR
 Referenced in 3 articles
[sw01114]
 consists of axioms represented by generalized condition term rewriting rules, strategies of their application ... standard form of axioms is extended by conditions in premises and in the built...

TRAM
 Referenced in 2 articles
[sw03369]
 abstract machine for ordersorted conditional term rewritting systems (OSCTRSs). The OSCTRSs can serve ... strategy may control parallelism suitably by combining conditions. In this paper, we describe the design...

CO3
 Referenced in 1 article
[sw28113]
 tool for proving confluence of conditional term rewriting systems (CTRS) by using a transformational approach...

Java+ITP
 Referenced in 8 articles
[sw32259]
 translated into semantically equivalent firstorder verification conditions (VCs) which are then sent to Maude ... longterm goal of this project is to use extensible and modular rewriting logic semantics...

OperatorGB
 Referenced in 2 articles
[sw36831]
 polynomial expression is not valid in terms of operators, since it may not be compatible ... context of rewriting and polynomial reduction. We give a sufficient condition on the polynomials used...

ATLAS
 Referenced in 197 articles
[sw00056]
 This paper describes the Automatically Tuned Linear Algebra...

ACL2
 Referenced in 279 articles
[sw00060]
 ACL2 is both a programming language in which...

Coq
 Referenced in 1807 articles
[sw00161]
 Coq is a formal proof management system. It...

CSDP
 Referenced in 200 articles
[sw00169]
 CSDP, A C Library for Semidefinite Programming. This...

GAP
 Referenced in 2876 articles
[sw00320]
 GAP is a system for computational discrete algebra...

Isabelle
 Referenced in 611 articles
[sw00454]
 Isabelle is a generic proof assistant. It allows...

Magma
 Referenced in 2917 articles
[sw00540]
 Computer algebra system (CAS). Magma is a large...

Maple
 Referenced in 5124 articles
[sw00545]
 The result of over 30 years of cutting...

Mathematica
 Referenced in 5957 articles
[sw00554]
 Almost any workflow involves computing results, and that...

MiniSat
 Referenced in 536 articles
[sw00577]
 An extensible SATsolver. MiniSat is a minimalistic...

nauty
 Referenced in 561 articles
[sw00611]
 graphtheoretic program NAUTY: nauty is a program...