1264 search results - page 48 / 253 » Towards Theory Translation |
SLOGICA
2008
13 years 8 months ago
2008
We study the proof-theoretic relationship between two deductive systems for the modal mu-calculus. First we recall an infinitary system which contains an omega rule allowing to de...
JSC
2010
13 years 7 months ago
2010
In this primarily expository article, I describe geometric approaches to variants of P v. NP, present several results that illustrate the role of group actions in complexity theory...
ECIR
2011
Springer
13 years 10 days ago
2011
Springer
The cognitively motivated principle of polyrepresentation still lacks a theoretical foundation in IR. In this work, we discuss two competing polyrepresentation frameworks that are ...
ITP
2010
14 years 21 days ago
2010
Abstract. We present a new scheme to translate mathematical developments from HOL Light to Coq, where they can be re-used and rechecked. By relying on a carefully chosen embedding ...
CAISE
2004
Springer
14 years 2 months ago
2004
Springer
In this paper we present a coordination approach towards creating and maintaining alignment between the business and its support systems. The business objectives are related to the...