Adam Koprowski
According to our database1,
Adam Koprowski
authored at least 12 papers
between 2005 and 2011.
Collaborative distances:
Collaborative distances:
Timeline
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
On csauthors.net:
Bibliography
2011
CoLoR: a Coq library on well-founded rewrite relations and its application to the automated verification of termination certificates.
Math. Struct. Comput. Sci., 2011
2010
Proceedings of the Interactive Theorem Proving, First International Conference, 2010
2009
Appl. Algebra Eng. Commun. Comput., 2009
2008
Proceedings of the SOFSEM 2008: Theory and Practice of Computer Science, 2008
Proceedings of the Rewriting Techniques and Applications, 19th International Conference, 2008
2007
Proceedings of the Automated Deduction, 2007
2006
Proceedings of the Term Rewriting and Applications, 17th International Conference, 2006
Proceedings of the Term Rewriting and Applications, 17th International Conference, 2006
Proceedings of the Automated Reasoning, Third International Joint Conference, 2006
2005
Proceedings of the Frontiers of Combining Systems, 5th International Workshop, 2005