9532 search results - page 25 / 1907 » Logic, Graphs, and Algorithms |
FUIN
2010
13 years 8 months ago
2010
We study 0-1 laws for extensions of first-order logic by Lindstr
ENTCS
2006
13 years 11 months ago
2006
We introduce a simple graph logic that supports specification of Quality of Service (QoS) properties of applications. The idea is that we are not only interested in representing w...
ICFCA
2004
Springer
14 years 4 months ago
2004
Springer
Traditional logic can be understood as the investigation of the three main essential functions of thinking – concepts, judgements and conclusions. In the last years, in a new res...
CADE
1990
Springer
14 years 3 months ago
1990
Springer
FSKD
2008
Springer
14 years 10 hour ago
2008
Springer
