4266 search results - page 13 / 854 » A Framework for Defining Logics |
LOGCOM
2002
14 years 9 months ago
2002
The paper deals with logically definable families of sets (or point-sets) of rational numbers. In particular we are interested whether the families definable over the real line wi...
HICSS
2006
IEEE
15 years 3 months ago
2006
IEEE
COMPSAC
2002
IEEE
15 years 2 months ago
2002
IEEE
AGENTS
2001
Springer
15 years 1 months ago
2001
Springer
FUIN
2008
14 years 9 months ago
2008
Abstract. The paper is devoted to characterizing systems with random behaviours. The characterization is based on considering systems in terms of their possible runs, called proces...