7988 search results - page 22 / 1598 » A Useful Undecidable Theory |
142
click to vote
FOSSACS
2009
Springer
16 years 2 days ago
2009
Springer
Abstract. We define and study an automata model of concurrent recursive programs. An automaton consists of a finite number of pushdown systems running in parallel and communicati...
147
click to vote
STACS
2007
Springer
15 years 11 months ago
2007
Springer
Abstract. In many security protocols, such as group protocols, principals have to perform iterative or recursive computations. We call such protocols recursive protocols. Recently,...
123
Voted
CADE
2006
Springer
16 years 5 months ago
2006
Springer
Abstract. We describe a second-order type theory with proof irrelevance. Within this framework, we give a representation of a form of Mac Lane set theory and discuss automated supp...
260
click to vote
POPL
2004
ACM
16 years 5 months ago
2004
ACM
In prior work we introduced a pure type assignment system that encompasses a rich set of property types, including intersections, unions, and universally and existentially quantif...
234
Voted
AAMAS
2002
Springer
15 years 5 months ago
2002
Springer
In the last few years, there has been increasing interest from the agent community in the use of techniques from decision theory and game theory. Our aims in this article are first...