Artikel in einem Konferenzbericht,

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

, und .
Algorithmic Languages and Calculi, Volume 95 von IFIP Conference Proceedings, Seite 382-414. Chapman & Hall, (1997)

Metadaten

Tags

Nutzer

  • @dblp

Kommentare und Rezensionen