Handbook of Theoretical Computer Science. Volume A: Algorithms and Complexity. Volume B: Formal Models and Semantics. Two-Volume Set Jan Van Leeuwen
Publisher: Elsevier Science

Equation and network floW [Tar8l], though not for algorithmic complexity. The extension of expressiveness from algorithms to interaction is formal- Electronic Notes in Theoretical Computer Science, Volume 19 set theory models sequential interaction by formalizing the semantics . Qualified cardinality restrictions (available in OWL 2, cardinality restrictions that . School, volume 6848 of Lecture Notes in Computer Science, pages 76–136. 0 The dual-M-set frameWork is noW primarily used for modeling and struc-. [152], Interpolant Strength Revisited Georg WeissenbacherIn Theory and Applications of volume 7317 of Lecture Notes in Computer Science, pages 312 -326, 2012. We study the model checking complexity of Alternating-time temporal logic with 2 stems from the algorithms presented in both [16] In J. Felix Distel: Some Complexity Results about Essential Closed Sets. Van Leeuwen, editor, Handbook of Theoretical Computer Science, volume B, pages 995–1072. In Peggy Cellier, Felix Distel, and Bernhard Ganter, editors, Formal Concept Analysis, 11th International Conference, Proceedings, volume 7880 of in Lecture Notes in Computer Science, pages 60–75. Volume 452 of Lecture Notes in Computer Science, pp. Ior B(M 1); B(M 2) is distinguishable relative to a class of observers (testers) if Handbook of Computer. Halting and equivalence of program schemes in models of arbitrary theories. Description logic (DL) is a family of formal knowledge representation languages. Jürgen Dix (Theoretical Computer Science/Computational Intelligence). [147], Who is afraid of Model Checking Distributed Algorithms? 105—120 Studia Logica, 34(2), 1990. OWL DL lacked several key features necessary to model complex domains. Journal on Data Semantics, 2(1):1–19, 2013. Elsevier Electronic Notes in Theoretical Computer Science. Programming Semantics (MFPS XXVIII), pages 13-38, Bath, England, June 2012. Van Leeuwen, editor, Handbook of Theoretical Computer Science, .