Types for Secure Pattern Matching with Local Knowledge in Universal Concurrent Constraint Programming
- Hugo Andrés López Acosta,
Research Output:
Conference Article in Proceeding or Book/Report chapter
Article in proceedings
Peer-review
Open access
Publication Information
Output type
Research Output:
Conference Article in Proceeding or Book/Report chapter
Article in proceedings
Peer-reviewHost publication Subtitle
25th International Conference, ICLP 2009Original language
EnglishPages from-to (Number of pages)
Pages 417 (431 pages)Publication milestones
- Published - 2009
Publication status
Published - 2009
Volume
5649Publisher
Springer, United States, GermanyBook series
- Book series name: Lecture Notes in Computer Science
Series number: 5649/2009
ISSN: 0302-9743
ISBN (Print)
978-3-642-02845-8Publication IDs
- Scopus: 69949138638
Host publication title
Logic ProgrammingPublication metrics
PlumX, opens in new tab
Citations
7
Captures
1
Access to documents
Related Event
Title
International Conference on Logic Programming (ICLP)
Event type
ConferenceDate
02/07/2010 Location
PasadenaUnited States