1264 search results - page 35 / 253 » Towards Theory Translation |
IJSITA
2010
13 years 6 months ago
2010
WWW
2011
ACM
13 years 3 months ago
2011
ACM
CSL
2004
Springer
14 years 2 months ago
2004
Springer
We present a novel third-order theory W1 1 of bounded arithmetic suitable for reasoning about PSPACE functions. This theory has the advantages of avoiding the smash function symbol...
MLQ
2000
13 years 8 months ago
2000
It is well known that the model categories of universal Horn theories are locally presentable, hence essentially algebraic [2]. In the special case of quasivarieties a direct tran...
EDOC
2006
IEEE
14 years 2 months ago
2006
IEEE
This paper presents an approach for translating legalese expression of business contracts into candidate business activities and processes while ensuring their compliance with con...