1
0
0
(1 - 18 von 19
)
Rene ThiemannOpen Library
openlibrary.org
How to Make the Most of Your Workday : Strategies for Getting More Work Done: Tricks to Get More Done. by Rene Thiemann First published in edition in ...
Theory Code_Char_ord (Isabelle2013: February 2013)
isabelle.in.tum.de
Title: HOL/Library/Code_Char_ord.thy. Author: Lukas Bulwahn, Florian Haftmann , Rene Thiemann *) header {* Code generation of orderings for pretty ...
Rewriting Techniques and Applications: 19th International Conference,...
books.google.de
This book constitutes the refereed proceedings of the 19th International Conference on Rewriting Techniques and Applications, RTA 2008, held in Hagenberg,...
Archiv für die neuesten Entdeckungen aus der Urwelt: ein Journal in...
books.google.de
r-z jqö detrogene_ .gefundyußi nachdem -wirwon-tdin* mermeßlicheic . l ,Usage-rene Thiemann-d Pflanzen-eiche::.ieneeneuenxZWelt-. ' _ * :theils in ...
Logic for Programming, Artificial Intelligence, and Reasoning: 15th...
books.google.de
... Sven Thiele Paulo Pinheiro da Silva Rene Thiemann Ruzica Piskac Peter Thiemann Nir Piterman Krishnaprasad Thirunarayan Antonella Poggi Cesare Tinelli ...
Theory IsaFoRTUM
isabelle.in.tum.de
(* Title: Benchmarks/Datatype_Benchmark/IsaFoR.thy Author: Rene Thiemann, UIBK Copyright Benchmark consisting of datatypes defined in IsaFoR.
Term Rewriting and Applications: 16th International Conference, RTA...
books.google.de
... Schneider-Kamp Takahiro Seino Hiroyuki Seki Vitaly Shmatikov Jakob Grue Simonsen Toshinori Takai Prasanna Thati Rene Thiemann Cesare Tinelli Sophie ...
Computer Science Logic: 24th International Workshop, CSL 2010, 19th...
books.google.de
Annotation. This volume constitutes the refereed proceedings of the 24th International Workshop on Computer Science Logic, CSL 2010, held in Brno, Czech...
Frontiers of Combining Systems: 10th International Symposium, FroCoS...
books.google.de
This book constitutes the proceedings of the 10th International Symposium on Frontiers of Combining Systems, FroCoS 2015, held in Wroclaw, Poland, in September...
René Thiemannfortiss
www.fortiss.org
René Thiemann. Publications. Export list as BibTeX file Logical and Semantic Frameworks with Applications Vivek Nigam and René Thiemann Theor. Comput.
Language and Automata Theory and Applications: 8th International...
books.google.de
Reachability Analysis with State-Compatible Automata⋆ Bertram Felgenhauer and René Thiemann Institute of Computer Science, University of Innsbruck, ...
Computer Science Logic: 24th International Workshop, CSL ...google.com
books.google.com
Signature Extensions Preserve Termination An Alternative Proof via Dependency Pairs Christian Sternagel⋆ and René Thiemann University of Innsbruck ...
Verified Software: Theories, Tools and Experiments: 6th International...
books.google.de
This volume constitutes the thoroughly refereed post-conference proceedings of the 6th International Conference on Verified Software: Theories, Tools and...
Frontiers of Combining Systems: 8th International Symposium, ...google.com
books.google.com
... Uncurrying⋆ Christian Sternagel and René Thiemann Institute of Computer Science, University of Innsbruck, Austria {christian.sternagel,rene.thiemann}@ ...
Rewriting Techniques and Applications: 20th International ...google.com
books.google.com
Loops under Strategies René Thiemann and Christian Sternagel⋆ Institute of Computer Science, University of Innsbruck, Austria {rene.thiemann ...
SOFSEM 2009: Theory and Practice of Computer Science: 35th ...google.com
books.google.com
From Outermost Termination to Innermost Termination Ren ́eThiemann Institute of Computer Science, University of Innsbruck, Austria rene.thiemann ...
Theorem Proving in Higher Order Logics: 22nd International Conference...
books.google.de
... of Termination Proofs Using CeTA⋆ Ren ́e Thiemann andChristianSternagel Institute of Computer Science, University of Innsbruck, Austria {rene.thiemann ...
SOFSEM 2009: Theory and Practice of Computer Science: 35th Conference...
books.google.de
This book constitutes the refereed proceedings of the 35th Conference on Current Trends in Theory and Practice of Computer Science, SOFSEM 2009, held in...
sortiert nach Relevanz / Datum