6201 search results - page 45 / 1241 » Implementation of Axiomatic Language |
138
Voted
AML
2010
15 years 2 months ago
2010
Let L be a propositional language with standard Boolean connectives plus two modalities: an S4-ish topological modality and a temporal modality , understood as `next'. We ext...
115
click to vote
AML
2006
15 years 2 months ago
2006
Abstract Let L be a propositional language with standard Boolean connectives plus two modalities: an S4-ish topological modality and a temporal modality , understood as `next'...
111
Voted
CAP
2010
14 years 9 months ago
2010
How much of existing computer algebra libraries is amenable to automatic parallelization? This is a difficult topic, yet of practical importance in the era of commodity multicore ...
122
click to vote
EACL
1993
ACL Anthology
15 years 4 months ago
1993
ACL Anthology
The strategy for natural language interpretation presented in this paper implements the dynamics of context change by translating natural language texts into a meaning representat...
118
click to vote
PPDP
2001
Springer
15 years 7 months ago
2001
Springer
This paper describes an implementation of narrowing, an essential component of implementations of modern functional logic languages. These implementations rely on narrowing, in pa...