Treffer 1 - 20 von 27 für Suche 'Piperno, Adolfo', Suchdauer: 1,34s Treffer weiter einschränken
  1. 1
    Practical graph isomorphism, II

    Practical graph isomorphism, II von McKay, Brendan D., Piperno, Adolfo

    Veröffentlicht in Journal of symbolic computation

    Volltext
    Artikel

    Zu den Favoriten
    Gespeichert in:
  2. 2
    Conflict vs Causality in Event Structures

    Conflict vs Causality in Event Structures von Gorla, Daniele, Salvo, Ivano, Piperno, Adolfo


    Volltext
    Artikel

    Zu den Favoriten
    Gespeichert in:
  3. 3
    Computing with lambda-terms: A special issue dedicated to Corrado Böhm for his 90th birthday

    Computing with lambda-terms: A special issue dedicated to Corrado Böhm for his 90th birthday von GUERRINI, STEFANO, BARENDRENGT, HENK, PIPERNO, ADOLFO


    Volltext
    Artikel

    Zu den Favoriten
    Gespeichert in:
  4. 4
    Conflict vs Causality in Event Structures

    Conflict vs Causality in Event Structures von Gorla, Daniele, Salvo, Ivano, Piperno, Adolfo

    Veröffentlicht in arXiv.org

    Volltext
    Artikel

    Zu den Favoriten
    Gespeichert in:
  5. 5
    An algebraic view of the Böhm-out technique

    An algebraic view of the Böhm-out technique von Piperno, Adolfo

    Veröffentlicht in Theoretical computer science

    Volltext
    Artikel

    Zu den Favoriten
    Gespeichert in:
  6. 6
    Nondeterministic Extensions of Untyped λ-Calculus

    Nondeterministic Extensions of Untyped λ-Calculus von Deliguoro, U., Piperno, A.

    Veröffentlicht in Information and computation

    Volltext
    Artikel

    Zu den Favoriten
    Gespeichert in:
  7. 7
    Search Space Contraction in Canonical Labeling of Graphs

    Search Space Contraction in Canonical Labeling of Graphs von Piperno, Adolfo

    Volltext bestellen
    Artikel

    Zu den Favoriten
    Gespeichert in:
  8. 8
    A filter model for concurrent λ-calculus

    A filter model for concurrent λ-calculus von DEZANI-CIANCAGLINI, M, DE'LIGUORO, U, PIPERNO, A

    Veröffentlicht in SIAM journal on computing

    Volltext
    Artikel

    Zu den Favoriten
    Gespeichert in:
  9. 9
    Surjectivity for finite sets of combinators by weak reduction

    Surjectivity for finite sets of combinators by weak reduction von Böhm, Corrado, Piperno, Adolfo


    Volltext
    Buchkapitel

    Zu den Favoriten
    Gespeichert in:
  10. 10
    Intersection types and [lamda]-definability

    Intersection types and [lamda]-definability von BUCCIARELLI, ANTONIO, PIPERNO, ADOLFO, SALVO, IVANO


    Volltext
    Artikel

    Zu den Favoriten
    Gespeichert in:
  11. 11
    Intersection types and λ-definability

    Intersection types and λ-definability von BUCCIARELLI, ANTONIO, PIPERNO, ADOLFO, SALVO, IVANO


    Volltext
    Artikel

    Zu den Favoriten
    Gespeichert in:
  12. 12
    Practical graph isomorphism, II

    Practical graph isomorphism, II von McKay, Brendan D, Piperno, Adolfo

    Volltext bestellen
    Artikel

    Zu den Favoriten
    Gespeichert in:
  13. 13
    Search Space Contraction in Canonical Labeling of Graphs

    Search Space Contraction in Canonical Labeling of Graphs von Piperno, Adolfo

    Veröffentlicht in arXiv.org

    Volltext
    Artikel

    Zu den Favoriten
    Gespeichert in:
  14. 14
    λ-definition of function(al)s by normal forms

    λ-definition of function(al)s by normal forms von Böhm, Corrado, Piperno, Adolfo, Guerrini, Stefano


    Volltext
    Buchkapitel

    Zu den Favoriten
    Gespeichert in:
  15. 15
    LICS 2001 special issue

    LICS 2001 special issue von Gradel, Erich, Halpern, Joseph Y, Jaghadeesan, Radha, Piperno, Adolfo


    Volltext
    Artikel

    Zu den Favoriten
    Gespeichert in:
  16. 16
    A syntactical analysis of normalization

    A syntactical analysis of normalization von Khasidashvili, Z, Piperno, A


    Volltext
    Artikel

    Zu den Favoriten
    Gespeichert in:
  17. 17
    Abstraction problems in combinatory logic: A compositive approach

    Abstraction problems in combinatory logic: A compositive approach von Piperno, Adolfo

    Veröffentlicht in Theoretical computer science

    Volltext
    Artikel

    Zu den Favoriten
    Gespeichert in:
  18. 18
    Static Analysis of Modularity of β-Reduction in the Hyperbalanced λ-Calculus

    Static Analysis of Modularity of β-Reduction in the Hyperbalanced λ-Calculus von Kennaway, Richard, Khasidashvili, Zurab, Piperno, Adolfo


    Volltext
    Buchkapitel

    Zu den Favoriten
    Gespeichert in:
  19. 19
    Practical graph isomorphism, II

    Practical graph isomorphism, II von McKay, Brendan D, Piperno, Adolfo

    Veröffentlicht in arXiv.org

    Volltext
    Artikel

    Zu den Favoriten
    Gespeichert in:
  20. 20
    Filter models for conjunctive-disjunctive λ-calculi

    Filter models for conjunctive-disjunctive λ-calculi von Dezani-Ciancaglini, Mariangiola, de'Liguoro, Ugo, Piperno, Adolfo

    Veröffentlicht in Theoretical computer science

    Volltext
    Artikel

    Zu den Favoriten
    Gespeichert in:

Suchwerkzeuge: