Search results for "surjectivity"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
82	Corrado Böhm, Adolfo Piperno	Surjectivity for Finite Sets of Combinators by Weak Reduction.	CSL	1987	DBLP DOI BibTeX RDF	Pure -calculus, combinatory algebras, surjectivity, discriminability or X-separability in -()-calculus
70	Gaétan Richard	(Un)Decidability of Injectivity and Surjectivity in One-Dimensional Sand Automata.	MFCS	2009	DBLP DOI BibTeX RDF
49	Javier Peña 0001	On the block-structured distance to non-surjectivity of sublinear mappings.	Math. Program.	2005	DBLP DOI BibTeX RDF
33	Larisa Maksimova	Projective Beth Property in Extensions of Grzegorczyk Logic.	Stud Logica	2006	DBLP DOI BibTeX RDF	projective Beth's property, epimorphisms surjectivity, modal logic, decidability, intuitionistic logic
29	Jorge Caravantes, J. Rafael Sendra, David Sevilla, Carlos Villarino	Sufficient conditions for the surjectivity of radical curve parametrizations.	CoRR	2023	DBLP DOI BibTeX RDF
29	Chen Wang 0051, Junchi Ma, Defu Lin, Weilin Chen, Chao Wang 0020	STATE-OF-ART Algorithms for Injectivity and Bounded Surjectivity of One-dimensional Cellular Automata.	CoRR	2023	DBLP DOI BibTeX RDF
29	Rishabh Singh	Bias: Bijective Input And Surjectivity In Zero Shot Learning.	ICIP	2021	DBLP DOI BibTeX RDF
29	Hoi H. Nguyen, Elliot Paquette	Surjectivity of near-square random matrices.	Comb. Probab. Comput.	2020	DBLP DOI BibTeX RDF
29	Tommaso Moraschini, Jamie J. Wannenburg	Epimorphism surjectivity in varieties of Heyting algebras.	Ann. Pure Appl. Log.	2020	DBLP DOI BibTeX RDF
29	Manuel Radons	A note on surjectivity of piecewise affine mappings.	Optim. Lett.	2019	DBLP DOI BibTeX RDF
29	Milen Ivanov, Nadia Zlateva	Surjectivity in Fréchet Spaces.	J. Optim. Theory Appl.	2019	DBLP DOI BibTeX RDF
29	Daewook Kim, Jin-Mun Jeong, Seong Ho Cho	Approximate controllability for semilinear retarded control equations using surjectivity results.	Syst. Control. Lett.	2019	DBLP DOI BibTeX RDF
29	Peng Liu, Shibo Liu	On the Surjectivity of Smooth Maps into Euclidean Spaces and the Fundamental Theorem of Algebra.	Am. Math. Mon.	2018	DBLP DOI BibTeX RDF
29	Silvio Capobianco, Jarkko Kari, Siamak Taati	Post-surjectivity and balancedness of cellular automata over groups.	Discret. Math. Theor. Comput. Sci.	2017	DBLP DOI BibTeX RDF
29	Shubhodip Mondal	Surjectivity of Maps Induced on Matrices by Polynomials and Entire Functions.	Am. Math. Mon.	2017	DBLP BibTeX RDF
29	J. Rafael Sendra, David Sevilla, Carlos Villarino	Some Results on the Surjectivity of Surface Parametrizations.	Computer Algebra and Polynomials	2015	DBLP DOI BibTeX RDF
29	Gábor Kassay, Mihaela Miholca	Existence Results for Variational Inequalities with Surjectivity Consequences Related to Generalized Monotone Operators.	J. Optim. Theory Appl.	2013	DBLP DOI BibTeX RDF
29	Tatiana Bandman, Shelly Garion	Surjectivity and Equidistribution of the Word xayb on PSL(2, q) and SL(2, q).	Int. J. Algebra Comput.	2012	DBLP DOI BibTeX RDF
29	Rodrigo Torres-Avilés, Nicolas Ollinger, Anahí Gajardo	Undecidability of the Surjectivity of the Subshift Associated to a Turing Machine.	RC	2012	DBLP DOI BibTeX RDF
29	In-Sook Kim	A surjectivity result for quasibounded operators.	Appl. Math. Lett.	2009	DBLP DOI BibTeX RDF
29	Dan Levy	Injectivity and surjectivity of Collatz functions.	Discret. Math.	2004	DBLP DOI BibTeX RDF
29	Jarkko Kari	Reversibility and Surjectivity Problems of Cellular Automata.	J. Comput. Syst. Sci.	1994	DBLP DOI BibTeX RDF
29	Bruno Durand 0001	The Surjectivity Problem for 2D Cellular Automata.	J. Comput. Syst. Sci.	1994	DBLP DOI BibTeX RDF
29	Bruno Durand 0001	Undecidability of the Surjectivity Problem for 2D Cellular Automata: A Simplified Proof.	FCT	1993	DBLP DOI BibTeX RDF
29	Akira Maruoka, Masayuki Kimura	Strong Surjectivity is Equivalent to C-Injectivity.	Theor. Comput. Sci.	1982	DBLP DOI BibTeX RDF
29	Akira Maruoka, Masayuki Kimura	Injectivity and Surjectivity of Parallel Maps for Cellular Automata.	J. Comput. Syst. Sci.	1979	DBLP DOI BibTeX RDF
29	Takeo Yaku	Surjectivity of Nondeterministic Parallel Maps Induced by Nondeterministic Cellular Automata.	J. Comput. Syst. Sci.	1976	DBLP DOI BibTeX RDF
29	Eberhard Bertsch	Surjectivity of Functors on Grammars.	Math. Syst. Theory	1976	DBLP DOI BibTeX RDF
29	Serafino Amoroso, Yale N. Patt	Decision Procedures for Surjectivity and Injectivity of Parallel Maps for Tessellation Structures.	J. Comput. Syst. Sci.	1972	DBLP DOI BibTeX RDF
21	Gianpiero Cattaneo, Alberto Dennunzio, Enrico Formenti, Julien Provillard	Non-uniform Cellular Automata.	LATA	2009	DBLP DOI BibTeX RDF
21	Valérie Berthé, Michel Rigo	Odometers on Regular Languages.	Theory Comput. Syst.	2007	DBLP DOI BibTeX RDF
21	Luigi Acerbi, Alberto Dennunzio, Enrico Formenti	Shifting and Lifting of Cellular Automata.	CiE	2007	DBLP DOI BibTeX RDF	topological dynamics, deterministic chaos, cellular automata, discrete time dynamical systems
21	Willem J. Blok, Eva Hoogland	The Beth Property in Algebraic Logic.	Stud Logica	2006	DBLP DOI BibTeX RDF	equivalential logics, Beth definability property, epimorphisms, algebraizable logics, Abstract algebraic logic
21	Hidenosuke Nishio	How Does the Neighborhood Affect the Global Behavior of Cellular Automata?	ACRI	2006	DBLP DOI BibTeX RDF
21	Julien Cervelle, Enrico Formenti, Benoît Masson	Basic Properties for Sand Automata.	MFCS	2005	DBLP DOI BibTeX RDF	sand automata, ultimate periodicity, undecidability, reversibility
21	Jarkko Kari	Reversible Cellular Automata.	Developments in Language Theory	2005	DBLP DOI BibTeX RDF
21	Peter Dybjer, Qiao Haiyan, Makoto Takeyama	Combining Testing and Proving in Dependent Type Theory.	TPHOLs	2003	DBLP DOI BibTeX RDF
21	Laurent Chicli, Loic Pottier, Carlos Simpson	Mathematical Quotients and Quotient Types in Coq.	TYPES	2002	DBLP DOI BibTeX RDF
21	Piotr Dembinski, Wojciech Penczek, Agata Pólrola	Automated Verification of Infinite State Concurrent Systems.	PPAM	2001	DBLP DOI BibTeX RDF
21	Fabio Fagnani, Luciano Margara	Expansivity, Permutivity, and Chaos for Cellular Automata.	Theory Comput. Syst.	1998	DBLP DOI BibTeX RDF
21	Don Coppersmith, David A. Wagner 0001, Bruce Schneier, John Kelsey	Cryptanalysis of TWOPRIME.	FSE	1998	DBLP DOI BibTeX RDF
21	Daniel J. Dougherty	Some Lambda Calculi with Categorial Sums and Products.	RTA	1993	DBLP DOI BibTeX RDF