1076 search results - page 56 / 216 » Operations on proofs and labels |
197
Voted
AMAST
2010
Springer
15 years 19 days ago
2010
Springer
Abstract. This paper introduces matching logic, a novel framework for defining axiomatic semantics for programming languages, inspired from operational semantics. Matching logic sp...
170
click to vote
ICCV
2009
IEEE
16 years 10 months ago
2009
IEEE
Geometric rearrangement of images includes operations
such as image retargeting, inpainting, or object rearrangement.
Each such operation can be characterized by a shiftmap:
the...
154
Voted
TPHOL
2002
IEEE
15 years 10 months ago
2002
IEEE
Abstract. This paper describes a formalization of the weakest precondition, wp, for general recursive programs using the type-theoretical proof assistant Coq. The formalization is ...
167
Voted
BIRTHDAY
1997
Springer
15 years 9 months ago
1997
Springer
We compare the expressive power on finite models of two extensions of first order logic L with equality. L(Ct) is formed by adding an operator count{x : ϕ}, which builds a term ...
151
click to vote
TABLEAUX
2007
Springer
15 years 11 months ago
2007
Springer
Public announcement logic is an extension of multi-agent epistemic logic with dynamic operators to model the informational consequences of announcements to the entire group of agen...