human: Given a node-centered hypergraph: <hypergraph>, where nodes represent papers and hyperedges represent sets of papers co-cited by a source paper.

Details of the hypergraph:
Center node: "regular behaviours with names"
  Abstract: Nominal sets provide a framework to study key notions of syntax and semantics such as fresh names, variable binding and $\alpha$-equivalence on a conveniently abstract categorical level. Coalgebras for endofunctors on nominal sets model, e.g., various forms of automata with names as well as infinite terms with variable binding operators (such as $\lambda$-abstraction). Here, we first study the behaviour of orbit-finite coalgebras for functors $\bar F$ on nominal sets that lift some finitary set functor $F$. We provide sufficient conditions under which the rational fixpoint of $\bar F$, i.e. the collection of all behaviours of orbit-finite $\bar F$-coalgebras, is the lifting of the rational fixpoint of $F$. Second, we describe the rational fixpoint of the quotient functors: we introduce the notion of a sub-strength of an endofunctor on nominal sets, and we prove that for a functor $G$ with a sub-strength the rational fixpoint of each quotient of $G$ is a canonical quotient of the rational fixpoint of $G$. As applications, we obtain a concrete description of the rational fixpoint for functors arising from so-called binding signatures with exponentiation, such as those arising in coalgebraic models of infinitary $\lambda$-terms and various flavours of automata.

Connected through hyperedge HE-1 (induced by source paper "on the behaviour of coalgebras with side effects and algebras with effectful iteration"):
  with members:
    - "a new foundation for finitary corecursion and iterative algebras"
    - "proper semirings and proper convex functors"
    - "proper functors and fixed points for finite behaviour"
    - "sound and complete axiomatizations of coalgebraic language equivalence"
    - "generalizing determinization from automata to coalgebras"
    - "nominal coalgebraic data types with applications to lambda calculus"
    - "semantics of higher order recursion schemes"
    - "simulations of weighted tree automata"

Connected through hyperedge HE-2 (induced by source paper "varieties of data languages"):
  with members:
    - "equational axiomatization of algebras with structure"
    - "unveiling eilenberg type correspondences birkhoff s theorem for finite algebras duality"
    - "eilenberg theorems for free"
    - "generalized eilenberg theorem i local varieties of languages"
    - "automata theory in nominal sets"

Connected through hyperedge HE-3 (induced by source paper "path category for free open morphisms from coalgebras with non deterministic branching"):
  with members:
    - "the power of convex algebras"
    - "on path based coalgebras and weak notions of bisimulation"
    - "well pointed coalgebras"
    - "nominal coalgebraic data types with applications to lambda calculus"
    - "history preserving bisimilarity for higher dimensional automata via open maps"
    - "algebraic theories over nominal sets"
    - "generic trace semantics via coinduction"

Connected through hyperedge HE-4 (induced by source paper "equational axiomatization of algebras with structure"):
  with members:
    - "on the axiomatizability of quantitative algebras"
    - "unveiling eilenberg type correspondences birkhoff s theorem for finite algebras duality"
    - "eilenberg theorems for free"
    - "profinite monads profinite equations and reiterman s theorem"

Question: Please tell me which class the center node belongs to. The 40 classes are: cs.NA(Numerical Analysis), cs.MM(Multimedia), cs.LO(Logic in Computer Science), cs.CY(Computers and Society), cs.CR(Cryptography and Security), cs.DC(Distributed, Parallel, and Cluster Computing), cs.HC(Human-Computer Interaction), cs.CE(Computational Engineering, Finance, and Science), cs.NI(Networking and Internet Architecture), cs.CC(Computational Complexity), cs.AI(Artificial Intelligence), cs.MA(Multiagent Systems), cs.GL(General Literature), cs.NE(Neural and Evolutionary Computing), cs.SC(Symbolic Computation), cs.AR(Hardware Architecture), cs.CV(Computer Vision and Pattern Recognition), cs.GR(Graphics), cs.ET(Emerging Technologies), cs.SY(Systems and Control), cs.CG(Computational Geometry), cs.OH(Other Computer Science), cs.PL(Programming Languages), cs.SE(Software Engineering), cs.LG(Machine Learning), cs.SD(Sound), cs.SI(Social and Information Networks), cs.RO(Robotics), cs.IT(Information Theory), cs.PF(Performance), cs.CL(Computation and Language), cs.IR(Information Retrieval), cs.MS(Mathematical Software), cs.FL(Formal Languages and Automata Theory), cs.DS(Data Structures and Algorithms), cs.OS(Operating Systems), cs.GT(Computer Science and Game Theory), cs.DB(Databases), cs.DL(Digital Libraries), cs.DM(Discrete Mathematics). Directly output the class name.

gpt: cs.LO(Logic in Computer Science)