REGAL
From MaRDI portal
Software:13539
swMATH791MaRDI QIDQ13539FDOQ13539
Author name not available (Why is that?)
Cited In (18)
- Average case analysis of Moore's state minimization algorithm
- Generating, sampling and counting subclasses of regular tree languages
- Distribution of the number of accessible states in a random deterministic automaton
- Loops and overloops for tree-walking automata
- How the number of alleles influences gene expression
- Editorial: Recent developments in life and social science applications of capture-recapture methods
- Estimators in capture-recapture studies with two sources
- Random Generation of Deterministic Tree (Walking) Automata
- Condensates in the cosmos: Quantum stabilization of the collapse of relativistic degenerate stars to black holes
- Average complexity of Moore's and Hopcroft's algorithms
- Title not available (Why is that?)
- Parametric random generation of deterministic tree automata
- Title not available (Why is that?)
- Empirical studies in the size of diagnosers and verifiers for diagnosability analysis
- Diagnosability verification using LTL model checking
- Integrating multiple learning strategies in first order logics
- Mixture models for capture-recapture count data
- Title not available (Why is that?)
This page was built for software: REGAL
