4224 search results - page 277 / 845 » Reasoning about Choice |
192
click to vote
CSL
1999
Springer
15 years 11 months ago
1999
Springer
Abstract. This paper represents the beginning of a study aimed at devising semantic models for true concurrency that provide clear distinctions between concurrency, parallelism and...
217
click to vote
LPAR
1999
Springer
15 years 11 months ago
1999
Springer
In this work, we develop a partial evaluation technique for residuating functional logic programs, which generalize the concurrent computation models for logic programs with delays...
210
click to vote
CSL
1992
Springer
15 years 11 months ago
1992
Springer
We develop the rst steps of a theory of concurrency within the framework of evolving algebras of Gurevich, with the aim of investigating its suitability for the role of a general f...
230
click to vote
META
1992
15 years 11 months ago
1992
A meta-level extension of a logic programming language is presented. The resulting language, called 'LOG (read quote-log), provides meta-programming facilities similar to thos...
217
click to vote
APWEB
2006
Springer
15 years 11 months ago
2006
Springer
Many of the documents in large text collections are duplicates and versions of each other. In recent research, we developed new methods for finding such duplicates; however, as the...