9532 search results - page 25 / 1907 » Logic, Graphs, and Algorithms |
164
click to vote
FUIN
2010
15 years 3 months ago
2010
We study 0-1 laws for extensions of first-order logic by Lindstr
145
Voted
ENTCS
2006
15 years 6 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...
191
Voted
ICFCA
2004
Springer
15 years 11 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...
