2766 search results - page 71 / 554 » Hybridizing a Logical Framework |
TASE
2007
IEEE
14 years 4 months ago
2007
IEEE
TACAS
2007
Springer
14 years 4 months ago
2007
Springer
Analysis of biological data often requires an understanding of components of pathways and/or networks and their mutual dependency relationships. Such systems are often analyzed and...
ICLP
2005
Springer
14 years 3 months ago
2005
Springer
The relationship between abstract interpretation and partial deduction has received considerable attention and (partial) integrations have been proposed starting from both the part...
VSTTE
2005
Springer
14 years 3 months ago
2005
Springer