Complexity of Equational Theories for Relational and Language Action Lattices

Lecture notes in computer science 2026

View at publisher

Authors: Max Kanovich, Stepan Lvovich Kuznetsov, Andre Scedrov

DOI: 10.1007/978-3-032-22469-9_12

Cited by: 1

References: 31

Fields of Study & Subjects

Logic Reasoning and Knowledge Formal Methods in Verification programming and type systems

References 31