Skip to Main Content (Press Enter)

Logo UNITO
  • ×
  • Home
  • Pubblicazioni
  • Progetti
  • Persone
  • Competenze
  • Settori
  • Strutture
  • Terza Missione

UNI-FIND
Logo UNITO

|

UNI-FIND

unito.it
  • ×
  • Home
  • Pubblicazioni
  • Progetti
  • Persone
  • Competenze
  • Settori
  • Strutture
  • Terza Missione
  1. Pubblicazioni

Towards parametric causal semantics in φ-calculus ?

Contributo in Atti di convegno
Data di Pubblicazione:
2017
Tipologia CRIS:
04A-Conference paper in volume
Elenco autori:
Medic D.; Mezzina C.A.
Autori di Ateneo:
MEDIC Doriana
Link alla scheda completa:
https://iris.unito.it/handle/2318/2016071
Link al Full Text:
https://iris.unito.it/retrieve/handle/2318/2016071/1379469/ICTCSpaper10.pdf
Titolo del libro:
Joint Proceedings of the 18th Italian Conference on Theoretical Computer Science and the 32nd Italian Conference on Computational Logic co-located with the 2017 IEEE International Workshop on Measurements and Networking (2017 IEEE M&N)
Pubblicato in:
CEUR WORKSHOP PROCEEDINGS
Journal
CEUR WORKSHOP PROCEEDINGS
Series
  • Aree Di Ricerca

Aree Di Ricerca

Settori (5)


PE6_4 - Theoretical computer science, formal methods, automata - (2024)

CIBO, AGRICOLTURA e ALLEVAMENTI - Farmacologia Veterinaria

INFORMATICA, AUTOMAZIONE e INTELLIGENZA ARTIFICIALE - Industria X.0

PIANETA TERRA, AMBIENTE, CLIMA, ENERGIA e SOSTENIBILITA' - Diritto dell'Ambiente

PIANETA TERRA, AMBIENTE, CLIMA, ENERGIA e SOSTENIBILITA' - Informatica e Ambiente
  • Utilizzo dei cookie

Realizzato con VIVO | Designed by Cineca | 25.5.3.0