Suchergebnisse - Palamidessi, Catuscia

  • Treffer 1 – 8 von 8
Treffer filtern
  1. 1
    Buchumschlag

    A fully abstract model for concurrent logic languages
    von Boer, Frank S. de, Palamidessi, Catuscia

    Veröffentlicht 1990
    Online lesen (frei zugänglich)
    Buch


    Gespeichert in:
  2. 2
    Buchumschlag

    The Science of Quantitative Information Flow
    von Alvim, Mário S., Chatzikokolakis, Konstantinos, McIver, Annabelle, Morgan, Carroll, Palamidessi, Catuscia, Smith, Geoffrey

    Veröffentlicht 2020
    Elektronisch E-Book


    Gespeichert in:
  3. 3
    Buchumschlag

    Asynchronous communication in process algebra: (extended abstract)
    von Boer, Frank S. de, Klop, Jan Willem 1945-, Palamidessi, Catuscia

    Veröffentlicht 1992
    Buch


    Gespeichert in:
  4. 4
    Buchumschlag

    A fixpoint semantics for guarded horn clauses
    von Palamidessi, Catuscia

    Veröffentlicht 1988
    Buch


    Gespeichert in:
  5. 5
    Buchumschlag

    A theory of first-order built-in's Prolog
    von Apt, Krzysztof R. 1949-, Marchiori, Elena, Palamidessi, Catuscia

    Veröffentlicht 1992
    Buch


    Gespeichert in:
  6. 6
    Buchumschlag

    A declarative approach for first-order built-in's of prolog
    von Apt, Krzysztof R. 1949-, Marchiori, Elena, Palamidessi, Catuscia

    Veröffentlicht 1992
    Buch


    Gespeichert in:
  7. 7
    Buchumschlag

    Embedding as a tool for language comparison
    von Boer, Frank S. de, Palamidessi, Catuscia

    Veröffentlicht 1991
    Buch


    Gespeichert in:
  8. 8
    Buchumschlag

    Horizons of the mind: a tribute to Prakash Panangaden ; essays dedicated to Prakash Panangaden on the occasion of his 60th birthday

    Veröffentlicht 2014
    Weitere beteiligte Personen: “… Palamidessi, Catuscia 1959- …”
    Online lesen
    Inhaltsverzeichnis
    Elektronisch E-Book


    Gespeichert in:

Suchwerkzeuge: