Search results for "divisibility"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
20	Harold N. Ward	Divisibility of Codes Meeting the Griesmer Bound.	J. Comb. Theory, Ser. A	1998	DBLP DOI BibTeX RDF
20	Eli Biham, Amichai Shulman	User-Defined Divisibility of Ecash and a Practical Implementation.	CARDIS	1998	DBLP DOI BibTeX RDF
20	Lior Pachter	Combinatorial Approaches and Conjectures for 2-Divisibility Problems Concerning Domino Tilings of Polyominoes.	Electron. J. Comb.	1997	DBLP DOI BibTeX RDF
20	Reijo Ernvall, Tauno Metsänkylä	On the p-divisibility of Fermat quotients.	Math. Comput.	1997	DBLP DOI BibTeX RDF
20	Ryu Hasegawa	An Analysis of Divisibility Orderings and Recursive Path Orderings.	ASIAN	1997	DBLP DOI BibTeX RDF
20	Patrick Cégielski, Yuri V. Matiyasevich, Denis Richard	Definability and Decidability Issues in Extensions of the Integers with the Divisibility Predicate.	J. Symb. Log.	1996	DBLP DOI BibTeX RDF
20	Simon Litsyn, Oscar Moreno, Carlos J. Moreno	Divisibility Properties and New Bounds for Cyclic Codes and Exponential Sums in One and Several Variables.	Appl. Algebra Eng. Commun. Comput.	1994	DBLP DOI BibTeX RDF
20	Mohamed M. El-Zahar, Norbert Sauer	On the Divisibility of Homogeneous Hypergraphs.	Comb.	1994	DBLP DOI BibTeX RDF
20	Marko Razpet	On divisibility of binomial coefficients.	Discret. Math.	1994	DBLP DOI BibTeX RDF
20	Linda Valdes	On the divisibility of the cycle number by 7.	Discret. Math.	1993	DBLP DOI BibTeX RDF
20	Harold N. Ward	Weight polarization and divisibility.	Discret. Math.	1990	DBLP DOI BibTeX RDF
20	Marta Sved	Fractals, recursions, divisibility.	Australas. J Comb.	1990	DBLP BibTeX RDF
20	Denis Richard	Answer to a Problem Raised by J. Robinson: the Arithmetic of Positive or Negative Integers is Definable From Successor and Divisibility.	J. Symb. Log.	1985	DBLP DOI BibTeX RDF
20	David A. Plaisted	Complete Divisibility Problems for Slowly Utilized Oracles.	Theor. Comput. Sci.	1985	DBLP DOI BibTeX RDF
20	David A. Plaisted	New NP-Hard and NP-Complete Polynomial and Integer Divisibility Problems.	Theor. Comput. Sci.	1984	DBLP DOI BibTeX RDF
20	David A. Plaisted	Some Polynomial and Integer Divisibility problems are NP-Hard.	SIAM J. Comput.	1978	DBLP DOI BibTeX RDF
20	Frank Harary, Robert W. Robinson, Nicholas C. Wormald	The divisibility theorem for isomorphic factorizations of complete graphs.	J. Graph Theory	1977	DBLP DOI BibTeX RDF
20	David A. Plaisted	New NP-Hard and NP-Complete Polynomial and Integer Divisibility Problems	FOCS	1977	DBLP DOI BibTeX RDF
20	David A. Plaisted	Some Polynomial and Integer Divisibility Problems Are NP-Hard	FOCS	1976	DBLP DOI BibTeX RDF
20	Ronald Alter, K. K. Kubota	Prime and Prime Power Divisibility of Catalan Numbers.	J. Comb. Theory, Ser. A	1973	DBLP DOI BibTeX RDF
16	Michal Botur, Ivan Chajda, Radomír Halas	Are basic algebras residuated structures?	Soft Comput.	2010	DBLP DOI BibTeX RDF	Basic algebra, Commutative basic algebra, Residuated groupoid, Skew adjointness property, Residuated lattice
16	Christoph Haase, Stephan Kreutzer, Joël Ouaknine, James Worrell 0001	Reachability in Succinct and Parametric One-Counter Automata.	CONCUR	2009	DBLP DOI BibTeX RDF
16	Stefano Aguzzoli, Simone Bova, Vincenzo Marra	Applications of Finite Duality to Locally Finite Varieties of BL-Algebras.	LFCS	2009	DBLP DOI BibTeX RDF	prime filters, free BL-algebras, subvarieties of BL-algebras, locally finite varieties, dualities, BL-algebras
16	Michel Lavrauw, Leo Storme, Geertrui Van de Voorde	On the code generated by the incidence matrix of points and hyperplanes in PG(n, q) and its dual.	Des. Codes Cryptogr.	2008	DBLP DOI BibTeX RDF	94B05, AMS Classifications 05B25, 51E21
16	Jan Camenisch, Thomas Groß 0001	Efficient attributes for anonymous credentials.	CCS	2008	DBLP DOI BibTeX RDF	efficient attribute encoding, privacy, cryptographic protocols, anonymous credential systems
16	Himanshu Jain, Edmund M. Clarke, Orna Grumberg	Efficient Craig Interpolation for Linear Diophantine (Dis)Equations and Linear Modular Equations.	CAV	2008	DBLP DOI BibTeX RDF
16	Petr Lisonek	On the Connection between Kloosterman Sums and Elliptic Curves.	SETA	2008	DBLP DOI BibTeX RDF	Kloosterman sum, finite field, elliptic curve
16	Jan A. Bergstra, John V. Tucker	The rational numbers as an abstract data type.	J. ACM	2007	DBLP DOI BibTeX RDF	division-by-zero, meadow, total versus partial functions, abstract data types, algebraic specification, computable algebras, field, equations, Rational numbers, initial algebra
16	Sergey P. Tarasov, Mikhail N. Vyalyi	An Efficient Algorithm for Zero-Testing of a Lacunary Polynomial at the Roots of Unity.	CSR	2007	DBLP DOI BibTeX RDF	algorithm, sparse representation, root of unity, cyclotomic polynomial
16	John Harrison 0001	Automating Elementary Number-Theoretic Proofs Using Gröbner Bases.	CADE	2007	DBLP DOI BibTeX RDF
16	Yong-Hyuk Moon, Jaehoon Nah, Jong-Soo Jang, Chan-Hyun Youn	An Optimized Time-constraint Job Distribution Scheme in Group based P2P Networks.	SERA	2007	DBLP DOI BibTeX RDF
16	Brendan D. McKay, Jeanette C. McLeod, Ian M. Wanless	The number of transversals in a Latin square.	Des. Codes Cryptogr.	2006	DBLP DOI BibTeX RDF	AMS Classification 05B15
16	Xiaoyu Liu	Weights Modulo a Prime Power in Divisible Codes and a Related Bound.	IEEE Trans. Inf. Theory	2006	DBLP DOI BibTeX RDF
16	Phil Martin, Mark Watkins	Symmetric Powers of Elliptic Curve L-Functions.	ANTS	2006	DBLP DOI BibTeX RDF
16	Francesc Esteva, Lluís Godo	Towards the Generalization of Mundici's Gamma Functor to IMTL Algebras: The Linearly Ordered Case.	Algebraic and Proof-theoretic Aspects of Non-classical Logics	2006	DBLP DOI BibTeX RDF
16	Francis N. Castro, Ernesto Gomez, Oscar Moreno	A Class of Fermat Curves for which Weil-Serre's Bound Can Be Improved.	AAECC	2006	DBLP DOI BibTeX RDF
16	Gang Wu, Kuo Zhang, Can Liu, Juan-Zi Li	Adapting Prime Number Labeling Scheme for Directed Acyclic Graphs.	DASFAA	2006	DBLP DOI BibTeX RDF
16	Yves Aubry, Philippe Langevin	On the Weights of Binary Irreducible Cyclic Codes.	WCC	2005	DBLP DOI BibTeX RDF
16	Udayan Khurana, Anirudh Koul	Using Patterns to Generate Prime Numbers.	ICAPR (1)	2005	DBLP DOI BibTeX RDF
16	Marcin Mostowski, Konrad Zdanowski	Coprimality in Finite Models.	CSL	2005	DBLP DOI BibTeX RDF
16	Frank Calegari, William A. Stein	Conjectures about Discriminants of Hecke Algebras of Prime Level.	ANTS	2004	DBLP DOI BibTeX RDF
16	Zongkai Yang, Weimin Lang, Yunmeng Tan	A New Fair Micropayment System Based on Hash Chain.	EEE	2004	DBLP DOI BibTeX RDF
16	Sándor Jenei	On the structure of rotation-invariant semigroups.	Arch. Math. Log.	2003	DBLP DOI BibTeX RDF
16	Oscar Moreno, Francis N. Castro	On the Covering Radius of Certain Cyclic Codes.	AAECC	2003	DBLP DOI BibTeX RDF
16	Alwyn Goh, Wai Kuan Yip, David Ngo Chek Ling	Flexibly Configurable and Computation-Efficient Digital Cash with Polynomial-Thresholded Coinage.	Communications and Multimedia Security	2003	DBLP DOI BibTeX RDF
16	John L. Goldwasser, William Klostermeyer, Henry Ware	Fibonacci Polynomials and Parity Domination in Grid Graphs.	Graphs Comb.	2002	DBLP DOI BibTeX RDF
16	Pascale Charpin, Enes Pasalic	On Propagation Characteristics of Resilient Functions.	Selected Areas in Cryptography	2002	DBLP DOI BibTeX RDF
16	Ming Zhong, Yunbo Feng, Yixian Yang	Single-Term Divisible Electronic Cash Based on Bit Commitment.	ISCC	2000	DBLP DOI BibTeX RDF	one-time knowledge proof, blind signature, electronic cash, bit commitment
16	Tatsuaki Okamoto, Moti Yung	Lower Bounds on Term-Based Divisible Cash Systems.	Public Key Cryptography	1998	DBLP DOI BibTeX RDF
16	Agnes Hui Chan, Yair Frankel, Yiannis Tsiounis	Easy Come - Easy Go Divisible Cash.	EUROCRYPT	1998	DBLP DOI BibTeX RDF
16	Rolf Niedermeier	Recursively Divisible Problems.	ISAAC	1996	DBLP DOI BibTeX RDF
16	Osamu Watanabe 0001, Osamu Yamashita	An Improvement of the Digital Cash Protocol of Okamoto and Ohta.	ISAAC	1996	DBLP DOI BibTeX RDF
16	Tatsuaki Okamoto	An Efficient Divisible Electronic Cash Scheme.	CRYPTO	1995	DBLP DOI BibTeX RDF
16	Felix Ulmer, Jacques Calmet	On Liouvillian Solutions of Homogeneous Linear Differential Equations.	ISSAC	1990	DBLP DOI BibTeX RDF