4370 search results - page 115 / 874 » Algebra of Logic Programming |
113
Voted
TCS
2010
14 years 7 months ago
2010
A text is a word together with an additional linear order on it. We study quantitative models for texts, i.e. text series which assign to texts elements of a semiring. We introduc...
113
Voted
TIME
2005
IEEE
15 years 6 months ago
2005
IEEE
The language of timed µCRL is an extension of an ACP-style process algebra-based language µCRL with time-related features. In this paper we describe this language and its equati...
79
Voted
APLAS
2009
ACM
15 years 7 months ago
2009
ACM
ESOP
2005
Springer
15 years 6 months ago
2005
Springer
76
Voted
ICALP
2010
Springer
15 years 5 months ago
2010
Springer