Search results for "Finiteness"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
136	Inderpal Singh Mumick, Oded Shmueli	Universal Finiteness and Satisfiability.	PODS	1994	DBLP DOI BibTeX RDF	SQL, Datalog
110	Michael Kifer	On the Decidability and Axiomatization of Query Finiteness in Deductive Databases.	J. ACM	1998	DBLP DOI BibTeX RDF	finite queries, finiteness constraints, horizontal decompositions, partial constraints, query processing, computability, axiomatization
72	Robert A. Wagner	Finiteness assumptions and intellectual isolation of computer scientists.	Commun. ACM	1970	DBLP DOI BibTeX RDF	Algol vs. Fortran, finite word size, finiteness assumptions, integer variable range, intellectual isolation, memory finiteness
59	Jeroen Van Velthoven, Benny Van Houdt, Chris Blondia	The Impact of Buffer Finiteness on the Loss Rate in a Priority Queueing System.	EPEW	2006	DBLP DOI BibTeX RDF	Buffer finiteness, priority queues, generating functions, matrix analytic methods, loss rate
58	Bruno Salvy	D-finiteness: algorithms and applications.	ISSAC	2005	DBLP DOI BibTeX RDF	creative telescoping, computer algebra, linear recurrences, elimination, linear differential equations
46	Thomas Ehrhard	A Finiteness Structure on Resource Terms.	LICS	2010	DBLP DOI BibTeX RDF	finiteness spaces, algebraic system F, linear logic, lambda-calculus, reducibility, denotational semantics
45	Nicoletta De Francesco, Paola Inverardi	A Semantic Driven Method to Check the Finiteness of CCS Processes.	CAV	1991	DBLP DOI BibTeX RDF
39	Raul Hakli, Matti Nykänen, Hellis Tamm	Adding String Processing Capabilities to Data Management Systems.	SPIRE	2000	DBLP DOI BibTeX RDF	string theory, string processing capabilities, string-oriented application areas, string processing method, string handling, Alignment Declaration language, string relations, finiteness analysis, database management system, query evaluation, information retrieval systems, data management systems, computational molecular biology
39	Emmanuel Kounalis	Pumping Lemmas for Tree Languages Generated by Rewrite Systems.	MFCS	1990	DBLP DOI BibTeX RDF	Ground normal forms, Finiteness, Language representation, Compiling pattern-matching, Rewrite systems, Equations, Learning from examples, Finite models, Pumping Lemmas, Negation as failure, Proof by induction, Context-sensitive languages
39	Christine Tasson	Algebraic Totality, towards Completeness.	TLCA	2009	DBLP DOI BibTeX RDF
39	Roberto Bagnara, Enea Zaffanella, Roberta Gori, Patricia M. Hill	Boolean Functions for Finite-Tree Dependencies.	LPAR	2001	DBLP DOI BibTeX RDF
39	Laks V. S. Lakshmanan, Daniel A. Nonen	Superfiniteness of Query Answers in Deductive Databases: An Automata-Theoretic Approach.	FSTTCS	1992	DBLP DOI BibTeX RDF
39	Yehoshua Sagiv, Moshe Y. Vardi	Safety of Datalog Queries over Infinite Databases.	PODS	1989	DBLP DOI BibTeX RDF	Datalog
33		Finiteness.	Encyclopedia of Database Systems	2009	DBLP DOI BibTeX RDF
33	Matthias Aschenbrenner, Raymond Hemmecke	Finiteness Theorems in Stochastic Integer Programming.	Found. Comput. Math.	2007	DBLP DOI BibTeX RDF
33	Maria João Ferreira, Jorge Picado	On Point-finiteness in Pointfree Topology.	Appl. Categorical Struct.	2007	DBLP DOI BibTeX RDF	Mathematics Subject Classifications (2000) 06D22, 06A23, 54C30
33	Iddo Eliazar	The M/G/infinity system revisited: finiteness, summability, long range dependence, and reverse engineering.	Queueing Syst. Theory Appl.	2007	DBLP DOI BibTeX RDF	M/G/? systems, Infinite arrival rates, Lévy inflows, Workload processes, Long Range Dependence (LRD), Reverse engineering, Poisson point processes
33	Aleksey Zobnin	Admissible orderings and finiteness criteria for differential standard bases.	ISSAC	2005	DBLP DOI BibTeX RDF	Gröbner bases, admissible orderings, differential algebra
33	Bianca Truthe	A Method for Deciding the Finiteness of Deterministic Tabled Picture Languages.	Developments in Language Theory	2004	DBLP DOI BibTeX RDF
33	Chin Soon Lee	Finiteness Analysis in Polynomial Time.	SAS	2002	DBLP DOI BibTeX RDF
33	Patrik Nordbeck	On the Finiteness of Gröbner Bases Computation in Quotients of the Free Algebra.	Appl. Algebra Eng. Commun. Comput.	2001	DBLP DOI BibTeX RDF	Non-commutative algebras, Gröbner bases, Dickson's lemma, Noetherianity, Syzygies
33	Philippe Balbiani	The Finiteness of Logic Programming Derivations.	ALP	1992	DBLP DOI BibTeX RDF
33	Eric Madelaine, Didier Vergamini	Finiteness Conditions and Structural Construction of Automata for All Process Algebras.	CAV	1990	DBLP DOI BibTeX RDF
26	Daryl J. Daley, Robert D. Foley, Tomasz Rolski	Conditions for finite moments of waiting times inG/G/1 queues.	Queueing Syst. Theory Appl.	1994	DBLP DOI BibTeX RDF	convergence rates for strong law of large numbers, finiteness of moments, waiting times, G/G/1 queue
26	Wojciech Plandowski	An efficient algorithm for solving word equations.	STOC	2006	DBLP DOI BibTeX RDF	word equations
26	Evelyne Contejean, Antoine Coste, Benjamin Monate	Rewriting Techniques in Theoretical Physics.	RTA	2000	DBLP DOI BibTeX RDF
26	Olaf Burkart, Didier Caucal, Bernhard Steffen	Bisimulation Collapse and the Process Taxonomy.	CONCUR	1996	DBLP DOI BibTeX RDF
26	Shai Ben-David, Nicolò Cesa-Bianchi, Philip M. Long	Characterizations of Learnability for Classes of {O, ..., n}-Valued Functions.	COLT	1992	DBLP DOI BibTeX RDF
26	Véronique Bruyère	On Maximal Prefix Sets of Words.	MFCS	1988	DBLP DOI BibTeX RDF
26	Petr Hájek 0001	Making Dynamic Logic First-Order.	MFCS	1981	DBLP DOI BibTeX RDF
20	Melvin Adekanye, Christopher Bury, Ben Cameron, Thaler Knodel	On the finiteness of k-vertex-critical 2P2-free graphs with forbidden induced squids or bulls.	CoRR	2024	DBLP DOI BibTeX RDF
20	Yunfei Zhu, Haiyan Guan	A finiteness theorem of block-transitive point-imprimitive 3-designs.	Discret. Math.	2024	DBLP DOI BibTeX RDF
20	Ke-Ming Chang, Kuo-Chang Chen	Toward finiteness of central configurations for the planar six-body problem by symbolic computations. (I) Determine diagrams and orders.	J. Symb. Comput.	2024	DBLP DOI BibTeX RDF
20	Matthias C. Caro	From undecidability of non-triviality and finiteness to undecidability of learnability.	Int. J. Approx. Reason.	2023	DBLP DOI BibTeX RDF
20	Yiyang Deng, Marshall Hampton	Finiteness of Spatial Central Configurations with Fixed Subconfigurations.	SIAM J. Appl. Algebra Geom.	2023	DBLP DOI BibTeX RDF
20	Shiva Eshaghi, Mohammad Saleh Tavazoei	Finiteness conditions for performance indices in generalized fractional-order systems defined based on the regularized Prabhakar derivative.	Commun. Nonlinear Sci. Numer. Simul.	2023	DBLP DOI BibTeX RDF
20	Eric J. Hall, Kyriakos Keremedis	Independent families and some notions of finiteness.	Arch. Math. Log.	2023	DBLP DOI BibTeX RDF
20	Saeed Yazdani, Jafar A'zami, Yasin Sadegh	Indecomposability of top local cohomology modules and Falting's finiteness dimension of modules.	Period. Math. Hung.	2023	DBLP DOI BibTeX RDF
20	Stefan Göller, Pawel Parys	Weak Bisimulation Finiteness of Pushdown Systems With Deterministic ε-Transitions Is 2-EXPTIME-Complete.	SODA	2023	DBLP DOI BibTeX RDF
20	Marco A. Gómez, Raphaël M. Jungers, Wim Michiels	On the Strong $\mathcal {H}_2$ Norm of Differential Algebraic Systems With Multiple Delays: Finiteness Criteria, Regularization, and Computation.	IEEE Trans. Autom. Control.	2022	DBLP DOI BibTeX RDF
20	Sébastien M. Mattenet, Vittorio De Iuliis, Marco A. Gómez, Wim Michiels, Raphaël M. Jungers	An improved finiteness test and a systematic procedure to compute the strong ℋ2 norm of differential algebraic systems with multiple delays.	Autom.	2022	DBLP DOI BibTeX RDF
20	Erwan Lanneau, Martin Möller	Non-Existence and Finiteness Results for Teichmüller Curves in Prym Loci.	Exp. Math.	2022	DBLP DOI BibTeX RDF
20	Xuan Kien Phung	Stable finiteness of twisted group rings and noisy linear cellular automata.	CoRR	2022	DBLP DOI BibTeX RDF
20	Abhisekh Sankaran	Pseudo-finiteness of arbitrary graphs of bounded shrub-depth.	CoRR	2022	DBLP BibTeX RDF
20	Will Johnson	A criterion for uniform finiteness in the imaginary sorts.	Arch. Math. Log.	2022	DBLP DOI BibTeX RDF
20	Alain Finkel, Serge Haddad, Igor Khmelnitsky	Coverability, Termination, and Finiteness in Recursive Petri Nets.	Fundam. Informaticae	2021	DBLP DOI BibTeX RDF
20	Ievgen V. Bondarenko, Jan Philipp Wächter	On orbits and the finiteness of bounded automaton groups.	Int. J. Algebra Comput.	2021	DBLP DOI BibTeX RDF
20	Mohammad Amin Sarafrazi, Ewa Pawluszewicz, Zbigniew Bartosiewicz, Ülle Kotta	On the finiteness of accessibility test for nonlinear discrete-time systems.	Int. J. Control	2021	DBLP DOI BibTeX RDF
20	Michael Vogelius, Jingni Xiao	Finiteness Results Concerning Nonscattering Wave Numbers for Incident Plane and Herglotz Waves.	SIAM J. Math. Anal.	2021	DBLP DOI BibTeX RDF
20	Federico Castillo, José Alejandro Samper	Finiteness theorems for matroid complexes with prescribed topology.	Eur. J. Comb.	2021	DBLP DOI BibTeX RDF
20	Larbi Alili, David Woodford	On the finiteness and tails of perpetuities under a Lamperti-Kiu MAP.	J. Appl. Probab.	2021	DBLP DOI BibTeX RDF
20	Franco Blanchini, Carlos Andrés Devia, Giulia Giordano	Structural polyhedral stability of a biochemical network is equivalent to finiteness of the associated generalised Petri net.	CoRR	2021	DBLP BibTeX RDF
20	Xuan Kien Phung	A geometric generalization of Kaplansky's direct finiteness conjecture.	CoRR	2021	DBLP BibTeX RDF
20	Alain Finkel, Serge Haddad, Igor Khmelnitsky	Coverability, Termination, and Finiteness in Recursive Petri Nets.	CoRR	2021	DBLP BibTeX RDF
20	Eric Hayden Campbell, Michael Greenberg 0002	Injecting Finiteness to Prove Completeness for Finite Linear Temporal Logic.	CoRR	2021	DBLP BibTeX RDF
20	Alexander Stasinski	A Uniform Proof of the Finiteness of the Class Group of a Global Field.	Am. Math. Mon.	2021	DBLP DOI BibTeX RDF
20	Joshua Brot, Mengyang Cao, David J. Fernández-Bretón	Finiteness classes arising from Ramsey-theoretic statements in set theory without choice.	Ann. Pure Appl. Log.	2021	DBLP DOI BibTeX RDF
20	Cristian Marius Litan, Francisco Marhuenda, Peter Sudhölter	Generic finiteness of equilibrium distributions for bimatrix outcome game forms.	Ann. Oper. Res.	2020	DBLP DOI BibTeX RDF
20	Sebastian Koch	Refined Finiteness and Degree Properties in Graphs.	Formaliz. Math.	2020	DBLP DOI BibTeX RDF
20	Petr Jancar	Deciding semantic finiteness of pushdown processes and first-order grammars w.r.t. bisimulation equivalence.	J. Comput. Syst. Sci.	2020	DBLP DOI BibTeX RDF
20	Stefan Göller, Pawel Parys	Bisimulation Finiteness of Pushdown Systems Is Elementary.	CoRR	2020	DBLP BibTeX RDF
20	Manolis C. Tsakiris	Finiteness of fibers in matrix completion via Plücker coordinates.	CoRR	2020	DBLP BibTeX RDF
20	Giovanni Panti, Davide Sclosa	The finiteness conjecture holds in SL(2, Z>=0)^2.	CoRR	2020	DBLP BibTeX RDF
20	Manolis C. Tsakiris	An exposition to the finiteness of fibers in matrix completion via Plücker coordinates.	CoRR	2020	DBLP BibTeX RDF
20	Nadir Murru, Lea Terracini	On the finiteness and periodicity of the p-adic Jacobi-Perron algorithm.	Math. Comput.	2020	DBLP DOI BibTeX RDF
20	Stefan Göller, Pawel Parys	Bisimulation Finiteness of Pushdown Systems Is Elementary.	LICS	2020	DBLP DOI BibTeX RDF
20	José Espírito Santo, Ralph Matthes, Luís Pinto 0001	Decidability of Several Concepts of Finiteness for Simple Types.	Fundam. Informaticae	2019	DBLP DOI BibTeX RDF
20	Petr Jancar, Jérôme Leroux, Grégoire Sutre	Co-Finiteness and Co-Emptiness of Reachability Sets in Vector Addition Systems with States.	Fundam. Informaticae	2019	DBLP DOI BibTeX RDF
20	Jules Chouquet	Taylor Expansion, Finiteness and Strategies.	MFPS	2019	DBLP DOI BibTeX RDF
20	Attila Pethö, Jörg M. Thuswaldner, Mario Weitzer	The Finiteness Property for Shift Radix Systems With General Parameters.	Integers	2019	DBLP BibTeX RDF
20	Mohammad Amin Sarafrazi, Ewa Pawluszewicz, Zbigniew Bartosiewicz, Ülle Kotta	On the finiteness of accessibility test for nonlinear discrete-time systems.	CoRR	2019	DBLP BibTeX RDF
20	Ievgen V. Bondarenko, Jan Philipp Wächter	On Orbits and the Finiteness of Bounded Automaton Groups.	CoRR	2019	DBLP BibTeX RDF
20	Thomas A. Courtade, Jingbo Liu	Euclidean Forward-Reverse Brascamp-Lieb Inequalities: Finiteness, Structure and Extremals.	CoRR	2019	DBLP BibTeX RDF
20	Alberto Dennunzio, Enrico Formenti, Darij Grinberg, Luciano Margara	Integrality of matrices, finiteness of matrix semigroups, and dynamics of linear cellular automata.	CoRR	2019	DBLP BibTeX RDF
20	Stefan Papadima, Alexander I. Suciu	Infinitesimal finiteness obstructions.	J. Lond. Math. Soc.	2019	DBLP DOI BibTeX RDF
20	Richard Blute, J. Robin B. Cockett, Pierre-Alain Jacqmin, Philip J. Scott	Finiteness Spaces and Generalized Power Series.	MFPS	2018	DBLP DOI BibTeX RDF
20	Adrienn Csizmadia, Zsolt Csizmadia, Tibor Illés	Finiteness of the quadratic primal simplex method when s-monotone index selection rules are applied.	Central Eur. J. Oper. Res.	2018	DBLP DOI BibTeX RDF
20	Christine Tasson, Lionel Vaux	Transport of finiteness structures and applications.	Math. Struct. Comput. Sci.	2018	DBLP DOI BibTeX RDF
20	Petr Jancar, Jérôme Leroux, Grégoire Sutre	Co-finiteness and Co-emptiness of Reachability Sets in Vector Addition Systems with States.	Petri Nets	2018	DBLP DOI BibTeX RDF
20	Daniele D'Angeli, Emanuele Rodaro, Jan Philipp Wächter	Automaton Semigroups and Groups: on the Undecidability of Problems Related to Freeness and Finiteness.	CoRR	2017	DBLP BibTeX RDF
20	Sukumar Das Adhikari, Luis Boza, Shalom Eliahou, Juan Manuel Marín, M. P. Revuelta, María Isabel Sanz Domínguez	On the finiteness of some n-color Rado numbers.	Discret. Math.	2017	DBLP DOI BibTeX RDF
20	Tarmo Uustalu, Niccolò Veltri	Finiteness and rational sequences, constructively.	J. Funct. Program.	2017	DBLP DOI BibTeX RDF
20	A. K. Das 0001, R. Jana, Deepmala	Finiteness of Criss-Cross Method in Complementarity Problem.	ICMC	2017	DBLP DOI BibTeX RDF
20	Martin Delacourt, Nicolas Ollinger	Permutive One-Way Cellular Automata and the Finiteness Problem for Automaton Groups.	CiE	2017	DBLP DOI BibTeX RDF
20	Yilun Wu	Simplicity and Finiteness of Discrete Spectrum of the Benjamin-Ono Scattering Operator.	SIAM J. Math. Anal.	2016	DBLP DOI BibTeX RDF
20	Kyriakos Keremedis	Non-discrete metrics in and some notions of finiteness.	Math. Log. Q.	2016	DBLP DOI BibTeX RDF
20	Horst Herrlich, Paul E. Howard, Eleftherios Tachtsis	Finiteness Classes and Small Violations of Choice.	Notre Dame J. Formal Log.	2016	DBLP DOI BibTeX RDF
20	Michele Pagani, Christine Tasson, Lionel Vaux	Strong Normalizability as a Finiteness Structure via the Taylor Expansion of λ-terms.	CoRR	2016	DBLP BibTeX RDF
20	Siegfried Gottwald	Local finiteness in t-norm bimonoids: Overlap cases.	Fuzzy Sets Syst.	2016	DBLP DOI BibTeX RDF
20	Jihad Fahs, Ibrahim C. Abou-Faycal	On the Finiteness of the Capacity of Continuous Channels.	IEEE Trans. Commun.	2016	DBLP DOI BibTeX RDF
20	Christopher J. Hillar, Abraham Martín del Campo	Corrigendum to "Finiteness theorems and algorithms for permutation invariant chains of Laurent lattice ideals" [J. Symb. Comput. 50(March 2013) 314-334].	J. Symb. Comput.	2016	DBLP DOI BibTeX RDF
20	Ian Kiming, Nadim Rustom, Gabor Wiese	On certain finiteness questions in the arithmetic of modular forms.	J. Lond. Math. Soc.	2016	DBLP DOI BibTeX RDF
20	Michele Pagani, Christine Tasson, Lionel Vaux	Strong Normalizability as a Finiteness Structure via the Taylor Expansion of \lambda λ -terms.	FoSSaCS	2016	DBLP DOI BibTeX RDF
20	Petr Jancar	Deciding Semantic Finiteness of Pushdown Processes and First-Order Grammars w.r.t. Bisimulation Equivalence.	MFCS	2016	DBLP DOI BibTeX RDF
20	Marc Bezem, Thierry Coquand, Keiko Nakata 0001, Erik Parmann	Realizability at Work: Separating Two Constructive Notions of Finiteness.	TYPES	2016	DBLP DOI BibTeX RDF
20	Sebastian Rudolph	The Curse of Finiteness: Undecidability of Database-Inspired Reasoning Problems in Very Expressive Description Logics.	Description Logics	2016	DBLP BibTeX RDF
20	Florian Lehner, Rögnvaldur G. Möller	Local Finiteness, Distinguishing Numbers, and Tucker's Conjecture.	Electron. J. Comb.	2015	DBLP DOI BibTeX RDF
20	Frédérique Bassino, Mathilde Bouvel, Adeline Pierrot, Dominique Rossin	An algorithm for deciding the finiteness of the number of simple permutations in permutation classes.	Adv. Appl. Math.	2015	DBLP DOI BibTeX RDF
20	Ken Dykema, Timo Heister, Kate Juschenko	Finitely Presented Groups Related to Kaplansky's Direct Finiteness Conjecture.	Exp. Math.	2015	DBLP DOI BibTeX RDF
20	Edward Hermann Haeusler	Finiteness and Computation in Toposes.	DCM	2015	DBLP DOI BibTeX RDF