Search results for "chain condition"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
2	Heeralal Janwa, Arbind K. Lal	On Generalized Hamming Weights and the Covering Radius of Linear Codes.	AAECC	2007	DBLP DOI BibTeX RDF	Generalized Hamming weights, chain condition, generalized Griesmer bound, covering radius, cyclic codes, optimal codes, Griesmer bound
2	Conchita Martínez-Pérez, Wolfgang Willems	On the Weight Hierarchy of Product Codes.	Des. Codes Cryptography	2004	DBLP DOI BibTeX RDF	weight hierarchy, chain condition, product code
2	Sylvia B. Encheva	On Repeated-Root Cyclic Codes and the Two-Way Chain Condition.	AAECC	1997	DBLP DOI BibTeX RDF
1	Luciano Panek, Marcelo Firer	Codes Satisfying the Chain Condition with a Poset Weights	CoRR	2012	DBLP BibTeX RDF
1	Sriram Sankaranarayanan	Automatic invariant generation for hybrid systems using ideal fixed points.	HSCC	2010	DBLP DOI BibTeX RDF	verification, hybrid systems, invariants, conservation laws, algebraic geometry
1	Hoon Hong, John Perry	Corrigendum to "Are Buchberger's criteria necessary for the chain condition?" [J. Symbolic Comput. 42(2007) 717-732].	J. Symb. Comput.	2008	DBLP DOI BibTeX RDF
1	Hoon Hong, John Perry	Are Buchberger's criteria necessary for the chain condition?	J. Symb. Comput.	2007	DBLP DOI BibTeX RDF
1	Andrzej Walendziak	Nontrivial BCK/BCI-algebras do not satisfy the fuzzy ascending chain condition.	Fuzzy Sets and Systems	2007	DBLP DOI BibTeX RDF
1	Denis Gopan, Thomas W. Reps	Guided Static Analysis.	SAS	2007	DBLP DOI BibTeX RDF
1	Lúcia R. Junqueira, Paul Larson, Franklin D. Tall	Compact spaces, elementary submodels, and the countable chain condition.	Ann. Pure Appl. Logic	2006	DBLP DOI BibTeX RDF
1	Alessandro Berarducci, Margarita Otero, Ya'acov Peterzil, Anand Pillay	A descending chain condition for groups definable in o-minimal structures.	Ann. Pure Appl. Logic	2005	DBLP DOI BibTeX RDF
1	Sylvia B. Encheva	On Projective Codes Satisfying the Chain Condition.	SIAM J. Discrete Math.	2005	DBLP DOI BibTeX RDF
1	Manish K. Gupta, Mahesh C. Bhandari, Arbind K. Lal	On Linear Codes over Z2s.	Des. Codes Cryptography	2005	DBLP DOI BibTeX RDF	linear codes over rings, generalized Gray map, simplex code, p-dimension, generalized Hamming weights (GHWs), Lee weight, Reed-Muller code, weight distributions, Gray image
1	Maxim R. Burke, Masaru Kada	Hechler's theorem for the null ideal.	Arch. Math. Log.	2004	DBLP DOI BibTeX RDF	Hechlers theorem, Null set, Localization forcing, Forcing
1	Wende Chen, Torleiv Kløve	Weight hierarchies of linear codes satisfying the almost chain condition.	Science in China Series F: Information Sciences	2003	DBLP DOI BibTeX RDF
1	Teruyuki Yorioka	Forcings with the countable chain condition and the covering number of the Marczewski ideal.	Arch. Math. Log.	2003	DBLP DOI BibTeX RDF
1	Enrique Casanovas	Dividing and chain conditions.	Arch. Math. Log.	2003	DBLP DOI BibTeX RDF	Simple theories, Dividing, Indiscernibles
1	Sylvia B. Encheva, Gérard D. Cohen	Projective codes which satisfy the chain condition.	Appl. Math. Lett.	2000	DBLP DOI BibTeX RDF
1	Luca de Alfaro, Thomas A. Henzinger	Concurrent Omega-Regular Games.	LICS	2000	DBLP DOI BibTeX RDF
1	Sylvia B. Encheva, Gérard D. Cohen	On Linear Projective Codes Which Satisfy the Chain Condition.	Inf. Sci.	1999	DBLP DOI BibTeX RDF
1	Stevo Todorcevic	Countable chain condition in partition calculus.	Discrete Mathematics	1998	DBLP DOI BibTeX RDF
1	Wende Chen, Torleiv Kløve	Weight Hierarchies of Linear Codes Satisfying the Chain Condition.	Des. Codes Cryptography	1998	DBLP DOI BibTeX RDF
1	Torleiv Kløve	On codes satisfying the double chain condition.	Discrete Mathematics	1997	DBLP DOI BibTeX RDF
1	Wende Chen, Torleiv Kløve	Bounds on the Weight Hierarchies of Extremal Non-chain Codes of Dimension 4.	Appl. Algebra Eng. Commun. Comput.	1997	DBLP DOI BibTeX RDF	Weight hierarchy, Support Weight, q -ary code, Chain condition, Difference sequence
1	Sylvia B. Encheva	On binary linear codes which satisfy the two-way chain condition.	IEEE Transactions on Information Theory	1996	DBLP DOI BibTeX RDF
1	Tero Harju, Juhani Karhumäki, Wojciech Plandowski	Compactness of Systems of Equations in Semigroups.	ICALP	1995	DBLP DOI BibTeX RDF
1	Sylvia B. Encheva, Torleiv Kløve	Codes satisfying the chain condition.	IEEE Transactions on Information Theory	1994	DBLP DOI BibTeX RDF
1	Patrick Cousot, Radhia Cousot	Comparing the Galois Connection and Widening/Narrowing Approaches to Abstract Interpretation.	PLILP	1992	DBLP DOI BibTeX RDF