7943 search results - page 95 / 1589 » A calculus for costed computations |
LICS
2006
IEEE
15 years 4 months ago
2006
IEEE
EDBT
2000
ACM
15 years 1 months ago
2000
ACM
98
Voted
LICS
2007
IEEE
15 years 4 months ago
2007
IEEE
In predicate logic, the proof that a theorem P holds in a theory Th is typically conducted in natural deduction or in the sequent calculus using all the information contained in t...
68
Voted
CIE
2008
Springer
15 years 8 days ago
2008
Springer
Having principal typings (for short PT) is an important property of type systems. This property guarantees the possibility of type deduction which means it is possible to develop a...
81
Voted
FOCS
2010
IEEE
14 years 7 months ago
2010
IEEE
Given a network, a set of demands and a cost function f(