On optimizing proof search in linear logic by value iteration method

Bibliographic Details
Main Authors:	Novitzká, Valerie (Author), Verbová, Anita, 1982- (Author)
Format:	Article
Language:	Slovak English
PhysicalDescription:	Tab.
ISSN:	1335-8243
Subjects:	lineárna logika iteračné metódy stochastické programovanie

Similar Items