Non modularity and expressibility for nets of relations (extended abstract)

Logical Foundations of Computer Science — Tver '92 - Lecture Notes in Computer Science ◽

10.1007/bfb0023892 ◽

2005 ◽

pp. 394-405

Author(s):

Alexander Rabinovich