*sublabel_EDS*
*license_notice_EDS_guest_loggedout*
*Login*
*custom_text_above_search_result**custom_text_above_search_result_EDS*
*Showing* 1 - 6
*of* 6
*custom_text_below_search_result*
*Refine Results*
*Limiter*
*Expander*
*Format*
*Published in*
*SubjectEDS*
java bytecode
2
term rewriting
2
01 natural sciences
1
0102 computer and information sciences
1
02 engineering and technology
1
0202 electrical engineering, electronic engineering, information engineering
1
*more* ...
algorithmic information theory (kolmogorov complexity, etc.)
1
analysis of algorithms and problem complexity
1
automation
1
compiler
1
grammars and rewriting systems
1
informatik
1
program analysis
1
program transformation
1
programmanalyse
1
proving termination
1
resource analysis
1
termination
1
termination analysis
1
verification
1
verifikation
1
*less* ...
*Publisher*
elsevier bv
1
lipics - leibniz international proceedings in informatics. proceedings of the 21st international conference on rewriting techniques and applications
1
publikationsserver der rwth aachen university
1
schloss dagstuhl - leibniz-zentrum fuer informatik
1
schloss dagstuhl - leibniz-zentrum fur informatik
1
schloss dagstuhl. leibniz-zent. inform., wadern
1
*more* ...
schloss dagstuhl. leibniz-zentrum fur informatik, wadern
1
*less* ...
*Language*
*SourceEDS*
*adv_search_year*
*Filter*