79 search results - page 8 / 16 » birthday 2005 |
BIRTHDAY
2005
Springer
14 years 3 months ago
2005
Springer
Undecidability results in rewriting have usually been proved by reduction from undecidable problems of Turing machines or, more recently, from Post’s Correspondence Problem. Ano...
BIRTHDAY
2005
Springer
14 years 3 months ago
2005
Springer
In the beginning, one of the main fields of application of graph transformation was biology, and more specifically morphology. Later, however, it was like if the biological appli...
BIRTHDAY
2005
Springer
14 years 3 months ago
2005
Springer
To get a better understanding of the influence of the media on current political events, researchers in Communication Science have recently reported on several case studies, in w...
BIRTHDAY
2005
Springer
14 years 3 months ago
2005
Springer
This paper is a guided tour through the theory of fibring as a general mechanism for combining logics. We present the main ideas, constructions and difficulties of fibring, from ...
BIRTHDAY
2005
Springer
14 years 3 months ago
2005
Springer
Abstract. We study a process algebra which combines both nondeterministic and probabilistic behavior in the style of Segala and Lynch’s simple probabilistic automata. We consider...