1888 search results - page 95 / 378 » Proof theory and computational analysis |
112
Voted
ALT
2003
Springer
15 years 9 months ago
2003
Springer
Solomonoff unified Occam’s razor and Epicurus’ principle of multiple explanations to one elegant, formal, universal theory of inductive inference, which initiated the field...
121
click to vote
FOSSACS
2005
Springer
15 years 6 months ago
2005
Springer
The general aim of this talk is to advocate a combinatorial perspective, together with its methods, in the investigation and study of models of computation structures. This, of cou...
105
click to vote
MIE
2008
15 years 1 months ago
2008
In the United States and Europe, electronic health records (EHRs) allow information technology and decision-support to facilitate the activities of clinicians and are considered a...
108
Voted
LICS
2009
IEEE
15 years 7 months ago
2009
IEEE
—We use the recently developed theory of forest algebras to find algebraic characterizations of the languages of unranked trees and forests definable in various logics. These i...
93
Voted
CIE
2007
Springer
15 years 6 months ago
2007
Springer
Concerning the set of rooted binary trees, one shows that Higman’s Lemma and Dershowitz’s recursive path ordering can be used for the decision of its maximal order type accordi...