IFIP
1994
Springer
13 years 12 months ago
1994
Springer
The paper surveys the work which has been done from 1986-1994 on speci cations of logic programming systems by evolving algebras. 1
IFIP
1994
Springer
13 years 12 months ago
1994
Springer
IFIP
1994
Springer
13 years 12 months ago
1994
Springer
Health care is a complex and transnational task of societies. The various institutions and individuals involved are not and should not be governed by one central authority, but ha...
IFIP
1994
Springer
13 years 12 months ago
1994
Springer
IFIP
1994
Springer
13 years 12 months ago
1994
Springer
We consider three notions of factorization arising in different frameworks: factorizing languages, factorization of the natural numbers, factorizing codes. A language X A is call...
IFIP
1993
Springer
13 years 12 months ago
1993
Springer
IFIP
1993
Springer
13 years 12 months ago
1993
Springer
Repositories play a pivotal role in an integrated reuse- based application development environment. Reusing software components implies their persistent storage and maintenance, a...
IFIP
1993
Springer
13 years 12 months ago
1993
Springer
EPOS is a kernel software engineering environment, o ering integrated software con guration and process management. The EPOS process modeling PM support system runs on top of th...
ICALP
1994
Springer
13 years 12 months ago
1994
Springer
We describe efficient algorithms for finding even cycles in undirected graphs. Our main results are the following: (i) For every k 2, there is an O(V 2) time algorithm that decide...
ICALP
1994
Springer
13 years 12 months ago
1994
Springer