Result Details
Membership solver for Watson-Crick Context-free Grammars
Created: 2022
Type
software
Language
English
Authors
Hammer Jan, Ing.
Křivka Zbyněk, Ing., Ph.D., DIFS (FIT)
Křivka Zbyněk, Ing., Ph.D., DIFS (FIT)
Location
License
In order to use the result by another entity, it is always necessary to acquire a license
License Fee
The licensor does not require a license fee for the result
Research groups
Formal Model Research Group (RG FM)
Departments