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
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
	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
	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
	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
	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
	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
	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
	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
	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
	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
	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

Your query returned 39 matches in the database.