Artikel,

Some classes of term rewriting systems inferable from positive data.

.
Theor. Comput. Sci., 397 (1-3): 129-149 (2008)

Metadaten

Tags

Nutzer

  • @emanuel
  • @dblp

Kommentare und Rezensionen