3319 search results - page 139 / 664 » Subshifts, Languages and Logic |
168
click to vote
AML
2006
15 years 6 months ago
2006
We study the formal rst order system Tind in the standard language of Gentzen's LK. Tind extends LK by the purely logical rule of term-induction, that is a restricted inductio...
159
click to vote
DBPL
1999
Springer
15 years 10 months ago
1999
Springer
Linear constraint databases and query languages are appropriate for spatial database applications. Not only the data model is natural to represent a large portion of spatial data s...
160
click to vote
VEE
2005
ACM
16 years 1 days ago
2005
ACM
Language mechanisms deserve language implementation effort. While this maxim has led to sophisticated support for language features specific to object-oriented, functional and lo...
178
click to vote
DAGSTUHL
2004
15 years 7 months ago
2004
ns to define the abstract modelling language that determines the structure of the models that are to be used a two-step meta-modelling approach turned out as most adequate. In the ...
184
click to vote
DAGSTUHL
2006
15 years 7 months ago
2006
The need for process support in the context of web services has triggered the development of many languages, systems, and standards. Industry has been developing software solutions...