Αποτελέσματα αναζήτησης - Luca Aceto

  • Εμφανίζονται 1 - 5 Αποτελέσματα από 5
Περιορισμός αποτελεσμάτων
Λίστα   Πλέγμα  
  1. 1

    Split-2 Bisimilarity has a Finite Axiomatization over CCS with Hennessy's Merge από Luca Aceto, Wan Fokkink, Anna Ingolfsdottir, Bas Luttik

    Έκδοση 2005-03-01
    Λήψη πλήρους κειμένου
    Artigo
    Προσθήκη στα αγαπημένα
    Αποθηκεύτηκε σε:
  2. 2

    Bidirectional Runtime Enforcement of First-Order Branching-Time Properties από Luca Aceto, Ian Cassar, Adrian Francalanza, Anna Ingolfsdottir

    Έκδοση 2023-02-01
    Λήψη πλήρους κειμένου
    Artigo
    Προσθήκη στα αγαπημένα
    Αποθηκεύτηκε σε:
  3. 3

    Complexity results for modal logic with recursion via translations and tableaux από Luca Aceto, Antonis Achilleos, Elli Anastasiadi, Adrian Francalanza, Anna Ingólfsdóttir

    Έκδοση 2024-08-01
    Λήψη πλήρους κειμένου
    Artigo
    Προσθήκη στα αγαπημένα
    Αποθηκεύτηκε σε:
  4. 4

    On the Axiomatisability of Parallel Composition από Luca Aceto, Valentina Castiglioni, Anna Ingolfsdottir, Bas Luttik, Mathias R. Pedersen

    Έκδοση 2022-01-01
    Λήψη πλήρους κειμένου
    Artigo
    Προσθήκη στα αγαπημένα
    Αποθηκεύτηκε σε:
  5. 5

    Rule Formats for Nominal Process Calculi από Luca Aceto, Ignacio Fábregas, Álvaro García-Pérez, Anna Ingólfsdóttir, Yolanda Ortega-Mallén

    Έκδοση 2019-10-01
    Λήψη πλήρους κειμένου
    Artigo
    Προσθήκη στα αγαπημένα
    Αποθηκεύτηκε σε:

Εργαλεία αναζήτησης: