المؤلفون: Henriksson, Viktor

مصطلحات موضوعية: monoids, semigroups, logic, pointlikes, conelikes, forbidden patterns, rankers, Trotter-Weil hierarchy, ranker comparisons, first order logic, FO2, Carton-Michel automata, regular languages, varieties, separation, covering

URL الوصول: https://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.846986

المؤلفون: Viktor Henriksson

مصطلحات موضوعية: Information and Computing Sciences not elsewhere classified, monoids, semigroups, logic, pointlikes, conelikes, forbidden patterns, rankers, Trotter-Weil hierarchy, ranker comparisons, first order logic, FO2, Carton-Michel automata, regular languages, varieties, separation, covering

Relation: https://figshare.com/articles/thesis/Membership_and_separation_problems_inside_two-variable_first_order_logic/17872106

الاتاحة: https://doi.org/10.26174/thesis.lboro.17872106.v1
https://figshare.com/articles/thesis/Membership_and_separation_problems_inside_two-variable_first_order_logic/17872106