On satisfiability of terms in FLew-algebras

Bibliografické údaje

Autoři

• RNDr. Zuzana Haniková, Ph.D.
• RNDr. Petr Savický, CSc.

Rok vydání

2014

Typ publikace

Abstrakt

Periodikum

Abstract Booklet - LATD 2014

Projekty

• Centrum excelence - Institut teoretické informatiky (CE-ITI)

Bibliografická citace

HANIKOVÁ, Zuzana, SAVICKÝ, Petr. On satisfiability of terms in FLew-algebras. In: BAAZ, M., CIABATTONI, A., HETZL, S., eds. Abstract Booklet - LATD 2014. Vienna: Vienna University of Technology, 2014, S. 191-193.

ID

431690