Search results for "Congruences"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
109	Serge Bauget, Paul Gastin	On Congruences and Partial Orders.	MFCS	1995	DBLP DOI BibTeX RDF
104	Hai-Yang Li, Sheng-Gang Li	Congruences and ideals in pseudoeffect algebras.	Soft Comput.	2008	DBLP DOI BibTeX RDF	Pseudoeffect algebras, Riesz ideals, Normal weak Riesz ideals, Strong congruences, Riesz strong congruences, Congruences, Ideals
70	Bert Jüttler, Katharina Rittenschober	Using Line Congruences for Parameterizing Special Algebraic Surfaces.	IMA Conference on the Mathematics of Surfaces	2003	DBLP DOI BibTeX RDF
57	Mohammad Reza Mousavi 0001, Michel A. Reniers	Congruence for Structural Congruences.	FoSSaCS	2005	DBLP DOI BibTeX RDF
55	Manuel Abad, J. Patricio Díaz Varela	Factor congruences in BCK -algebras.	Soft Comput.	2009	DBLP DOI BibTeX RDF	Factor congruences, Implicative filters, Pocrims, Hoops, BCK-algebras, Decomposability, Free algebras
44	Barbara König 0001	Deriving Bisimulation Congruences with Borrowed Contexts.	CALCO	2007	DBLP DOI BibTeX RDF
44	David A. Greve	Parameterized congruences in ACL2.	ACL2	2006	DBLP DOI BibTeX RDF
44	Roberto Bruni, Fabio Gadducci, Ugo Montanari, Pawel Sobocinski 0001	Deriving Weak Bisimulation Congruences from Reduction Systems.	CONCUR	2005	DBLP DOI BibTeX RDF
44	Farong Zhong	The Early and Late Congruences for Asymmetric chi!=-Calculus.	CIS	2004	DBLP DOI BibTeX RDF
44	Anna Avallone, Paolo Vitolo	Congruences and Ideals of Effect Algebras.	Order	2003	DBLP DOI BibTeX RDF	Riesz ideal, Sasaki projection, central element, congruence, ideal, effect algebra
44	Andrei A. Krokhin	Congruences of Clone Lattices, II.	Order	2001	DBLP DOI BibTeX RDF	clone lattice, clone, congruence
44	Peter Sewell	From Rewrite to Bisimulation Congruences.	CONCUR	1998	DBLP DOI BibTeX RDF
44	Mogens Nielsen, Lutz Priese, Vladimiro Sassone	Characterizing Behavioural Congruences for Petri Nets.	CONCUR	1995	DBLP DOI BibTeX RDF
42	Ming-Deh A. Huang, Yiu-Chung Wong	Solving Systems of Polynomial Congruences Modulo a Large Prime (extended abstract).	FOCS	1996	DBLP DOI BibTeX RDF	polynomial congruences, algebraic homotopy method, algebraic set, computational complexity, randomized algorithm, decision, parallel complexity
42	Allan Cheng, Mogens Nielsen	Open Maps, Behavioural Equivalences, and Congruences.	CAAP	1996	DBLP DOI BibTeX RDF	Open maps, P-bisimilarity, P-factorisability, process algebra, category theory, congruences
39	Marc Aiguier, Diane Bahrami	Structures for Abstract Rewriting.	J. Autom. Reason.	2007	DBLP DOI BibTeX RDF	abstract rewriting, abstract deduction procedure, abstract completion procedure, rewrite system, axiomatization
39	Hongru Li, Ping Wei, Xiaoxue Song	Construction of Concept Lattices Based on Indiscernibility Matrices.	KSEM	2006	DBLP DOI BibTeX RDF	Indiscernibility matrix, Concept lattice, Congruence, Formal context, Semilattice
39	C. H. Gao, Frank C. Langbein, A. David Marshall, Ralph R. Martin	Approximate Congruence Detection of Model Features for Reverse Engineering.	Shape Modeling International	2003	DBLP DOI BibTeX RDF	Approximate Congruence Detection, Reverse Engineering, Geometric Modelling, Beautification
39	Jon G. Riecke, Ramesh Subrahmanyam	Algebraic Reasoning and Completeness in Typed Languages.	POPL	1993	DBLP DOI BibTeX RDF
37	Luigi Santocanale	On the Join Dependency Relation in Multinomial Lattices.	Order	2007	DBLP DOI BibTeX RDF	Multinomial lattices, Lattice congruences, Lattices of permutations, Binomial lattices, Lattices of paths, Parikh equivalence relations, Dihomotopies
37	Enzo Baccarelli, Mauro Biagi, Cristian Pelizzoni, Nicola Cordeschi, Fabio Garzia	Congruential recursive codes for time hopping access in ultrawide band impulse radio systems.	IWCMC	2006	DBLP DOI BibTeX RDF	UWB-IR, access codes, theory of congruences, CDMA
37	Ivo G. Rosenberg	An Algebraic Approach to Hyperalgebras.	ISMVL	1996	DBLP DOI BibTeX RDF	hyperalgebras, hypergroups theory, universal-algebra type theory, nonvoid subsets, hyperclones, inclusion-isotone clones, subuniverses, algebra, type theory, Boolean algebra, Boolean algebra, congruences, algebraic approach
35	Delbrin Ahmed, Eszter K. Horváth, Zoltán Németh	The Number of Subuniverses, Congruences, Weak Congruences of Semilattices Defined by Trees.	Order	2023	DBLP DOI BibTeX RDF
35	Doriann Albertin, Vincent Pilaud, Julian Ritter	Removahedral Congruences versus Permutree Congruences.	Electron. J. Comb.	2021	DBLP DOI BibTeX RDF
35	Frank G. Garvan	Congruences for Andrews' spt-Function Modulo 32760 and Extension of Atkin's Hecke-Type Partition Congruences.	Number Theory and Related Fields	2013	DBLP DOI BibTeX RDF
31	Diego Nicolás Castaño, J. Patricio Díaz Varela	Conditions for Permutability of Congruences in Implication Algebras.	Order	2009	DBLP DOI BibTeX RDF	Mathematics Subject Classifications (2000) 06F99, 08B20, 08A30
31	Marcel Erné, Mai Gehrke, Ales Pultr	Complete Congruences on Topologies and Down-set Lattices.	Appl. Categorical Struct.	2007	DBLP DOI BibTeX RDF	Mathematics Subject Classifications (2000) Primary 06D10, Secondary 06A15, 06D22, 54H10, 08A30
31	Roberto Barbuti, Andrea Maggiolo-Schettini, Paolo Milazzo, Angelo Troina	Bisimulation Congruences in the Calculus of Looping Sequences.	ICTAC	2006	DBLP DOI BibTeX RDF
31	Ernst-Erich Doberkat	Congruences and Bisimulations for Continuous-Time Stochastic Logic.	ICTAC	2005	DBLP DOI BibTeX RDF
31	Rajeev Alur, Viraj Kumar, P. Madhusudan, Mahesh Viswanathan 0001	Congruences for Visibly Pushdown Languages.	ICALP	2005	DBLP DOI BibTeX RDF
31	Hartmut Ehrig, Barbara König 0001	Deriving Bisimulation Congruences in the DPO Approach to Graph Rewriting.	FoSSaCS	2004	DBLP DOI BibTeX RDF
31	Vladimiro Sassone, Pawel Sobocinski 0001	Deriving Bisimulation Congruences: 2-Categories Vs Precategories.	FoSSaCS	2003	DBLP DOI BibTeX RDF
31	Clifford Bergman, Giora Slutzki	Computational Complexity of Some Problems Involving Congruences on Algebras.	LICS	2000	DBLP DOI BibTeX RDF	fully invariant, subdirectly irreducible, nondeterministic log-space, nondeterministic polynomial time, congruence, simple
31	Paola Quaglia	Pi-Congruences as CCS Equivalences.	AMAST	1998	DBLP DOI BibTeX RDF
31	Huimin Lin	Complete Proof Systems for Observation Congruences in Finite-Control pi-Calculus.	ICALP	1998	DBLP DOI BibTeX RDF
31	François Masdupuy	Semantic Analysis of Interval Congruences.	Formal Methods in Programming and Their Applications	1993	DBLP DOI BibTeX RDF
31	Chi-Chang Jou, Scott A. Smolka	Equivalences, Congruences, and Complete Axiomatizations for Probabilistic Processes.	CONCUR	1990	DBLP DOI BibTeX RDF
26	Sylvia Pulmannová, Elena Vinceková	Ideals in MV-pairs.	Soft Comput.	2008	DBLP DOI BibTeX RDF
26	Filippo Bonchi, Barbara König 0001, Ugo Montanari	Saturated Semantics for Reactive Systems.	LICS	2006	DBLP DOI BibTeX RDF
26	Hiroshi Kawaharada, Kokichi Sugihara	Line Subdivision.	IMA Conference on the Mathematics of Surfaces	2005	DBLP DOI BibTeX RDF
26	Taolue Chen, Tingting Han 0001, Jian Lu 0001	On the Bisimulation Congruence in chi-Calculus.	FSTTCS	2005	DBLP DOI BibTeX RDF
26	Jens Chr. Godskesen, Thomas T. Hildebrandt	Extending Howe's Method to Early Bisimulations for Typed Mobile Embedded Resources with Local Names.	FSTTCS	2005	DBLP DOI BibTeX RDF
26	Frank Calegari, William A. Stein	Conjectures about Discriminants of Hecke Algebras of Prime Level.	ANTS	2004	DBLP DOI BibTeX RDF
26	Gunther Schmidt 0001	Relational Data Analysis.	RelMiCS	2003	DBLP DOI BibTeX RDF
26	Xutao Du, Zhoujun Li	A Proof Assistant for Mobile Processes.	APPT	2003	DBLP DOI BibTeX RDF
26	Karthik Gargi	A Sparse Algorithm for Predicated Global Value Numbering.	PLDI	2002	DBLP DOI BibTeX RDF	global value numbering, static single assignment
26	G. Chevalier, Sylvia Pulmannová	Some Ideal Lattices in Partial Abelian Monoids and Effect Algebras.	Order	2000	DBLP DOI BibTeX RDF	dimension equivalence, lattice of ideals, partial Abelian monoid, R 1-ideal, Riesz ideal, Sasaki projection, congruence, ideal, effect algebra
26	Antti Puhakka, Antti Valmari	Weakest-Congruence Results for Livelock-Preserving Equivalences.	CONCUR	1999	DBLP DOI BibTeX RDF
26	Yuxi Fu	Open Bisimulations on Chi Processes.	CONCUR	1999	DBLP DOI BibTeX RDF
26	David M. Goldschlag, Stuart G. Stubblebine	Publicly Verifiable Lotteries: Applications of Delaying Functions.	Financial Cryptography	1998	DBLP DOI BibTeX RDF
26	Slawomir Lasota 0001	Partial-Congruence Factorization of Bisimilarity Induced by Open Maps.	ICALP	1998	DBLP DOI BibTeX RDF
26	Björn Victor, Joachim Parrow	Concurrent Constraints in the Fusion Calculus.	ICALP	1998	DBLP DOI BibTeX RDF
26	Michele Boreale, Rocco De Nicola, Rosario Pugliese	Basic Observables for Processes.	ICALP	1997	DBLP DOI BibTeX RDF
26	Matthew Hennessy, Julian Rathke	Bisimulations for a Calculus of Broadcasting Systems.	CONCUR	1995	DBLP DOI BibTeX RDF
26	Jon G. Riecke	A Complete and Decidable Proof System for Call-by-Value Equalities (Preliminary Report).	ICALP	1990	DBLP DOI BibTeX RDF
26	Joan Boyar	Inferring sequences produced by pseudo-random number generators.	J. ACM	1989	DBLP DOI BibTeX RDF
24	Matt Kaufmann, J Strother Moore	Double rewriting for equivalential reasoning in ACL2.	ACL2	2006	DBLP DOI BibTeX RDF	double-rewrite, verification, formal methods, rewriting, congruences, equivalence relations
24	Mikkel Bundgaard, Vladimiro Sassone	Typed polyadic pi-calculus in bigraphs.	PPDP	2006	DBLP DOI BibTeX RDF	Bigraphs, bisimulation congruences, foundation of computation, foundations of distributed and mobile systems, relative pushouts, subsorting, typed polyadic ?-calculus, sortings, semantics of concurrency
24	D. Baboolal	Local Connectedness Made Uniform.	Appl. Categorical Struct.	2000	DBLP DOI BibTeX RDF	local connectedness, property S, uniform local connectedness, connected congruences
18	Chunhua Li, Ying Zhu, Xiaoqin Zhan, Huawei Huang	Fuzzy admissible congruences on type B semigroups with E-properties, and their applications.	J. Intell. Fuzzy Syst.	2024	DBLP DOI BibTeX RDF
18	Grzegorz Serafin	Congruences for Sheffer sequences.	Australas. J Comb.	2024	DBLP BibTeX RDF
18	Léonard Kwuida, Claudia Muresan	On Nontrivial Weak Dicomplementations and the Lattice Congruences that Preserve Them.	Order	2023	DBLP DOI BibTeX RDF
18	Rong-Hua Wang, Michael X. X. Zhong	Polynomial reduction for holonomic sequences and applications in π-series and congruences.	Adv. Appl. Math.	2023	DBLP DOI BibTeX RDF
18	Renrong Mao	Congruences for Andrews-Beck partition statistics modulo powers of primes.	Adv. Appl. Math.	2023	DBLP DOI BibTeX RDF
18	Vladimir V. Kassandrov, Joseph A. Rizcallah, Ivan A. Matveev	Algebrodynamics: Shear-Free Null Congruences and New Types of Electromagnetic Fields.	Axioms	2023	DBLP DOI BibTeX RDF
18	Ofir Gorodetsky	New Representations for all Sporadic Apéry-Like Sequences, With Applications to Congruences.	Exp. Math.	2023	DBLP DOI BibTeX RDF
18	Marina Anagnostopoulou-Merkouri, James D. Mitchell, Maria Tsalakou	Computing the congruences of a finite semigroup or monoid.	CoRR	2023	DBLP DOI BibTeX RDF
18	Gilles Dowek	Specifying programs with propositions and with congruences.	CoRR	2023	DBLP DOI BibTeX RDF
18	Trevor D. Wooley	Finite Abelian Groups via Congruences.	Am. Math. Mon.	2023	DBLP DOI BibTeX RDF
18	Khadijeh Abolpour	A new characterization of congruences and the discrete Sugeno integral on LB-valued general fuzzy automata.	Fuzzy Sets Syst.	2023	DBLP DOI BibTeX RDF
18	Ferucio Laurentiu Tiplea	The Jacobi Symbol Problem for Quadratic Congruences and Applications to Cryptography.	IACR Cryptol. ePrint Arch.	2023	DBLP BibTeX RDF
18	Matthew D. G. K. Brookes	The lattice of one-sided congruences on an inverse semigroup.	Period. Math. Hung.	2023	DBLP DOI BibTeX RDF
18	Mayuka F. Kawaguchi, Michiro Kondo	On quotient algebras of normal eo-algebras by congruences.	ISMVL	2023	DBLP DOI BibTeX RDF
18	Dennis Eichhorn, Lydia Engle, Brandt Kronholm	Congruences for Consecutive Coefficients of Gaussian Polynomials with Crank Statistics.	Electron. J. Comb.	2022	DBLP DOI BibTeX RDF
18	Eunmi Kim	Andrews-Beck Type Congruences for Overpartitions.	Electron. J. Comb.	2022	DBLP DOI BibTeX RDF
18	Ernest X. W. Xia	Identities, inequalities and congruences for odd ranks and k-marked odd Durfee symbols.	Adv. Appl. Math.	2022	DBLP DOI BibTeX RDF
18	Joel A. Henningsen, Armin Straub	Generalized Lucas congruences and linear p-schemes.	Adv. Appl. Math.	2022	DBLP DOI BibTeX RDF
18	Mircea Merca	Families of Ramanujan-Type Congruences Modulo 4 for the Number of Divisors.	Axioms	2022	DBLP DOI BibTeX RDF
18	Jeong-Gon Lee, Samy Mostafa, Jong-Il Baek, Sang Hyeon Han, Kul Hur	A Study on Groupoids, Ideals and Congruences via Cubic Sets.	Axioms	2022	DBLP DOI BibTeX RDF
18	Rong-Hua Wang, Michael X. X. Zhong	Congruences related to dual sequences and Catalan numbers.	Eur. J. Comb.	2022	DBLP DOI BibTeX RDF
18	Hernán Javier San Martín	On Relative Principal Congruences in Term Quasivarieties.	Stud Logica	2022	DBLP DOI BibTeX RDF
18	Christian Antic	Proportional algebras, homomorphisms, congruences, and functors.	CoRR	2022	DBLP DOI BibTeX RDF
18	Sam Frengley	Congruences of elliptic curves arising from nonsurjective mod	Math. Comput.	2022	DBLP DOI BibTeX RDF
18	Robert X. J. Hao	Combinatorial proofs of the Ramanujan type congruences modulo 3.	Discret. Math.	2022	DBLP DOI BibTeX RDF
18	Robson da Silva, Michael D. Hirschhorn, James A. Sellers	Elementary proofs of infinitely many congruences for k-elongated partition diamonds.	Discret. Math.	2022	DBLP DOI BibTeX RDF
18	Roberto G. Aragón, Jesús Medina 0001, Eloísa Ramírez-Poussa	Impact of local congruences in variable selection from datasets.	J. Comput. Appl. Math.	2022	DBLP DOI BibTeX RDF
18	Chen Wang, He-Xia Ni	Some q-congruences arising from certain identities.	Period. Math. Hung.	2022	DBLP DOI BibTeX RDF
18	Buraj Patrakosol	Using text analytics to discover organizational congruences: A study of the Thai IT industry.	ICEB	2022	DBLP BibTeX RDF
18	Matthew D. G. K. Brookes	Congruences on the partial automorphism monoid of a free group action.	Int. J. Algebra Comput.	2021	DBLP DOI BibTeX RDF
18	Ivan Chajda, Helmut Länger	Filters and congruences in sectionally pseudocomplemented lattices and posets.	Soft Comput.	2021	DBLP DOI BibTeX RDF
18	Jothi Rangasamy	On "Practical and secure outsourcing algorithms for solving quadratic congruences in IoTs" from IEEE IoT journal.	Discret. Appl. Math.	2021	DBLP DOI BibTeX RDF
18	Claudia Muresan	A Note on Congruences of Infinite Bounded Involution Lattices.	Sci. Ann. Comput. Sci.	2021	DBLP DOI BibTeX RDF
18	Bernard L. S. Lin, Lin Peng, Pee Choon Toh	Weighted generalized crank moments for k-colored partitions and Andrews-Beck type congruences.	Discret. Math.	2021	DBLP DOI BibTeX RDF
18	Cristian-Silviu Radu, Nicolas Allen Smoot	A method of verifying partition congruences by symbolic computation.	J. Symb. Comput.	2021	DBLP DOI BibTeX RDF
18	Cheng-Yang Gu, Victor J. W. Guo	Two q-congruences from Carlitz's formula.	Period. Math. Hung.	2021	DBLP DOI BibTeX RDF
18	Gezahagne Mulat Addis, Nasreen Kausar, Muhammad Munir, Yuming Chu	The Commutator of Fuzzy Congruences in Universal Algebras.	Int. J. Comput. Intell. Syst.	2021	DBLP DOI BibTeX RDF
18	Max A. Deppert, Klaus Jansen, Kim-Manuel Klein	Fuzzy Simultaneous Congruences.	MFCS	2021	DBLP DOI BibTeX RDF
18	Tenkeu Jeufack Yannick Léa, Etienne Romuald Alomo Temgoua, Léonard Kwuida	Filters, Ideals and Congruences on Double Boolean Algebras.	ICFCA	2021	DBLP DOI BibTeX RDF
18	Scott C. Aker, Kathleen F. Faulkner, Hamish Innes-Brown, Marianna Vatti, Jeremy Marozeau	Audio-Tactile Congruences in Vibro-tactile Music Enhancement World Haptics Conference*.	WHC	2021	DBLP DOI BibTeX RDF
18	A. V. Kravchenko, Anvar M. Nurakunov, M. V. Schwidefsky	On the complexity of the lattices of subvarieties and congruences.	Int. J. Algebra Comput.	2020	DBLP DOI BibTeX RDF