130 search results - page 7 / 26 » An Equational Calculus for Alloy |
CADE
2007
Springer
14 years 7 months ago
2007
Springer
We introduce a calculus for handling integer arithmetic in first-order logic. The method is tailored to Java program verification and meant to be used both as a supporting procedur...
AIR
2005
13 years 7 months ago
2005
Qualitative temporal and spatial reasoning is in many cases based on binary relations such as before, after, starts, contains, contact, part of, and others derived from these by r...
TLCA
2007
Springer
14 years 1 months ago
2007
Springer
Inspired by recent work on normalisation by evaluation for sums, we propose a normalising and confluent extensional rewriting theory for the simply-typed λ-calculus extended with...
CADE
2006
Springer
14 years 7 months ago
2006
Springer
Abstract. We investigate cut-elimination and cut-simulation in impredicative (higher-order) logics. We illustrate that adding simple axioms such as Leibniz equations to a calculus ...
Lecture Notes
The notes cover several topics such as Measure Theory, Discrete Time Martingales, Discrete Time Option Pricing, Continuous Time, Martingales, Stochastic Integrals, Stochastic Calcu...