Derivation tree analysis for accelerated fixed-point computation期刊界 All Journals 搜尽天下杂志传播学术成果专业期刊搜索期刊信息化学术搜索

Derivation tree analysis for accelerated fixed-point computation

Authors:	Javier Esparza Stefan Kiefer

Affiliation:	^a Institut für Informatik, Technische Universität München, 85748 Garching, Germany ^b Oxford University Computing Laboratory, Wolfson Building, Parks Road, Oxford OX1 3QD, United Kingdom

Abstract:

Keywords:	Fixed-point equations Semirings Derivation trees
本文献已被 ScienceDirect 等数据库收录！