4850 search results - page 611 / 970 » Proof and Computation in Geometry |
197
click to vote
LICS
2005
IEEE
16 years 13 days ago
2005
IEEE
This paper describes two new bisimulation equivalences for the pure untyped call-by-value λ-calculus, called enf bisimilarity and enf bisimilarity up to η. They are based on eag...
146
click to vote
ASM
2005
ASM
16 years 12 days ago
2005
ASM
AsmL is a novel executable specification language based on the theory of State Machines (ASMs). It represents one of the most powerful practical engines to write and execute ASMs...
170
Voted
CSL
2005
Springer
16 years 12 days ago
2005
Springer
We give a Natural Deduction formulation of an adaptation of G¨odel’s functional (Dialectica) interpretation to the extraction of (more) efficient programs from (classical) proof...
179
click to vote
FCT
2005
Springer
16 years 12 days ago
2005
Springer
Abstract. We investigate bottom-up and top-down deterministic automata on unranked trees. We show that for an appropriate definition of bottom-up deterministic automata it is poss...
175
Voted
IEAAIE
2005
Springer
16 years 11 days ago
2005
Springer
Abstract. This paper presents an agent system ASGARD-0, that provides monitoring for the success or failure of Grid jobs in a High Energy Physics application. This application area...