3047 search results - page 42 / 610 » On the Meaning of Logical Completeness |
IGPL
2010
13 years 7 months ago
2010
Fusion is a well-known form of combining normal modal logics endowed with a Hilbert calculi and a Kripke semantics. Herein, fusion is studied over logic systems using sequent calc...
CODES
2008
IEEE
13 years 10 months ago
2008
IEEE
SystemC is widely used for modeling and simulation in hardware/software co-design. Due to the lack of a complete formal semantics, it is not possible to verify SystemC designs. In...
CIE
2010
Springer
14 years 1 months ago
2010
Springer
The notion of computability is stable (i.e. independent of the choice of an indexing) over infinite-dimensional vector spaces provided they have a finite “tensorial dimension...
RE
2007
Springer
14 years 2 months ago
2007
Springer
In industrial requirements documents natural language is the main presentation means. In such documents, system behavior is specified in the form of scenarios, written as a seque...
CSDA
2006
13 years 8 months ago
2006
A two-stage sampling procedure for obtaining an optimal confidence interval for the largest or smallest mean of k independent normal populations is proposed, where the population ...