611 search results - page 19 / 123 » Yuri, Logic, and Computer Science |
RELMICS
2009
Springer
15 years 2 months ago
2009
Springer
LICS
2008
IEEE
15 years 4 months ago
2008
IEEE
We present a logic for algebraic effects, based on the algebraic representation of computational effects by operations and equations. We begin with the a-calculus, a minimal calcu...
HOA
1993
15 years 1 months ago
1993
Theory interpretation is a logical technique for relating one axiomatic theory to another with important applications in mathematics and computer science as well as in logic itself...
101
click to vote
APWEB
2006
Springer
15 years 1 months ago
2006
Springer
Many of the documents in large text collections are duplicates and versions of each other. In recent research, we developed new methods for finding such duplicates; however, as the...
LICS
2003
IEEE
15 years 3 months ago
2003
IEEE
Access control is central to security in computer systems. Over the years, there have been many efforts to explain and to improve access control, sometimes with logical ideas and ...