8141 search results - page 67 / 1629 » Higher Order Generalization |
CONCUR
2010
Springer
15 years 27 days ago
2010
Springer
121
click to vote
APPML
2010
15 years 25 days ago
2010
In this paper, we apply a fixed point theorem to obtain sufficient conditions for the existence of positive periodic solutions for two classes of higher-order functional differenc...
CORR
2010
Springer
15 years 24 days ago
2010
Springer
Abstract. Nominal Logic is an extension of first-order logic with equality, name-binding, name-swapping, and freshness of names. Contrarily to higher-order logic, bound variables a...
72
Voted
CORR
2010
Springer
15 years 24 days ago
2010
Springer
97
Voted
CORR
2010
Springer
15 years 24 days ago
2010
Springer
Abstract. While distributed systems with transfer of processes have become pervasive, methods for reasoning about their behaviour are underdeveloped. In this paper we develop a bis...