10 search results - page 2 / 2 » Five Axioms of Alpha-Conversion |
81
Voted
JSYML
2008
15 years 11 days 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 ...
120
Voted
JSW
2008
15 years 11 days 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...
104
Voted
BSL
2006
15 years 14 days 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...
95
Voted
AAAI
2000
15 years 1 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...
109
Voted
ENTCS
2006
15 years 12 days 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...