01079nam2-22003251i-450-99000032131040332120001010000032131FED01000032131(Aleph)000032131FED0100003213120001010d--------km-y0itay50------baitay-------001yy<<A >>system of tense logic for transitive temporal structures with root and sinkCarlo Batini.RomaLa Goliardica197554 p., ill., 24 cmIn testa al front.: Universita' di Roma. Istituto di Automatica.0010000378542001Rapporti dell'Istituto di Automatica629Batini,Carlo3404Università degli studi di Roma.Istituto di automaticaITUNINARICAUNIMARCBK99000032131040332104 020-19/4-1BCIDINCHDINCHSystem of tense logic for transitive temporal structures with root and sink130071UNINAING01