3319 search results - page 139 / 664 » Subshifts, Languages and Logic |
93
Voted
AML
2006
15 years 24 days 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...
99
Voted
DBPL
1999
Springer
15 years 5 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...
100
Voted
VEE
2005
ACM
15 years 6 months 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...
96
Voted
DAGSTUHL
2004
15 years 2 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 ...
103
Voted
DAGSTUHL
2006
15 years 2 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...