Cristin-resultat-ID: 514398
Sist endret: 9. september 2011, 09:42
NVI-rapporteringsår: 2010
Resultat
Vitenskapelig artikkel
2010

Linear Computation of the Maximum Simultaneous Forward and Backward Bisimulation for Node-Labeled Trees

Bidragsytere:
  • Nils Grimsmo
  • Truls Amundsen Bjørklund og
  • Magnus Lie Hetland

Tidsskrift

Lecture Notes in Computer Science (LNCS)
ISSN 0302-9743
e-ISSN 1611-3349
NVI-nivå 1
Finn i kanalregisteret

Om resultatet

Vitenskapelig artikkel
Publiseringsår: 2010
Volum: 6309
Sider: 18 - 32

Importkilder

Isi-ID: 000286150400003

Beskrivelse Beskrivelse

Tittel

Linear Computation of the Maximum Simultaneous Forward and Backward Bisimulation for Node-Labeled Trees

Bidragsytere

Nils Grimsmo

  • Tilknyttet:
    Forfatter
    ved Institutt for datateknologi og informatikk ved Norges teknisk-naturvitenskapelige universitet

Truls Amundsen Bjørklund

  • Tilknyttet:
    Forfatter
    ved Institutt for datateknologi og informatikk ved Norges teknisk-naturvitenskapelige universitet

Magnus Lie Hetland

  • Tilknyttet:
    Forfatter
    ved Institutt for datateknologi og informatikk ved Norges teknisk-naturvitenskapelige universitet
1 - 3 av 3