Did you mean: information

search result

Cover von 8th Conference on the Theory of Quantum Computation, Communication and Cryptography
May 21 - 23, 2013, Guelph, Canada
Search for this author
Year: 2013
Publisher: Wadern, LZI
Series: Leibniz International Proceedings in Informatics; 22
Media group: LIPIcs
Cover von Computer Science Logic 2013 (CSL 2013)
CSL 2013 : September 2 - 5, 2013, Torino, Italy
Search for this author
Year: 2013
Publisher: Wadern, LZI
Series: Leibniz International Proceedings in Informatics; 23
Media group: LIPIcs
Cover von 24th International Conference on Rewriting Techniques and Applications
RTA 2013 : June 24 - 26, 2013, Eindhoven, The Netherlands
Search for this author
Year: 2013
Publisher: Wadern, LZI
Series: Leibniz International Proceedings in Informatics; 21
Media group: LIPIcs
Cover von 30th International Symposium on Theoretical Aspects of Computer Science
February 27 - March 2, 2013, Kiel, Germany
Search for this author
Year: 2013
Publisher: Wadern, LZI
Series: Leibniz International Proceedings in Informatics; 20
Media group: LIPIcs
Cover von 18th International Workshop on Types for Proofs and Programs
September 8 - 11, 2011, Bergen, Norway
Search for this author
Year: 2013
Publisher: Wadern, LZI
Series: Leibniz International Proceedings in Informatics; 19
Media group: LIPIcs
Cover von IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science (FSTTCS 2012)
FSTTCS 2012 : December 15 - 17, 2012 Hyderabad, India
Search for this author
Year: 2012
Publisher: Wadern, LZI
Series: Leibniz International Proceedings in Informatics; 18
Media group: LIPIcs
Cover von Technical Communications of the 28th International Conference on Logic Programming (ICLP'12)
September 4 - 8, 2012, Budapest, Hungary
Search for this author
Year: 2012
Publisher: Wadern, LZI
Series: Leibniz International Proceedings in Informatics; 17
Media group: LIPIcs
Cover von Computer Science Logic 2012
26th International Workshop / 21st Annual Conference of the EACSL : CSL '12 : September 3 - 6, 2012, Fontainebleau, France
Search for this author
Year: 2012
Publisher: Wadern, LZI
Series: Leibniz International Proceedings in Informatics; 16
Media group: LIPIcs
Cover von 23rd International Conference on Rewriting Techniques and Applications (RTA'12)
May 28 - June 2, 2012, Nagoya, Japan
Search for this author
Year: 2012
Publisher: Wadern, LZI
Series: Leibniz International Proceedings in Informatics; 15
Media group: LIPIcs
Cover von 29th International Symposium on Theoretical Aspects of Computer Science (STACS 2012)
February 29th - March 3rd, 2012, Paris, France
Search for this author
Year: 2012
Publisher: Wadern, LZI
Series: Leibniz International Proceedings in Informatics; 14
Media group: LIPIcs
OPEN V 11.1.0.0