Login / Signup
Versatility and Unix semantics in namespace unification.
Charles P. Wright
Jay Dave
Puja Gupta
Harikesavan Krishnan
David P. Quigley
Erez Zadok
Mohammad Nayyer Zubair
Published in:
ACM Trans. Storage (2006)
Keyphrases
</>
higher order
operating system
formal semantics
semantic information
semantic representation
database
logic programming
theorem proving
automated theorem proving
real time
metadata
wordnet
command line
argumentation semantics