3825 search results - page 252 / 765 » The Language of Time: A Reader |
166
click to vote
CONCUR
1998
Springer
15 years 10 months ago
1998
Springer
The classical theory of deterministic automata is presented in terms of the notions of homomorphism and bisimulation, which are the cornerstones of the theory of universal coalgebr...
161
click to vote
ICALP
1997
Springer
15 years 10 months ago
1997
Springer
Abstract. Milner proposed an axiomatization for the Kleene star in basic process algebra, in the presence of deadlock and empty process, modulo bisimulation equivalence. In this pa...
158
click to vote
ICALP
2010
Springer
15 years 8 months ago
2010
Springer
Abstract. The HalpernShoham logic is a modal logic of time intervals. Some eort has been put in last ten years to classify fragments of this beautiful logic with respect to decid...
139
click to vote
COLING
2000
15 years 8 months ago
2000
Grammatical relationships (Glls) form an important level of natural language processing, but different sets of ORs are useflfl for different purposes. Theretbre, one may often onl...
162
click to vote
ACL
1990
15 years 7 months ago
1990
The principle known as 'free indexation' plays an important role in the determination of the referential properties of noun phrases in the principleand-parameters langua...