101
Voted
BIRTHDAY
2006
Springer
15 years 7 months ago
2006
Springer
Birkhoff (quasi-)variety categorical axiomatizability results have fascinated many scientists by their elegance, simplicity and generality. The key factor leading to their generali...
153
Voted
CSFW
2004
IEEE
15 years 7 months ago
2004
IEEE
This paper describes how symbolic techniques (in particular, OBDD's) may be used to to implement an algorithm for model checking specifications in the logic of knowledge for ...
120
Voted
CSFW
2004
IEEE
15 years 7 months ago
2004
IEEE
In many systems, items of information have owners associated with them. An owner of an item of information may want the system to enforce a policy that restricts use of that infor...
131
Voted
CSFW
2004
IEEE
15 years 7 months ago
2004
IEEE
120
Voted
BIRTHDAY
2006
Springer
15 years 7 months ago
2006
Springer
d Abstract) Gordon Plotkin1, LFCS, School of Informatics, University of Edinburgh, UK. The application of ideas from universal algebra to computer science has long been a major the...