1948 search results - page 12 / 390 » Formalizing Mirror Theory |
AI
2004
Springer
13 years 7 months ago
2004
Springer
JUCS
2007
13 years 7 months ago
2007
SYNTHESE
2008
13 years 7 months ago
2008
The paper argues, that a direct formalization of the way common sense thinks about the numerical identity of enduring entities, requires that traditional predicate logic is develo...
JAR
2007
13 years 7 months ago
2007
Abstract. We illustrate a methodology for formalizing and reasoning about Abadi and Cardelli’s object-based calculi, in (co)inductive type theory, such as the Calculus of (Co)Ind...
DAGSTUHL
2006
13 years 9 months ago
2006
Game theorists typically assume that changing a game's payoff levels--by adding the same constant to, or subtracting it from, all payoffs--should not affect behavior. While t...