Vita Daria Walukiewicz - Bücher - alle Infos bei Yasni.de

(1 - 4 von 5

)

Automated Reasoning: Third International Joint Conference, IJCAR

books.google.de

Here are the proceedings of the Third International Joint Conference on Automated Reasoning, IJCAR 2006, held in Seattle, Washington, USA, August The...

Programming Languages and Systems: Proceedings. Held as part of the...

books.google.de

Comparison is a powerful cognitive research tool in science since it does 'across studies' to evaluate similarities and differences, e.g. across taxa or...

Tools and Algorithms for the Construction and Analysis of Systems:...

books.google.de

This book constitutes the refereed proceedings of the 9th International Conference on Tools and Algorithms for the Construction and Analysis of Systems, TACAS...

Types for Proofs and Programs: International Workshop, TYPES 2003,...

books.google.de

ACM Press. Daria Walukiewicz-Chrzaszcz. Termination of rewriting in the calculus of constructions. Journal of Functional Programming, 13(2):339–414,

Verwandte Suchanfragen zu Vita Daria Walukiewicz

Personen
Vorname "Daria" (2866)
Name "Walukiewicz" (5)

sortiert nach Relevanz / Datum

Erweiterte Suche

Person-Suchen: A B C D E F G H I J K L M N O P Q R S T U V W X Y Z

Bücher Vita Daria Walukiewicz

Automated Reasoning: Third International Joint Conference, IJCAR

Programming Languages and Systems: Proceedings. Held as part of the...

Tools and Algorithms for the Construction and Analysis of Systems:...

Types for Proofs and Programs: International Workshop, TYPES 2003,...