1950 search results - page 12 / 390 » Lambda-Free Logical Frameworks |
CONCUR
2009
Springer
14 years 2 months ago
2009
Springer
23
Voted
ICEIS
2008
IEEE
14 years 1 months ago
2008
IEEE
TASE
2007
IEEE
14 years 1 months ago
2007
IEEE
TACAS
2007
Springer
14 years 1 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 28 days 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...