Vojtěch Havlena

Available identifiers

zbMath Open havlena.vojtechMaRDI QIDQ2038089

List of research outcomes

Publication	Date of Publication	Type
Reducing (To) the Ranks: Efficient Rank-Based Büchi Automata Complementation	2023-08-21	Paper
Word equations in synergy with regular constraints	2023-08-17	Paper
Automata terms in a lazy \(\mathrm{WS}k\mathrm{S}\) decision procedure	2021-11-24	Paper
A symbolic algorithm for the case-split rule in string constraint solving	2021-07-08	Paper
Automata terms in a lazy \(\mathrm{WS}k\mathrm{S}\) decision procedure	2020-03-10	Paper
A Note on One Less Known Class of Generated Residual Implications	2016-12-15	Paper

Research outcomes over time

Doctoral students

No records found.

Known relations from the MaRDI Knowledge Graph

Property	Value
MaRDI profile type	MaRDI person profile
instance of	human

This page was built for person: Vojtěch Havlena