Complexity of Equational Theories for Relational and Language Action Lattices

Λεπτομέρειες βιβλιογραφικής εγγραφής
Τίτλος: Complexity of Equational Theories for Relational and Language Action Lattices
Συγγραφείς: Kanovich, MaxAff10, Kuznetsov, Stepan L.Aff11, Scedrov, AndreAff12
Συνεισφορές: Goos, Gerhard, Founding EditorAff1, Hartmanis, Juris, Founding EditorAff2, Bertino, Elisa, Series EditorAff3, Gao, Wen, Series EditorAff4, Steffen, Bernhard, Series EditorAff5, Yung, Moti, Series EditorAff6, Fahrenberg, Uli, editorAff7, Fussner, Wesley, editorAff8, Santocanale, Luigi, editorAff9
Πηγή: Relational and Algebraic Methods in Computer Science : 22nd International Conference, RAMiCS 2026, Będlewo, Poland, April 7–10, 2026, Proceedings. 16526:208-228
Βάση Δεδομένων: Springer Nature eBooks
Περιγραφή
ISBN:9783032224682
9783032224699
DOI:10.1007/978-3-032-22469-9_12