27119 search results - page 347 / 5424 » Languages |
161
click to vote
CADE
2008
Springer
16 years 7 months ago
2008
Springer
One of the keys to the success of the Thousands of Problems for Theorem Provers (TPTP) problem library and related infrastructure is the consistent use of the TPTP language. This p...
133
Voted
PODS
2005
ACM
16 years 6 months ago
2005
ACM
166
click to vote
CCECE
2009
IEEE
16 years 1 months ago
2009
IEEE
This paper presents a dynamic semantics for the parallel language HARPO/L, based on Reynolds’s grainless approach [1]. It shows that the approach scales to somewhat more sophist...
