Publications
Search

Publications :: Search

Show venue

On this page you see the details of the selected venue.

    Conference
    Name: 18th IEEE Symposium on Logic in Computer Science (LICS 2003), 22-25 June 2003, Ottawa, Canada, Proceedings 2003
    URL: http://ieeexplore.ieee.org/xpl/mostRecentIssue.jsp?punumber=8592
    DBLP: db/conf/lics/lics2003.html
    Bookmark:

    Below you find the publications assigned to this venue.

    Show item 1 to 10 of 39  
    Select a publication
    Show Title Venue Rating Date
    Conference paper
    Martín Abadi.
    Logic in Access Control.
    18th IEEE Symposium on Logic in Computer Science (LICS 2003), 22-25 June 2003, Ottawa, Canada, Proceedings 2003 (0) 2003
    Conference paper
    Amal Ahmed, Limin Jia, David Walker.
    Reasoning about Hierarchical Storage.
    18th IEEE Symposium on Logic in Computer Science (LICS 2003), 22-25 June 2003, Ottawa, Canada, Proceedings 2003 (0) 2003
    Conference paper
    Andrei A. Bulatov.
    Tractable conservative Constraint Satisfaction Problems.
    18th IEEE Symposium on Logic in Computer Science (LICS 2003), 22-25 June 2003, Ottawa, Canada, Proceedings 2003 (0) 2003
    Conference paper
    Joshua Buresh-Oppenheim, Toniann Pitassi.
    The Complexity of Resolution Refinements.
    18th IEEE Symposium on Logic in Computer Science (LICS 2003), 22-25 June 2003, Ottawa, Canada, Proceedings 2003 (0) 2003
    Conference paper
    Yannick Chevalier, Ralf Küsters, Michaël Rusinowitch, Mathieu Turuani.
    An NP Decision Procedure for Protocol Insecurity with XOR.
    18th IEEE Symposium on Logic in Computer Science (LICS 2003), 22-25 June 2003, Ottawa, Canada, Proceedings 2003 (0) 2003
    Conference paper
    Hubert Comon-Lundh, Vitaly Shmatikov.
    Intruder Deductions, Constraint Solving and Insecurity Decision in Presence of Exclusive or.
    18th IEEE Symposium on Logic in Computer Science (LICS 2003), 22-25 June 2003, Ottawa, Canada, Proceedings 2003 (0) 2003
    Conference paper
    Vincent Danos, Josée Desharnais.
    Labelled Markov Processes: Stronger and Faster Approximations.
    18th IEEE Symposium on Logic in Computer Science (LICS 2003), 22-25 June 2003, Ottawa, Canada, Proceedings 2003 (0) 2003
    Conference paper
    Govert van Drimmelen.
    Satisfiability in Alternating-time Temporal Logic.
    18th IEEE Symposium on Logic in Computer Science (LICS 2003), 22-25 June 2003, Ottawa, Canada, Proceedings 2003 (0) 2003
    Conference paper
    Nachum Dershowitz, Claude Kirchner.
    Abstract Saturation-Based Inference.
    18th IEEE Symposium on Logic in Computer Science (LICS 2003), 22-25 June 2003, Ottawa, Canada, Proceedings 2003 (0) 2003
    Conference paper
    E. Allen Emerson, Vineet Kahlon.
    Model Checking Guarded Protocols.
    18th IEEE Symposium on Logic in Computer Science (LICS 2003), 22-25 June 2003, Ottawa, Canada, Proceedings 2003 (0) 2003
    Show item 1 to 10 of 39  

    Your query returned 39 matches in the database.