540 search results - page 5 / 108 » Logical Semantics of Types for Concurrency |
CONCUR
2010
Springer
13 years 8 months ago
2010
Springer
Fixed point logics are widely used in computer science, in particular in artificial intelligence and concurrency. The most expressive logics of this type are the
VLDB
2007
ACM
14 years 1 months ago
2007
ACM
The recent upsurge in the interest in Semantic Web services and the high-profile projects such as the WSMO, OWLS, and SWSL, have drawn attention to the importance of logic-based ...
ICLP
2005
Springer
14 years 27 days ago
2005
Springer
ESOP
2008
Springer
13 years 9 months ago
2008
Springer
ENTCS
2007
13 years 7 months ago
2007
