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
required - free
Authors
Hammer Jan, Ing. (FIT BUT)
Křivka Zbyněk, Ing., Ph.D. (DIFS FIT BUT)
Křivka Zbyněk, Ing., Ph.D. (DIFS FIT BUT)
Location
Research groups
Formal Model Research Group (VZ FM)