dblp.uni-trier.dewww.uni-trier.de

Adam Cichon Vis

List of publications from the DBLP Bibliography Server - FAQ
Coauthor Index - Ask others: ACM DL/Guide - CiteSeerX - CSB - MetaPress - Google - Bing - Yahoo

*2001
4 Guillaume Bonfante, Adam Cichon, Jean-Yves Marion, Hélène Touzet: Algorithms with polynomial interpretation termination proof. J. Funct. Program. 11(1): 33-53 (2001)
1998
3EEGuillaume Bonfante, Adam Cichon, Jean-Yves Marion, Hélène Touzet: Complexity Classes and Rewrite Systems with Polynomial Interpretation. CSL 1998: 372-384
1994
2 Adam Cichon, Wilfried Buchholz, Andreas Weiermann: A Uniform Approach to Fundamental Sequences and Hierarchies. Math. Log. Q. 40: 273-286 (1994)
1992
1EEAdam Cichon, Pierre Lescanne: Polynomial Interpretations and the Complexity of Algorithms. CADE 1992: 139-147

Coauthor Index

1Guillaume Bonfante [3] [4]
2Wilfried Buchholz [2]
3Pierre Lescanne [1]
4Jean-Yves Marion [3] [4]
5Hélène Touzet [3] [4]
6Andreas Weiermann [2]

Colors in the list of coauthors

Copyright © Tue Nov 3 08:52:44 2009 by Michael Ley (ley@uni-trier.de)