5451 search results - page 33 / 1091 » Typed Operational Semantics |
80
Voted
IJIS
2010
15 years 23 days ago
2010
SIAMMA
2010
14 years 9 months ago
2010
131
click to vote
SEMWEB
2010
Springer
15 years 5 days ago
2010
Springer
Abstract. Wikis allow users to collaboratively create and maintain content. Semantic wikis, which provide the additional means to annotate the content semantically and thereby allo...
111
Voted
SAS
1994
Springer
15 years 6 months ago
1994
Springer
We definea novelinference systemfor strictness andtotality analysisfor the simplytyped lazy lambda-calculus with constants and fixpoints. Strictness information identifies those t...
149
click to vote
ESWS
2007
Springer
15 years 8 months ago
2007
Springer
Collaborative work environments for scientific knowledge have many applications in research as well as in education. Such systems already exist (e.g. Wikipedia and PlanetMath), b...