نتایج جستجو برای: congruence myhill nerode

تعداد نتایج: 8533  

Journal: :Acta Mathematica 2004

Journal: :Apples: journal of applied language studies 2023

Based on fieldwork in an upper-secondary school Sweden, this paper centers Swedish as two school-subjects: (SWE) and a second language (SSL), taught one class. Adhering to separate curricula, by SWE SSL teachers respectively, they are often implemented physically separated subjects. By contrast, explores three different learning spaces relation everyday negotiations of belonging participation a...

Journal: :Annales de l'Institut Fourier 2023

We describe a criterion for real or complex hyperbolic lattice to admit residually finite rational solvable (RFRS) tower that consists entirely of congruence subgroups. use this show certain Bianchi groups PSL 2 (

Journal: :Information and Control 1966

Journal: :Theoretical Computer Science 1999

2015
John G. Matsusaka

The study of representation requires being able to measure representation. The concept to be measured, in the abstract, is the distance or “congruence” between legislators and their constituents, but data limitations often preclude measuring congruence directly. A popular alternative is to regress legislator roll call votes on a proxy for constituent preferences, with the coefficient labeled “r...

Journal: :Sci. Ann. Comp. Sci. 2017
Jan A. Bergstra Kees Middelburg

In program algebra, an algebraic theory of single-pass instruction sequences, three congruences on instruction sequences are paid attention to: instruction sequence congruence, structural congruence, and behavioural congruence. Sound and complete axiom systems for the first two congruences were already given in early papers on program algebra. The current paper is the first one that is concerne...

2014
Xiaoyan Qin Yi Liu Yang Xu

The aim of this paper is to further develop the congruence theory on lattice implication algebras. Firstly, we introduce the notions of vague similarity relations based on vague relations and vague congruence relations. Secondly, the equivalent characterizations of vague congruence relations are investigated. Thirdly, the relation between the set of vague filters and the set of vague congruence...

Journal: :Inf. Comput. 1996
Luca Aceto Rob J. van Glabbeek Wan Fokkink Anna Ingólfsdóttir

Prefix iteration is a variation on the original binary version of the Kleene star operation P Q, obtained by restricting the first argument to be an atomic action. The interaction of prefix iteration with silent steps is studied in the setting of Milner’s basic CCS. Complete equational axiomatizations are given for four notions of behavioural congruence over basic CCS with prefix iteration, viz...

2016
Terence J.G. Tracey Jeff Allen Steven B. Robbins

Article history: Received 1 March 2011 Available online 9 March 2011 The relation of interest–major congruence to indicators of college success was examined as it was moderated by environmental constraint, individual flexibility, and congruence definition in an initial sample of 88,813 undergraduates (38,787 men and 50,026 women) from 42 different colleges and universities in 16 states. College...

نمودار تعداد نتایج جستجو در هر سال

با کلیک روی نمودار نتایج را به سال انتشار فیلتر کنید