1076 search results - page 6 / 216 » Operations on proofs and labels |
MLQ
2006
13 years 7 months ago
2006
This paper is a companion to work of Feferman, J
AIML
2008
13 years 9 months ago
2008
Labelled tableaux are extensions of semantic tableaux with annotations (labels, indices) whose main function is to enrich the modal object language with semantic elements. This pap...
ESOP
2006
Springer
13 years 11 months ago
2006
Springer
Using a call-by-value functional language as an example, this article illustrates the use of coinductive definitions and proofs in big-step operational semantics, enabling it to d...
SAJ
2000
13 years 7 months ago
2000
This paper presents algebraic results that are important for the extended tyft/tyxt format [12, 13] which can be used to describe many different process algebras. This format is b...
SIAMDM
2008
13 years 7 months ago
2008
Inspired by MacMahon's original proof of his celebrated theorem on the distribution of the major index over permutations, we give a reformulation of his argument in terms of l...