366 search results - page 39 / 74 » Four equivalent equivalences of reductions |
FOSSACS
2001
Springer
15 years 5 months ago
2001
Springer
Abstract. We study the expressiveness of the join calculus by comparison with (generalised, coloured) Petri nets and using tools from type theory. More precisely, we consider four ...
91
Voted
NLPRS
2001
Springer
15 years 5 months ago
2001
Springer
This article reports the results of an analysis of translation equivalents in six languages from different language families, extracted from an on-line parallel corpus of George O...
100
click to vote
ISLPED
2000
ACM
15 years 5 months ago
2000
ACM
The power consumption of mixed-signal systems featured by an analog front-end, a digital back-end, and with signal processing tasks that can be computed with multiplications and a...
151
Voted
AISC
2010
Springer
15 years 5 months ago
2010
Springer
General purpose theorem provers provide sophisticated proof methods, but lack some of the advanced structuring mechanisms found in specification languages. This paper builds on pr...
130
click to vote
VL
1999
IEEE
15 years 5 months ago
1999
IEEE
Spider diagrams combine and extend Venn diagrams and Euler circles to express constraints on sets and their relationships with other sets. These diagrams can usefully be used in c...