3706 search results - page 16 / 742 » OntoComP System Description |
PAPM
2001
Springer
15 years 6 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 ...
129
click to vote
CADE
2007
Springer
16 years 2 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...
117
click to vote
CADE
2008
Springer
15 years 3 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...
122
click to vote
IPPS
2007
IEEE
15 years 8 months ago
2007
IEEE
Shrack is a peer-to-peer framework for document sharing and tracking. Shrack peers provide support to researchers in forming direct collaboration in autonomous sharing and keeping...
113
click to vote
CADE
1999
Springer
15 years 6 months ago
1999
Springer
CutRes is a system which takes as input an LK-proof with arbitrary cuts and skolemized end-sequent and gives as output an LKproof with atomic cuts only. The elimination of cuts is ...