Treffer 1 - 20 von 129 für Suche 'PICCOLO, MAURO', Suchdauer: 1,40s Treffer weiter einschränken
  1. 1
    A class of Recursive Permutations which is Primitive Recursive complete

    A class of Recursive Permutations which is Primitive Recursive complete von Paolini, Luca, Piccolo, Mauro, Roversi, Luca

    Veröffentlicht in Theoretical computer science

    Volltext
    Artikel

    Zu den Favoriten
    Gespeichert in:
  2. 2
    QPCF: Higher-Order Languages and Quantum Circuits

    QPCF: Higher-Order Languages and Quantum Circuits von Paolini, Luca, Piccolo, Mauro, Zorzi, Margherita

    Veröffentlicht in Journal of automated reasoning

    Volltext
    Artikel

    Zu den Favoriten
    Gespeichert in:
  3. 3
    On a Class of Reversible Primitive Recursive Functions and Its Turing-Complete Extensions

    On a Class of Reversible Primitive Recursive Functions and Its Turing-Complete Extensions von Paolini, Luca, Piccolo, Mauro, Roversi, Luca

    Veröffentlicht in New generation computing

    Volltext
    Artikel

    Zu den Favoriten
    Gespeichert in:
  4. 4
    Categorical Models for a Semantically Linear Lambda-calculus

    Categorical Models for a Semantically Linear Lambda-calculus von Gaboardi, Marco, Piccolo, Mauro


    Volltext
    Artikel

    Zu den Favoriten
    Gespeichert in:
  5. 5
    What is a Model for a Semantically Linear Lambda-calculus?

    What is a Model for a Semantically Linear Lambda-calculus? von Gaboardi, Marco, Piccolo, Mauro


    Volltext
    Artikel

    Zu den Favoriten
    Gespeichert in:
  6. 6
    Essential and relational models

    Essential and relational models von PAOLINI, LUCA, PICCOLO, MAURO, RONCHI DELLA ROCCA, SIMONA


    Volltext
    Artikel

    Zu den Favoriten
    Gespeichert in:
  7. 7
    On the reification of semantic linearity

    On the reification of semantic linearity von GABOARDI, MARCO, PAOLINI, LUCA, PICCOLO, MAURO


    Volltext
    Artikel

    Zu den Favoriten
    Gespeichert in:
  8. 8
    A Class of Reversible Primitive Recursive Functions

    A Class of Reversible Primitive Recursive Functions von Paolini, Luca, Piccolo, Mauro, Roversi, Luca


    Volltext
    Artikel

    Zu den Favoriten
    Gespeichert in:
  9. 9
    Partial Orders, Event Structures and Linear Strategies

    Partial Orders, Event Structures and Linear Strategies von Faggian, Claudia, Piccolo, Mauro


    Volltext
    Buchkapitel

    Zu den Favoriten
    Gespeichert in:
  10. 10
    A Process-Model for Linear Programs

    A Process-Model for Linear Programs von Paolini, Luca, Piccolo, Mauro


    Volltext
    Buchkapitel

    Zu den Favoriten
    Gespeichert in:
  11. 11
    QPCF: higher order languages and quantum circuits

    QPCF: higher order languages and quantum circuits von Paolini, Luca, Piccolo, Mauro, Zorzi, Margherita

    Volltext bestellen
    Artikel

    Zu den Favoriten
    Gespeichert in:
  12. 12
    Certified Complexity (CerCo)

    Certified Complexity (CerCo) von Amadio, Roberto M., Ayache, Nicolas, Bobot, Francois, Boender, Jaap P., Campbell, Brian, Garnier, Ilias, Madet, Antoine, McKinna, James, Mulligan, Dominic P., Piccolo, Mauro, Pollack, Randy, Régis-Gianas, Yann, Sacerdoti Coen, Claudio, Stark, Ian, Tranquilli, Paolo


    Volltext
    Buchkapitel

    Zu den Favoriten
    Gespeichert in:
  13. 13
    Linearity and PCF: a semantic insight

    Linearity and PCF: a semantic insight von Gaboardi, Marco, Paolini, Luca, Piccolo, Mauro

    Veröffentlicht in SIGPLAN notices

    Volltext
    Artikel

    Zu den Favoriten
    Gespeichert in:
  14. 14
    METHOD FOR NON-DESTRUCTIVE INVESTIGATION OF THE BOTTOM OF METALLIC TANK STRUCTURES

    METHOD FOR NON-DESTRUCTIVE INVESTIGATION OF THE BOTTOM OF METALLIC TANK STRUCTURES von PICCOLO MAURO

    Volltext bestellen
    Patent

    Zu den Favoriten
    Gespeichert in:
  15. 15
    METHOD FOR NON-DESTRUCTIVE INVESTIGATION OF THE BOTTOM OF METALLIC TANK STRUCTURES

    METHOD FOR NON-DESTRUCTIVE INVESTIGATION OF THE BOTTOM OF METALLIC TANK STRUCTURES von PICCOLO MAURO

    Volltext bestellen
    Patent

    Zu den Favoriten
    Gespeichert in:
  16. 16
    A Graph Abstract Machine Describing Event Structure Composition

    A Graph Abstract Machine Describing Event Structure Composition von Faggian, Claudia, Piccolo, Mauro


    Volltext
    Artikel

    Zu den Favoriten
    Gespeichert in:
  17. 17
    MISSILE LAUNCHING ASSEMBLY AND MISSILE LAUNCHER COMPRISING SAID LAUNCHING ASSEMBLY

    MISSILE LAUNCHING ASSEMBLY AND MISSILE LAUNCHER COMPRISING SAID LAUNCHING ASSEMBLY von DRAGANI, TEODORO ANDREA, ASTE, GIOVANNI, PICCOLO, MAURO, GUIDI, MATTEO, CIANCHETTINI, MASSIMO, IACOVACCI, FABIO

    Volltext bestellen
    Patent

    Zu den Favoriten
    Gespeichert in:
  18. 18
    QPCF: higher order languages and quantum circuits

    QPCF: higher order languages and quantum circuits von Paolini, Luca, Piccolo, Mauro, Zorzi, Margherita

    Veröffentlicht in arXiv.org

    Volltext
    Artikel

    Zu den Favoriten
    Gespeichert in:
  19. 19
    MISSILE LAUNCHING ASSEMBLY AND MISSILE LAUNCHER COMPRISING SAID LAUNCHING ASSEMBLY

    MISSILE LAUNCHING ASSEMBLY AND MISSILE LAUNCHER COMPRISING SAID LAUNCHING ASSEMBLY von CIANCHETTINI, Massimo, ASTE, Giovanni, PICCOLO, Mauro, DRAGANI, Teodoro Andrea, IACOVACCI, Fabio, GUIDI, Matteo

    Volltext bestellen
    Patent

    Zu den Favoriten
    Gespeichert in:
  20. 20
    METHOD FOR NON-DESTRUCTIVE INVESTIGATION OF THE BOTTOM OF METALLIC TANK STRUCTURES

    METHOD FOR NON-DESTRUCTIVE INVESTIGATION OF THE BOTTOM OF METALLIC TANK STRUCTURES von PICCOLO MAURO

    Volltext bestellen
    Patent

    Zu den Favoriten
    Gespeichert in:

Suchwerkzeuge: