3 search results - page 1 / 1 » Update Procedures and the 1-Consistency of Arithmetic |
MLQ
2002
13 years 10 months ago
2002
The 1-consistency of arithmetic is shown to be equivalent to the existence of fixed points of a certain type of update procedure, which is implicit in the epsilon-substitution met...
ACTA
2010
13 years 11 months ago
2010
This paper describes an effective verification procedure for imperative programs that handle (balanced) tree-like data structures. Since the verification problem considered is unde...
TSP
2008
13 years 11 months ago
2008
An array-based algorithm for multichannel lattice filtering is proposed. The filter is formed by a set of units that are adapted locally and concurrently using recursions that clos...