Theses on the same topic (having an identical keyword):

quantifier elimination

Keywords ordered alphabetically | Keywords ordered by occurrence rate

Fast Approximations of Quantifier Elimination for Q3B
 (Oliver Bukor)

2024, Bakalářská práce, Fakulta informatiky / Masarykova univerzita

• https://is.muni.cz/th/bicnd/ | Informatika / | Theses on a related topic

List of theses with an identical keyword.

Eliminace kvantifikátorů v logice komplexních čísel
 (Radoslav Habarda)

2023, Bakalářská práce, Přírodovědecká fakulta / Masarykova univerzita

• https://is.muni.cz/th/qvocx/ | Matematika / Obecná matematika | Theses on a related topic

Eliminace kvantifikátorů v logice reálných čísel
 (Jan Štěpánek)

2017, Bakalářská práce, Přírodovědecká fakulta / Masarykova univerzita

• https://is.muni.cz/th/fyfcu/ | Matematika / Obecná matematika | Theses on a related topic

Počítačové metody eliminace kvantifikátorů v R a možnosti jejich využití
 (Lukáš HONZÍK)

2013, Disertační práce, Fakulta pedagogická / ZÁPADOČESKÁ UNIVERZITA V PLZNI

• http://theses.cz/id//vtn1y8// | Specializace v pedagogice / Informační a komunikační technologie ve vzdělávání | Theses on a related topic

Počítačové metody eliminace kvantifikátorů v R a možnosti jejich využití
 (Lukáš HONZÍK)

2013, Disertační práce, Fakulta pedagogická / ZÁPADOČESKÁ UNIVERZITA V PLZNI

• http://theses.cz/id//d42lnd// | Specializace v pedagogice / Informační a komunikační technologie ve vzdělávání | Theses on a related topic

Satisfiability of DQBF Using Binary Decision Diagrams
 (Juraj Síč)

2020, Diplomová práce, Fakulta informatiky / Masarykova univerzita

• https://is.muni.cz/th/prexv/ | Informatika / Teoretická informatika | Theses on a related topic