Christian Sternagel - Free People Check with News, Pictures & Links

Network Profiles

Business Profiles

Researchgate: Christian Sternagel

Innsbruck, Tyrol, Austria

Bad news

findagrave: Sternagel, Christian

, Tumwater (Thurston County, Washington)

Books & Literature

Frontiers of Combining Systems: 8th International Symposium, FroCoS...

books.google.co.uk

This book constitutes the refereed proceedings of the 8th International Symposium on Frontiers of Combining Systems, FroCoS 2011, held in Saarbrücken, Germany,...

Rewriting Techniques and Applications: 20th International Conference,...

books.google.de

Loops under Strategies René Thiemann and Christian Sternagel⋆ Institute of Computer Science, University of Innsbruck, Austria {rene.thiemann ...

Reports & Statements

[isabelle] Sort constraint finite inconsistent with default type for...

fa.isabelle.narkive.com

Post by Christian Sternagel lemma fixes A :: "('b::finite) set" shows "P (a A)". so it can't appear at sort »finite« later on. Maybe you meant »'c::finite«!? Cheers,

[isabelle] Isabelle2015-RC3 and AFP

fa.isabelle.narkive.com

Christian Sternagel. 5 months ago. Permalink. Raw Message. Report. Dear all, it seems the branch of the AFP into afp2015 and afp-devel did not yet take place ...

Christian Sternagel Free People Check

Images of Christian Sternagel

News

ITP 2017: Interactive Theorem Proving, Sep 2017, Brasilia,...

Network Profiles

Facebook: Christian Sternagel | Facebook

Facebook: https://m.youtube.com/watch?v=UBv0S0zL7-I Christian Sternagel ...

MySpace Profile: Christian Seth Sternagel (christiansternagel)