Ackermann Encoding, Bisimulations, and OBDD's

PIAZZA, Carla

•

POLICRITI, Alberto

2001

conference object

Archivio

http://hdl.handle.net/11390/738098

Diritti

closed access

Visualizzazioni

2

Data di acquisizione
Apr 19, 2024