The logic of explicitly presentation-invariant circuits

Computer Science Logic - Lecture Notes in Computer Science ◽

10.1007/3-540-63172-0_50 ◽

1997 ◽

pp. 369-384 ◽

Author(s):

Martin Otto

Download Full-text