102
click to vote
BIRTHDAY
2005
Springer
15 years 10 months ago
2005
Springer
Abstract. Variables make rule-based systems more abstract and expressive, as witnessed by term rewriting systems and two-level grammars. In this paper we show that variables can be...
BIRTHDAY
2005
Springer
15 years 10 months ago
2005
Springer
141
click to vote
BIRTHDAY
2005
Springer
15 years 10 months ago
2005
Springer
Constructing a program from a specification is a long-known general and fundamental problem. Besides its theoretical interest, this question also has practical implications, since...
BIRTHDAY
2005
Springer
15 years 10 months ago
2005
Springer
BIRTHDAY
2005
Springer
15 years 10 months ago
2005
Springer
BIRTHDAY
2005
Springer
15 years 10 months ago
2005
Springer
136
click to vote
BIRTHDAY
2005
Springer
15 years 10 months ago
2005
Springer
The paper introduces a novel approach to the synthesis of labelled transition systems for calculi with name mobility. The proposal is based on a graphical encoding: Each process is...
108
click to vote
BIRTHDAY
2005
Springer
15 years 10 months ago
2005
Springer
We present an extension of first-order predicate logic with a novel predicate ‘at t’ meaning intuitively “this term is a variable symbol”. We give simple sequent proof-ru...
136
click to vote
BIRTHDAY
2005
Springer
15 years 10 months ago
2005
Springer
Abstract. State-of-the-art proof presentation systems suffer from several deficiencies. First, they simply present the proofs without motivating why the proof is done as it is do...