@dblp

A Contextual-Logic Extension of TOSCANA.

, , , and . ICCS, volume 1867 of Lecture Notes in Computer Science, page 453-467. Springer, (2000)

Links and resources

Tags

community

  • @djsaab
  • @jonducrou
  • @dblp
  • @example
@dblp's tags highlighted