634 search results - page 48 / 127 » Completion Procedures as Semidecision Procedures |
KES
2004
Springer
15 years 3 months ago
2004
Springer
Measurement of the evolution properties of solar flares through their complete cyclic development is crucial in the studies of Solar Physics. From analysis of solar Hα images, we...
ALP
1990
Springer
15 years 1 months ago
1990
Springer
Conditional Equational Programming is an elegant way to uniformly integrate important features of functional and logic programming. Efficientmethods for equation solving are thus ...
122
click to vote
HERCMA
2001
14 years 11 months ago
2001
In this paper we present a complete reference framework for the operation of Certification Service Provider as an organisation. The objective is to form an intermediate reference m...
LPAR
2010
Springer
14 years 7 months ago
2010
Springer
Abstract. Disunification is an extension of unification to first-order formulae over syntactic equality atoms. Instead of considering only syntactic equality, I extend a disunifica...
CADE
2008
Springer
15 years 10 months ago
2008
Springer
Abstract. We present the first terminating tableau calculus for basic hybrid logic with the difference modality and converse modalities. The language under consideration is basic m...