Zobrazeno 1 - 3
of 3
pro vyhledávání: '"Juergen Giesl"'
Publikováno v:
Frontiers of Combining Systems ISBN: 9783319661667
FroCoS
FroCoS
We present a new method to infer upper bounds on the innermost runtime complexity of term rewrite systems (TRSs), which benefits from recent advances on complexity analysis of integer transition systems (ITSs). To this end, we develop a transformatio
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::a08263a6080e84833fbd11fe0b554f50
https://doi.org/10.1007/978-3-319-66167-4_8
https://doi.org/10.1007/978-3-319-66167-4_8
Autor:
Jürgen Giesl, Reiner Hähnle
This volume contains the proceedings of the 5th International Joint Conference on Automated Reasoning (IJCAR 2010). IJCAR 2010 was held during July 16-19 as part of the 2010 Federated Logic Conference, hosted by the School of Informatics at the Unive
Autor:
Jürgen Giesl
This volume contains the proceedings of the 16th International Conference on Rewriting Techniques and Applications (RTA2005),whichwasheldonApril19– 21, 2005, at the Nara-Ken New Public Hall in the center of the Nara National Park in Nara, Japan. RT