1174 search results - page 16 / 235 » Derivation of Characteristic Formulae |
CADE
2001
Springer
16 years 2 months ago
2001
Springer
The STRIP system is a theorem prover for intuitionistic propositional logic with two main characteristics: it deals with the duplication of formulae during proof-search from a fine...
100
Voted
EUC
2006
Springer
15 years 5 months ago
2006
Springer
An operation is called broadcasting if a node sends a packet to all other nodes in an ad hoc network. Broadcasting is an elementary operation to support many applications in ad hoc...
106
Voted
LREC
2010
15 years 3 months ago
2010
Since the first half of the 20th century, readability formulas have been widely employed to automatically predict the readability of an unseen text. In this article, the formulas ...
162
Voted
IWAR
1992
15 years 3 months ago
1992
This paper reports the study of properties of the curve pairs of the Bertrand types using our automated reasoning program based on Wu's method of mechanical theorem proving fo...
133
Voted
PE
2002
Springer
15 years 1 months ago
2002
Springer
Priority scheduling for packets is becoming a hot topic, as attemps are being made to integrate voice services in existing data networks. In this paper, we consider a discrete-tim...