Product Details
Membership solver for Watson-Crick Context-free Grammars
Created: 2022
Czech title
Řešení členství pro Watson-Crick bezkontextové gramatiky
Type
software
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
Authors
Hammer Jan, Ing.
Křivka Zbyněk, Ing., Ph.D. (DIFS)
Křivka Zbyněk, Ing., Ph.D. (DIFS)
Location
Research groups
Formal Model Research Group (RG FM)
Departments