*Showing* 1 - 2 *of* 2

Conference Materials 1 Academic Journals 1

information and computation 1 leibniz international proceedings in informatics, lipics 1

01 natural sciences 1 0102 computer and information sciences 1 02 engineering and technology 1 0202 electrical engineering, electronic engineering, information engineering 1 algorithmic information theory (kolmogorov complexity, etc.) 1 analysis of algorithms and problem complexity 1 *more* ... automation 1 compiler 1 grammars and rewriting systems 1 program transformation 1 proving termination 1 resource analysis 1 termination 1 *less* ...