Login / Signup
The Seal Calculus Revisited: Contextual Equivalence and Bisimilarity.
Giuseppe Castagna
Francesco Zappa Nardelli
Published in:
FSTTCS (2002)
Keyphrases
</>
contextual information
computer algebra
formal language
website
automated deduction
algebraic structure
database
real world
information retrieval
multi agent
databases
context sensitive
context dependent
data sets
data mining
multiscale
datalog programs
mobile agent system