4266 search results - page 72 / 854 » A Framework for Defining Logics |
TACAS
2007
Springer
15 years 3 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
15 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
15 years 3 months ago
2005
Springer
VSTTE
2005
Springer
15 years 3 months ago
2005
Springer
FLOPS
2004
Springer
15 years 3 months ago
2004
Springer
