,

The formal reconstruction and speedup of the linear time fragment of Willard's relational calculus subset.

, и .
Algorithmic Languages and Calculi, том 95 из IFIP Conference Proceedings, стр. 382-414. Chapman & Hall, (1997)

Метаданные

тэги

Пользователи данного ресурса

  • @dblp

Комментарии и рецензии