Back to Results
First PageMeta Content
Computing / Constraint satisfaction / Constraint logic programming / Datalog / Relational model / Structure / Logic programming / Constraint / Local consistency / Constraint programming / Software engineering / Computer programming


Datalog with Constraints: A Foundation for Trust Management Languages Ninghui Li and John C. Mitchell Department of Computer Science, Stanford University Gates 4B, Stanford, CA {ninghui.li, jcm}@cs.stanford.ed
Add to Reading List

Document Date: 2002-11-05 19:04:46

Open Document

File Size: 217,98 KB

Share Result on Facebook

City

Datalog / /

/

IndustryTerm

least fixpoint algorithms / computing / least fixpoint algorithm / integer solutions / Trust management / fixpoint algorithm / /

Organization

Foundation for Trust Management Languages Ninghui Li / Stanford University / Trust Management Languages Ninghui Li and John C. Mitchell Department of Computer Science / /

Person

John C. Mitchell / /

Position

RT / head / /pub/rt / project manager / /

ProgrammingLanguage

Datalog / /

Technology

following algorithm / operating system / least fixpoint algorithms / DNS / least fixpoint algorithm / /

SocialTag