3719 search results - page 23 / 744 » RACER System Description |
CADE
2008
Springer
15 years 9 months ago
2008
Springer
Abstract. In this paper we describe a new tool for performing KnuthBendix completion with automatic termination tools. It is based on two ingredients: (1) the inference system for ...
DEXAW
1997
IEEE
15 years 1 months ago
1997
IEEE
In order to solve the wear problem in terms of quality there is need for a experienced expert with a lengthy practice. Such valuable persons in practice are regularly missing and ...
PAPM
2001
Springer
15 years 1 months ago
2001
Springer
This paper presents a modelling language, called MoDeST, for describing the behaviour of discrete event systems. The language combines conventional programming constructs – such ...
CADE
2007
Springer
15 years 9 months ago
2007
Springer
The E-KRHyper system is a model generator and theorem prover for first-order logic with equality. It implements the new E-hyper tableau calculus, which integrates a superposition-b...
81
Voted
CADE
2008
Springer
14 years 11 months ago
2008
Springer
Recent studies have provided many characterisations of the class of polynomial time computable functions through term rewriting techniques. In this paper we describe a (fully autom...