1888 search results - page 59 / 378 » Proof theory and computational analysis |
103
click to vote
LATA
2009
Springer
15 years 7 months ago
2009
Springer
Creole is a new born language emerging in most cases where language contact takes place. Simulating behaviors that creole communities are formed in some environments, we could cont...
107
Voted
Lecture Notes
These notes cover several topics such as Mean-Variance Frontier, Index Models, Risk Measures, CAPM, Utility-Based Portfolio Choice, CAPM Extensions
Investment for the Long Run, Te...
125
Voted
BIRTHDAY
2008
Springer
15 years 2 months ago
2008
Springer
Abstract. Church's Problem, stated fifty years ago, asks for a finitestate machine that realizes the transformation of an infinite sequence into an infinite sequence such tha...
95
Voted
TOPLAS
2008
15 years 10 days ago
2008
lem of inferring termination from such abstract information is not the halting problem for programs and may well be decidable. If this is the case, the decision algorithm forms a &...
ASIAN
2007
Springer
15 years 6 months ago
2007
Springer
Abstract. This paper is concerned about relating formal and computational models of cryptography in case of active adversaries when formal security analysis is done with first ord...