On satisfiability of terms in FLew-algebras

Bibliographic details

Authors

Zuzana Haniková, Petr Savický

Publication year

2014

Publication type

Abstrakt

Periodical

Abstract Booklet - LATD 2014

Projects

• Center of excellence - Institute for theoretical computer science (CE-ITI)

Bibliographic citation

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