709 search results - page 32 / 142 » In-stroke word completion |
147
click to vote
ICALP
1992
Springer
15 years 6 months ago
1992
Springer
This paper defines a probabilistic barbed congruence which turns out to coincide with observational equivalence in a probabilistic extension of CCS. Based on this coincidence resu...
ACL
2006
15 years 3 months ago
2006
There are some sorts of `Preposition + Noun' combinations in Farsi that apparently a Prepositional Phrase almost behaves as Compound Prepositions. As they are not completely ...
DM
2008
15 years 2 months ago
2008
In this paper we show that for large primes the Giulietti-Ughi arcs in PG(2, p2) are not complete. In the second half of the paper we extend the original arc. Key words: Arc, Proj...
AML
2006
15 years 2 months ago
2006
Vardanyan's Theorem states that the set of PA-valid principles of Quantified Modal Logic, QML, is complete 0 2. We generalize this result to a wide class of theories. The cru...
APAL
2006
15 years 2 months ago
2006
A new modal logic D is introduced. It describes properties of provability by interpreting modality as a deductive closure operator on sets of formulas. Logic D is proven to be dec...