 | Adam Koprowski | | personal homepage |
| |
|
Publications (conference proceedings)
|  |
2010
In
Proceedings of the International Conference on Interactive Theorem Proving
( ITP '10),
Edinburgh, Scotland.
In
Proceedings of the 19th European Symposium on Programming
( ESOP '10),
Paphos, Cyprus.
2008
In
Proceedings of the 19th International Conference on Rewriting Techniques and Applications
( RTA '08),
Hagenberg, Austria.
In
Proceedings of the 34th International Conference on Current Trends in Theory and Practice of Computer Science
( SOFSEM '08),
Nový Smokovec, Slovakia.
2007
In
Proceedings of the 21st International Conference on Automated Deduction
( CADE '07),
Bremen, Germany.
2006
In
Proceedings of the 17th International Conference on Rewriting Techniques and Applications
( RTA '06),
Seattle, WA, USA.
In
Proceedings of the 3rd International Joint Conference on Automated Reasoning
( IJCAR '06),
Seattle, WA, USA.
In
Proceedings of the 17th International Conference on Rewriting Techniques and Applications
( RTA '06),
Seattle, WA, USA.
2005
In
Proceedings of the 5th International Workshop on Frontiers of Combining Systems
( FroCoS '05),
Vienna, Austria.
|
|
|
|
|
|
|
|
