Portal de Periódicos da CAPES

Applied algorithmic logic

1977; Springer Science+Business Media; Linguagem: Inglês

10.1007/3-540-08353-7_132

1611-3349

Andrzej Salwicki,

Complexity and Algorithms in Graphs

This is a survey of the last year's work of the group of algorithmic logic. Our studies have concetrated on two (not disjoint) tasks: The questions of data structures implementation and of non-sequential computing processes were the main aims of our research. The work devoted to LOGLAN language has paid back handsomely in discovering possibilities of algorithmic approach to the foundations of set theory. The survey ends with a short presentation of an early stage of research connected with P=NP problem.