search result

Cover von RTA 99; 2
special issue : S. 345-391
Search for this author
Year: 2002
Publisher: San Diego, Academic Press
Count: 2
Media group: SPECIAL ISSUE
Cover von Rewriting techniques and applications
10th international conference : Trento, Italy, July 2 - 4, 1999 : proceedings
Search for this author
Year: 1999
Publisher: Berlin, Springer
Series: Lecture notes in computer science; 1631
Media group: MONOGRAPHIE
Cover von Conditional term rewriting systems
third international workshop : Pont-a-Mousson, France, July 8 - 10, 1992 : proceedings
Search for this author
Year: 1993
Publisher: Berlin, Springer
Series: Lecture notes in computer science; 656
Media group: MONOGRAPHIE
Cover von Sécurite informatique; 3
S. 289 - 426
Search for this author
Year: 2004
Publisher: Paris, Hermes Science Publications
Count: 3
Media group: SPECIAL ISSUE
Cover von Selected papers of the international workshop on security analysis of systems; 1
Orleans, France, June 21 - 22, 2004 : special issue : S. 1-144
Search for this author
Year: 2006
Publisher: Magdeburg, Otto-von-Guericke-Universität
Count: 1
Media group: SPECIAL ISSUE
Cover von Automated reasoning
second international joint conference, Cork, Ireland, July 4 - 8, 2004 : proceedings
Search for this author
Year: 2004
Publisher: Berlin, Springer
Series: Lecture notes in artificial intelligence; 3097
Media group: MONOGRAPHIE
Cover von Relating two standard notions of secrecy

Relating two standard notions of secrecy

Year: 2006
Media group: ARTICLE
Cover von 2nd international workshop on complexity in automated deduction; 6
special issue : S. 639-740
Search for this author
Year: 2004
Publisher: Berlin, Springer
Count: 6
Media group: SPECIAL ISSUE
Cover von Beyond the finite
new challenges in verification and semistructured data
Search for this author
Year: 2008
Publisher: Wadern-Dagstuhl, IBFI
Series: Dagstuhl Seminar Proceedings; 08171
Media group: DAGSTUHL-SEMINAR-PRO
OPEN V 11.1.0.0