3994 search results - page 84 / 799 » A Linear Logical Framework |
77
Voted
TASE
2007
IEEE
15 years 6 months ago
2007
IEEE
TACAS
2007
Springer
15 years 6 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...
100
Voted
ICLP
2005
Springer
15 years 6 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 6 months ago
2005
Springer
98
Voted
VSTTE
2005
Springer
15 years 6 months ago
2005
Springer
