Pattern Equations and Equations with Stuttering

• Authors: ČERNÁ Ivana; SRBA Jiří; KLÍMA Ondřej
• Year of publication: 1999
• Type: Article in Proceedings
• Conference: SOFSEM'99: Theory and Practise of Informatics
• MU Faculty or unit: Faculty of Informatics
• Field: Information theory
• Keywords: pattern equations - stuttering
• Description: The paper investigates pattern equations and their applicability

Related projects

• Algorithmic Verification Boundaries for Infinite-State Systems
• Non-sequential Models of Computing -- Quantum and Concurrent Distributed Models of Computing
• Mathematical structures of algebra and geometry