C
search
search
reviewers
reviewers
feeds
feeds
assignments
assignments
settings
logout
A Look Around the Corner: The Pi-Calculus.
Frank Puhlmann
Mathias Weske
Published in:
Trans. Petri Nets Other Model. Concurr. (2009)
Keyphrases
</>
corner points
automated deduction
computer algebra
decision making
real time
information retrieval
genetic algorithm
image sequences
formal language
proof procedure
automated theorem proving