10 search results - page 2 / 2 » Five Axioms of Alpha-Conversion |
67
Voted
JSYML
2008
14 years 10 months ago
2008
The purpose of this note is to demonstrate that a weak form of club guessing on 1 implies the existence of an Aronszajn line with no Countryman suborders. An immediate consequence ...
104
Voted
JSW
2008
14 years 10 months ago
2008
Automated negotiation is an important applying field of agent theory and technology. For the current agent theoretical models have some troubles in explaining the agent's nego...
93
Voted
BSL
2006
14 years 10 months ago
2006
We show that each of the five basic theories of second order arithmetic that play a central role in reverse mathematics has a natural counterpart in the language of nonstandard ari...
79
Voted
AAAI
2000
14 years 11 months ago
2000
Although much has been written about various information integration technologies, little has been said regarding how to combine these technologies together to build an entire &qu...
93
Voted
ENTCS
2006
14 years 10 months ago
2006
This is an extended version of an essay with the same title that I wrote for the workshop Algebraic Process Calculi: The First Twenty Five Years and Beyond, held in Bertinoro, Ita...