7681 search results - page 96 / 1537 » Typed Membrane Systems |
173
click to vote
BIRTHDAY
2010
Springer
15 years 5 months ago
2010
Springer
In this paper, we present an overview to programming with proofs in the reasoning framework, Beluga. Beluga supports the specification of formal systems given by axioms and inferen...
176
click to vote
FLOPS
2010
Springer
16 years 8 days ago
2010
Springer
The logical framework LF provides an elegant foundation for specifying formal systems and proofs and it is used successfully in a wide range of applications such as certifying code...
176
click to vote
FLOPS
1999
Springer
15 years 9 months ago
1999
Springer
We describe a new approach to higher-order narrowing computations in a class of systems suitable for functional logic programming. Our approach is based on a translation of these s...
159
click to vote
DEBU
2010
15 years 5 months ago
2010
Traditional information systems return answers after a user submits a complete query. Users often feel "left in the dark" when they have limited knowledge about the unde...
137
click to vote
LEGE
2004
15 years 6 months ago
2004
In this paper we discuss the TestTool system as an established testing system model, the one that is being used in real educational settings and supports self-assessment as well as...