• search
    search
  • reviewers
    reviewers
  • feeds
    feeds
  • assignments
    assignments
  • settings
  • logout

Counterpart Semantics for a Second-Order μ-Calculus.

Fabio GadducciAlberto Lluch-LafuenteAndrea Vandin
Published in: Fundam. Informaticae (2012)
Keyphrases