
Konclude
 Referenced in 13 articles
[sw12474]
 almost all datatypes. In addition, Konclude supports nominal schemas which allow for expressing arbitrary ... safe rules simply by using given ontology syntax extended with variables. Konclude can be used...

Robinson arithmetic
 Referenced in 2 articles
[sw42008]
 Robinson_Arithmetic. Robinson Arithmetic: We instantiate our syntaxindependent logic infrastructure developed in a separate ... latter was formalised using Nominal Isabelle by adapting Larry Paulson’s formalization of the Hereditarily...

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

HYBRID
 Referenced in 19 articles
[sw00421]
 Hybrid: a package for higherorder syntax in...

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

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

Matlab
 Referenced in 13702 articles
[sw00558]
 MATLAB® is a highlevel language and interactive...

Ott
 Referenced in 32 articles
[sw00663]
 Semantic definitions of fullscale programming languages are...

R
 Referenced in 10196 articles
[sw00771]
 R is a language and environment for statistical...

ML
 Referenced in 524 articles
[sw01218]
 ML (’Meta Language’) is a generalpurpose functional...

PVS
 Referenced in 634 articles
[sw03484]
 PVS is a verification system: that is, a...

Haskell
 Referenced in 885 articles
[sw03521]
 Haskell is a standardized, generalpurpose purely functional...

Isar
 Referenced in 145 articles
[sw04599]
 Theorem proving system supporting both interactive proof development...

SLMC
 Referenced in 74 articles
[sw04604]
 SLMC: A tool for model checking concurrent systems...

Mizar
 Referenced in 506 articles
[sw04704]
 The Mizar System is the only implementation of...

z3
 Referenced in 606 articles
[sw04887]
 Z3 is a highperformance theorem prover being...

HOL
 Referenced in 594 articles
[sw05492]
 Higher Order Logic (HOL) is a programming environment...

Maude
 Referenced in 700 articles
[sw06233]
 Maude is a highperformance reflective language and...