3844 search results - page 378 / 769 » Modular interpreted systems |
133
click to vote
CONCUR
2010
Springer
15 years 6 months ago
2010
Springer
Abstract. Theories defined in a process model are formalized and studied. A theory in a process calculus is a set of perpetually available processes with finite interactability, ea...
173
click to vote
DEON
2010
Springer
15 years 5 months ago
2010
Springer
The aim of the present paper is to provide a metalogical systematisation in the area of deontic action logic based on Boolean algebra. Differences among the systems in question lie...
148
click to vote
CORR
2010
Springer
15 years 5 months ago
2010
Springer
Propositional type theory, first studied by Henkin, is the restriction of simple type theory to a single base type that is interpreted as the set of the two truth values. We show ...
150
Voted
ENTCS
2006
15 years 5 months ago
2006
We present a system, called RZ, for automatic generation of program specifications from mathematical theories. We translate mathematical theories to specifications by computing th...
129
click to vote
IAJIT
2006
15 years 5 months ago
2006
: This paper presents a new and extensible method for information retrieval and content analysis in natural languages (NL). The proposed method is stem-based; stems are extracted b...