2272 search results - page 189 / 455 » A Calculus for |
206
click to vote
LICS
2007
IEEE
16 years 27 days ago
2007
IEEE
In predicate logic, the proof that a theorem P holds in a theory Th is typically conducted in natural deduction or in the sequent calculus using all the information contained in t...
194
click to vote
IEEEARES
2006
IEEE
16 years 20 days ago
2006
IEEE
The µKlaim calculus is a process algebra designed to study the programming of distributed systems consisting of a number of locations each having their own tuple space and collec...
170
click to vote
ADBIS
2006
Springer
16 years 18 days ago
2006
Springer
Abstract. Traditionally, the investment funds market exploits analysis and design concepts based on the procedural programming approach. We propose a set of analysis patterns which...
173
click to vote
ATAL
2005
Springer
16 years 5 days ago
2005
Springer
Matchmaking will be an important component of future agent and agent-like systems, such as the semantic web. Most research on matchmaking has been directed toward sophisticated ma...
214
click to vote
IFIP
2004
Springer
15 years 12 months ago
2004
Springer
Pure Pattern Type Systems (P2 TS) combine in a unified setting the capabilities of rewriting and λ-calculus. Their type systems, adapted from Barendregt’s λ-cube, are especial...