Back to Results
First PageMeta Content
Parity of a permutation / Permutations / Lambda calculus / Mathematics / Group theory / Parity


An Implementation of Bigraph Matching Arne John Glenstrup ∗ , Troels Christoffer Damgaard, Lars Birkedal, Espen Højsgaard IT University of Copenhagen, Denmark Abstract We describe a provably sound and complete matchin
Add to Reading List

Document Date: 2007-11-05 12:26:38

Open Document

File Size: 273,53 KB

Share Result on Facebook

City

Copenhagen / PERM / /

Company

Reactive Systems / /

Country

Denmark / /

/

Event

Reorganization / /

Facility

Espen Højsgaard IT University of Copenhagen / /

/

IndustryTerm

auxiliary technologies / sound and complete matching algorithm / non-deterministic matching algorithm / nondeterministic algorithm / prime product / tensor product / iterated tensor products / ubiquituous systems / parallel product / tensor products / graph transformation systems / context-aware systems / iterated tensor product / /

Organization

United Nations / University of Copenhagen / /

Person

Arne John Glenstrup / Lars Birkedal / /

/

Product

the tensor product G1 / G1 / /

ProgrammingLanguage

C ω / /

Technology

resulting algorithm / matching algorithm / GPM algorithms / mobile phone system / non-deterministic matching algorithm / nondeterministic algorithm / /

SocialTag