Artikel,

The semantics of BI and resource tableaux.

, , und .
Math. Struct. Comput. Sci., 15 (6): 1033-1088 (2005)

Metadaten

Tags

Nutzer

  • @dblp

Kommentare und Rezensionen