6201 search results - page 43 / 1241 » Implementation of Axiomatic Language |
PPDP
2004
Springer
15 years 9 months ago
2004
Springer
159
Voted
ERLANG
2009
ACM
15 years 8 months ago
2009
ACM
135
click to vote
WOLLIC
2007
Springer
15 years 10 months ago
2007
Springer
In this paper, we explore the Lambek-Grishin calculus LG: a symmetric version of categorial grammar based on the generalizations of Lambek calculus studied in Grishin [1]. The voca...
128
click to vote
FOIS
2006
15 years 5 months ago
2006
This article reflects an ongoing effort to systematize the use of terms applied by philosophers and computer scientists in the context of ontology and ontological engineering. We s...
117
Voted
DAGSTUHL
2003
15 years 5 months ago
2003
A wide range of domain-specific languages (DSLs) has been implemented successfully by embedding them in general purpose languages. This paper reviews embedding, and summarizes how...