Types for Secure Pattern Matching with Local Knowledge in Universal Concurrent Constraint Programming

Hugo Andrés López Acosta; Thomas Hildebrandt

doi:10.1007/978-3-642-02846-5_34

Types for Secure Pattern Matching with Local Knowledge in Universal Concurrent Constraint Programming

Hugo Andrés López Acosta, Thomas Hildebrandt

Computer Science

Publikation: Konference artikel i Proceeding eller bog/rapport kapitel › Konferencebidrag i proceedings › Forskning › peer review

Originalsprog	Engelsk
Titel	Logic Programming : 25th International Conference, ICLP 2009
Antal sider	431
Vol/bind	5649
Forlag	Springer
Publikationsdato	2009
Sider	417
ISBN (Trykt)	978-3-642-02845-8
DOI	https://doi.org/10.1007/978-3-642-02846-5_34
Status	Udgivet - 2009
Begivenhed	International Conference on Logic Programming (ICLP) - Pasadena, USA Varighed: 2 jul. 2010 → … Konferencens nummer: 25

Konference

Konference	International Conference on Logic Programming (ICLP)
Nummer	25
Land/Område	USA
By	Pasadena
Periode	02/07/2010 → …

Navn	Lecture Notes in Computer Science
Nummer	5649/2009
ISSN	0302-9743

Adgang til dokumentet

10.1007/978-3-642-02846-5_34

Citationsformater

@inproceedings{597ca280e1a411dea523000ea68e967b,

title = "Types for Secure Pattern Matching with Local Knowledge in Universal Concurrent Constraint Programming",

author = "Acosta, {Hugo Andr{\'e}s L{\'o}pez} and Thomas Hildebrandt",

year = "2009",

doi = "10.1007/978-3-642-02846-5_34",

language = "English",

isbn = "978-3-642-02845-8",

volume = "5649",

series = "Lecture Notes in Computer Science",

publisher = "Springer",

number = "5649/2009",

pages = "417",

booktitle = "Logic Programming",

address = "Germany",

note = "International Conference on Logic Programming (ICLP) ; Conference date: 02-07-2010",

}

Acosta, HAL & Hildebrandt, T 2009, Types for Secure Pattern Matching with Local Knowledge in Universal Concurrent Constraint Programming. i Logic Programming: 25th International Conference, ICLP 2009. bind 5649, Springer, Lecture Notes in Computer Science, nr. 5649/2009, s. 417, International Conference on Logic Programming (ICLP), Pasadena, USA, 02/07/2010. https://doi.org/10.1007/978-3-642-02846-5_34

Types for Secure Pattern Matching with Local Knowledge in Universal Concurrent Constraint Programming. / Acosta, Hugo Andrés López; Hildebrandt, Thomas.
Logic Programming: 25th International Conference, ICLP 2009. Bind 5649 Springer, 2009. s. 417 (Lecture Notes in Computer Science; Nr. 5649/2009).

Publikation: Konference artikel i Proceeding eller bog/rapport kapitel › Konferencebidrag i proceedings › Forskning › peer review

TY - GEN

T1 - Types for Secure Pattern Matching with Local Knowledge in Universal Concurrent Constraint Programming

AU - Acosta, Hugo Andrés López

AU - Hildebrandt, Thomas

N1 - Conference code: 25

PY - 2009

Y1 - 2009

U2 - 10.1007/978-3-642-02846-5_34

DO - 10.1007/978-3-642-02846-5_34

M3 - Article in proceedings

SN - 978-3-642-02845-8

VL - 5649

T3 - Lecture Notes in Computer Science

SP - 417

BT - Logic Programming

PB - Springer

T2 - International Conference on Logic Programming (ICLP)

Y2 - 2 July 2010

ER -