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

Research output: Conference Article in Proceeding or Book/Report chapter › Article in proceedings › Research › peer-review

Original language	English
Title of host publication	Logic Programming : 25th International Conference, ICLP 2009
Number of pages	431
Volume	5649
Publisher	Springer
Publication date	2009
Pages	417
ISBN (Print)	978-3-642-02845-8
DOIs	https://doi.org/10.1007/978-3-642-02846-5_34
Publication status	Published - 2009
Event	International Conference on Logic Programming (ICLP) - Pasadena, United States Duration: 2 Jul 2010 → … Conference number: 25

Conference

Conference	International Conference on Logic Programming (ICLP)
Number	25
Country/Territory	United States
City	Pasadena
Period	02/07/2010 → …

Series	Lecture Notes in Computer Science
Number	5649/2009
ISSN	0302-9743

Access to Document

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

Cite this

@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. in Logic Programming: 25th International Conference, ICLP 2009. vol. 5649, Springer, Lecture Notes in Computer Science, no. 5649/2009, pp. 417, International Conference on Logic Programming (ICLP), Pasadena, United States, 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. Vol. 5649 Springer, 2009. p. 417 (Lecture Notes in Computer Science; No. 5649/2009).

Research output: Conference Article in Proceeding or Book/Report chapter › Article in proceedings › Research › 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 -