A conditional constructive logic for access control and its sequent calculus

V GENOVESE; Laura GIORDANO; V GLIOZZI; G. L. POZZATO

A conditional constructive logic for access control and its sequent calculus

V GENOVESE, Laura GIORDANO, V GLIOZZI, G. L. POZZATO

Dipartimento di Scienze e Innovazione Tecnologica

Risultato della ricerca: Contributo alla conferenza › Contributo in Atti di Convegno › peer review

Lingua originale	Inglese
Pagine	164-179
Numero di pagine	16
Stato di pubblicazione	Pubblicato - 2011
Evento	TABLEAUX 2011 (20th International Conference on Automated Reasoning with Analytic Tableaux and Related Methods) - Bern, Switzerland Durata: 1 gen 2011 → …

???event.eventtypes.event.conference???

???event.eventtypes.event.conference???	TABLEAUX 2011 (20th International Conference on Automated Reasoning with Analytic Tableaux and Related Methods)
Città	Bern, Switzerland
Periodo	1/01/11 → …

Accesso al documento

http://hdl.handle.net/11579/15077

Altri file e collegamenti

handle

Cita questo

@conference{2677f6f65e4344bb8b8ceaa7b236164b,

title = "A conditional constructive logic for access control and its sequent calculus",

author = "V GENOVESE and Laura GIORDANO and V GLIOZZI and POZZATO, \{G. L.\}",

year = "2011",

language = "English",

pages = "164--179",

note = "TABLEAUX 2011 (20th International Conference on Automated Reasoning with Analytic Tableaux and Related Methods) ; Conference date: 01-01-2011",

}

A conditional constructive logic for access control and its sequent calculus. / GENOVESE, V; GIORDANO, Laura; GLIOZZI, V et al.
2011. 164-179 Articolo presentato al TABLEAUX 2011 (20th International Conference on Automated Reasoning with Analytic Tableaux and Related Methods), Bern, Switzerland.

Risultato della ricerca: Contributo alla conferenza › Contributo in Atti di Convegno › peer review

TY - CONF

T1 - A conditional constructive logic for access control and its sequent calculus

AU - GENOVESE, V

AU - GIORDANO, Laura

AU - GLIOZZI, V

AU - POZZATO, G. L.

PY - 2011

Y1 - 2011

UR - https://iris.uniupo.it/handle/11579/15077

M3 - Paper

SP - 164

EP - 179

T2 - TABLEAUX 2011 (20th International Conference on Automated Reasoning with Analytic Tableaux and Related Methods)

Y2 - 1 January 2011

ER -