Result Details

Finite Automata Methods for Automated Reasoning

HOLÍK, L. Finite Automata Methods for Automated Reasoning. Brno: Faculty of Information Technology BUT, 2020. 229 p.

Type

habilitation thesis

Language

English

Authors

Holík Lukáš, doc. Mgr., Ph.D., DITS (FIT)

Published

2020

Pages

229

Publisher

Faculty of Information Technology BUT

Place

Brno

BibTeX

@misc{BUT175806,
  author="Lukáš {Holík}",
  title="Finite Automata Methods for Automated Reasoning",
  year="2020",
  pages="229",
  publisher="Faculty of Information Technology BUT",
  address="Brno",
  url="https://www.fit.vut.cz/research/publication/12550/"
}

Files

pdf habilitace.pdf 8 MB

Departments

Ústav inteligentních systémů (DITS)