Info
Meny
English
Logg inn
Søk etter prosjekter, resultater og personer
Søk etter prosjekter, resultater og personer
Historikk
Cristin-resultat-ID:
514399
Sist endret:
7. januar 2011, 15:46
Resultat
Vitenskapelig foredrag
2010
Linear Computation of the Maximum Simultaneous Forward and Backward Bisimulation for Node-Labeled Trees
Nils Grimsmo
Truls Amundsen Bjørklund
og
Magnus Lie Hetland
Presentasjon
Presentasjon
Navn på arrangementet: 7th International XML Database Symposium (XSym 2010)
Sted: Singapore
Dato fra:
17. september 2010
Dato til:
17. september 2010
Om resultatet
Om resultatet
Vitenskapelig foredrag
Publiseringsår: 2010
Beskrivelse
Beskrivelse
Engelsk
Tittel
Linear Computation of the Maximum Simultaneous Forward and Backward Bisimulation for Node-Labeled Trees
Bidragsytere
Bidragsytere
Nils Grimsmo
Forfatter
ved Institutt for datateknologi og informatikk ved Norges teknisk-naturvitenskapelige universitet
Truls Amundsen Bjørklund
Forfatter
ved Institutt for datateknologi og informatikk ved Norges teknisk-naturvitenskapelige universitet
Magnus Lie Hetland
Forfatter
ved Institutt for datateknologi og informatikk ved Norges teknisk-naturvitenskapelige universitet
1
-
3
av
3