Search results for "inequations"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
124	Chilukuri K. Mohan, Mandayam K. Srivas, Deepak Kapur	Reasoning in Systems of Equations and Inequations.	FSTTCS	1987	DBLP DOI BibTeX RDF
65	Prateek Mishra, Uday S. Reddy	Declaration-Free Type Checking.	POPL	1985	DBLP DOI BibTeX RDF	equational languages, regular trees, solving inequations, type inference
48	Philippe Toffin, Marc Girault, Brigitte Vallée	How to Guess l-th Roots Modulo n by Reducing Lattice Bases.	AAECC	1988	DBLP DOI BibTeX RDF
48	H. Azzoune	Type Inference in Prolog.	CADE	1988	DBLP DOI BibTeX RDF	Prolog, Type, Type Inference
44	Emmanuel Briand	Equations, inequations and inequalities characterizing the configurations of two real projective conics.	Appl. Algebra Eng. Commun. Comput.	2007	DBLP DOI BibTeX RDF	Arrangements of conics, Rigid isotopy, Relative position of two conics, Classical invariant theory
44	Guillaume Moroz	Complexity of the resolution of parametric systems of polynomial equations and inequations.	ISSAC	2006	DBLP DOI BibTeX RDF	discriminant variety, parametric polynomial system, complexity, elimination
44	Yahia Lebbah, Michel Rueher, Claude Michel	A Global Filtering Algorithm for Handling Systems of Quadratic Equations and Inequations.	CP	2002	DBLP DOI BibTeX RDF
44	Habib Abdulrab, Marianne Maksimenko	General Solution of Systems of Linear Diophantine Equations and Inequations.	RTA	1995	DBLP DOI BibTeX RDF
33	Wray L. Buntine, Hans-Jürgen Bürckert	On Solving Equations and Disequations.	J. ACM	1994	DBLP DOI BibTeX RDF	E-disunification, E-unification equational theory, definite clause, solving equations and disequations, logic programming, inequations
32	Valerio Senni, Alberto Pettorossi, Maurizio Proietti	A Folding Algorithm for Eliminating Existential Variables from Constraint Logic Programs.	ICLP	2008	DBLP DOI BibTeX RDF
32	Michel X. Goemans	Using Complex Semidefinite Programming for Approximating MAX E2-LIN3.	RANDOM-APPROX	2001	DBLP DOI BibTeX RDF
32	Michel X. Goemans, David P. Williamson	Approximation algorithms for MAX-3-CUT and other problems via complex semidefinite programming.	STOC	2001	DBLP DOI BibTeX RDF
32	Stephen L. Bloom, Zoltán Ésik	Nonfinite Axiomatizability of Shuffle Inequalities.	TAPSOFT	1995	DBLP DOI BibTeX RDF
32	Philippe Codognet	Equations, Disequations and Unsolvable Subsets (abstract).	ISSAC	1990	DBLP DOI BibTeX RDF
28	Djaouida Guettal, Mohamed Rahal	Global optimisation procedures for solving systems of Hölder equations-inequations.	Int. J. Comput. Sci. Math.	2023	DBLP DOI BibTeX RDF
28	Ivana Micic, Zorana Jancic, Stefan Stanimirovic	Computation of Solutions to Certain Nonlinear Systems of Fuzzy Relation Inequations.	CAI	2022	DBLP DOI BibTeX RDF
28	Vanja Stepanovic	Fuzzy set inequations and equations with a meet-continuous codomain lattice.	J. Intell. Fuzzy Syst.	2018	DBLP DOI BibTeX RDF
28	Kai Zuo, Xueping Wang 0001, Xiaohong Zhang 0001	Solutions of fuzzy correspondence inequations with sup-conjunctor composition.	IFSA-SCIS	2017	DBLP DOI BibTeX RDF
28	Ulfeta Marovac	Systems of k Boolean Inequations.	J. Multiple Valued Log. Soft Comput.	2015	DBLP BibTeX RDF
28	Dragic Bankov, Ulfeta Marovac	System of Two Boolean Inequations.	J. Multiple Valued Log. Soft Comput.	2015	DBLP BibTeX RDF
28	Jorge Jiménez Meana, Susana Montes, Branimir Seselja, Andreja Tepavcevic	Fuzzy correspondence inequations and equations.	Fuzzy Sets Syst.	2014	DBLP DOI BibTeX RDF
28	Dragic Bankovic	Post Inequations.	J. Multiple Valued Log. Soft Comput.	2013	DBLP BibTeX RDF
28	Farhad Shirani Chaharsooghi, Mohammad Javad Emadi, Mahdi Zamanighomi, Mohammad Reza Aref	A New Method for Variable Elimination in Systems of Inequations	CoRR	2011	DBLP BibTeX RDF
28	Farhad Shirani Chaharsooghi, Mohammad Javad Emadi, Mahdi Zamanighomi, Mohammad Reza Aref	A new method for variable elimination in systems of inequations.	ISIT	2011	DBLP DOI BibTeX RDF
28	Jorge Jiménez Meana, Susana Montes, Branimir Seselja, Andreja Tepavcevic	Fuzzy Relational Inequations and Equations in the Framework of Control Problems.	ECSQARU	2011	DBLP DOI BibTeX RDF
28	Laurent Mertz	Stochastic Variational Inequalities and Applications to Random Vibrations and Mechanical Structures. (Inéquations variationnelles stochastiques et applications aux vibrations de structures mécaniques).		2011	RDF
28	Dragic Bankovic	Boolean Equations and Boolean Inequations?	J. Multiple Valued Log. Soft Comput.	2010	DBLP BibTeX RDF
28	Dragic Bankovic	Boolean inequations.	Discret. Math.	2007	DBLP DOI BibTeX RDF
28	Guillaume Moroz	Complexity of Resolution of Parametric Systems of Polynomial Equations and Inequations	CoRR	2006	DBLP BibTeX RDF
28	Volker Haarslev, Ralf Möller 0001	Practical Reasoning in RACER with a Concrete Domain for Linear Inequations.	Description Logics	2002	DBLP BibTeX RDF
28	Detlef Fehrer, Helmut Horacek	Presenting Inequations in Mathematical Proofs.	Inf. Sci.	1999	DBLP DOI BibTeX RDF
28	Patricia Mainguet	Résolution incrémentale d'inéquations linéairés à variables dans Z.	JFPLC	1999	DBLP BibTeX RDF
28	Victor J. Pollara	Free SFP-algebras for truncation-closed sets of inequations.	Workshop on Domains	1998	DBLP DOI BibTeX RDF
28	Farid Ajili, Evelyne Contejean	Avoiding Slack Variables in the Solving of Linear Diophantine Equations and Inequations.	Theor. Comput. Sci.	1997	DBLP DOI BibTeX RDF
28	Ratnesh Kumar 0001, Vijay K. Garg	Extremal Solutions of Inequations over Lattices with Applications to Supervisory Control.	Theor. Comput. Sci.	1995	DBLP DOI BibTeX RDF
28	Farid Ajili, Evelyne Contejean	Complete Solving of Linear Diophantine Equations and Inequations without Adding Slack Variables.	UNIF	1995	DBLP BibTeX RDF
28	Farid Ajili, Evelyne Contejean	Complete Solving of Linear Diophantine Equations and Inequations without Adding Variables.	CP	1995	DBLP DOI BibTeX RDF
28	Akihiko Ohsuga, Kô Sakai	Metis: A Term Rewriting System Generator: An Inference Engine for Equations and Inequations.	Software Science and Engineering	1991	DBLP DOI BibTeX RDF
28	Jean-Louis Imbert, Pascal Van Hentenryck	A propos des redondances dans les systèmes d'inéquations linéaires.	JTASPEFT/WSA	1991	DBLP BibTeX RDF
28	Chilukuri K. Mohan, Mandayam K. Srivas, Deepak Kapur	Inference Rules and Proof Procedures for Inequations.	J. Log. Program.	1990	DBLP DOI BibTeX RDF
28	Hubert Comon	Solving Inequations in Term Algebras (Extended Abstract)	LICS	1990	DBLP DOI BibTeX RDF
28	Alain Colmerauer	Equations and Inequations on Finite and Infinite Trees.	FGCS	1984	DBLP BibTeX RDF
28	Alain Bensoussan, Jacques-Louis Lions	Sur l'approximation numérique d'inéquations quasi-variationnelles stationnaires.	Computing Methods in Applied Sciences and Engineering	1973	DBLP DOI BibTeX RDF
28	Jean Claude Miellou	Sur une notion de monotonie conduisant à une extension de l'application de la méthode variationnelle dans l'étude des systèmes d'équations et d'inéquations aux dérivées partielles‎ : opérateurs paramonotones.		1970	RDF
28	François Robert 0002	Etude et utilisation des normes vectorielles en analyse numérique linéaire (1ere thèse) - Inéquations variationnelles et problèmes aux limites (2eme thèse).		1968	RDF
28	M. D. Gladstone	Finite Models for Inequations.	J. Symb. Log.	1966	DBLP DOI BibTeX RDF
16	Felix Klaedtke	Bounds on the automata size for Presburger arithmetic.	ACM Trans. Comput. Log.	2008	DBLP DOI BibTeX RDF	Automata-based decision procedures, complexity, quantifier elimination, Presburger arithmetic
16	Nissim Francez, Michael Kaminski	Commutation-Augmented Pregroup Grammars and Mildly Context-Sensitive Languages.	Stud Logica	2007	DBLP DOI BibTeX RDF	mildly context-sensitive languages, Formal language theory, pregroup grammars
16	Alberto Pettorossi, Maurizio Proietti, Valerio Senni	Automatic Correctness Proofs for Logic Program Transformations.	ICLP	2007	DBLP DOI BibTeX RDF
16	Yinglong Ma, Beihong Jin, Yuancheng Li, Kehe Wu	A Timing Analysis Model for Ontology Evolutions Based on Distributed Environments.	PAKDD	2007	DBLP DOI BibTeX RDF
16	Ingo Feinerer, Gernot Salzer	Consistency and Minimality of UML Class Specifications with Multiplicities and Uniqueness Constraints.	TASE	2007	DBLP DOI BibTeX RDF
16	Katsusuke Nabeshima	A speed-up of the algorithm for computing comprehensive Gröbner systems.	ISSAC	2007	DBLP DOI BibTeX RDF	Gröbner bases, comprehensive Gröbner bases
16	Alberto Pettorossi, Maurizio Proietti, Valerio Senni	Proving Properties of Constraint Logic Programs by Eliminating Existential Variables.	ICLP	2006	DBLP DOI BibTeX RDF
16	Michael Luttenberger	Reachability Analysis of Procedural Programs with Affine Integer Arithmetic.	CIAA	2006	DBLP DOI BibTeX RDF
16	Stephen L. Bloom, Zoltán Ésik	Completing Categorical Algebras.	IFIP TCS	2006	DBLP DOI BibTeX RDF
16	Yahia Lebbah, Claude Michel, Michel Rueher	A Rigorous Global Filtering Algorithm for Quadratic Constraints*.	Constraints An Int. J.	2005	DBLP DOI BibTeX RDF	quadratic constraints, safe linearizations, global constraints
16	Louis Latour	From Automata to Formulas: Convex Integer Polyhedra.	LICS	2004	DBLP DOI BibTeX RDF
16	Felix Klaedtke	On the Automata Size for Presburger Arithmetic.	LICS	2004	DBLP DOI BibTeX RDF
16	Jifeng He 0001	Linking Theories of Concurrency.	25 Years Communicating Sequential Processes	2004	DBLP DOI BibTeX RDF
16	Ahmed Bouajjani, Javier Esparza, Tayssir Touili	A generic approach to the static analysis of concurrent programs with procedures.	POPL	2003	DBLP DOI BibTeX RDF	concurrent programs with procedures, verification, static analysis, abstraction, kleene algebras, pushdown systems
16	Tatiana Rybina, Andrei Voronkov	Using Canonical Representations of Solutions to Speed Up Infinite-State Model Checking.	CAV	2002	DBLP DOI BibTeX RDF
16	Lars Engebretsen, Venkatesan Guruswami	Is Constraint Satisfaction Over Two Variables Always Easy?	RANDOM	2002	DBLP DOI BibTeX RDF
16	Jakob Mauss, Frank Seelisch, Mugur M. Tatar	A Relational Constraint Solver for Model-Based Engineering.	CP	2002	DBLP DOI BibTeX RDF
16	Sergey Krivoi	Criteria of Satisfiability for Homogeneous Systems of Linear Diophantine Constraints.	PPAM	2001	DBLP DOI BibTeX RDF
16	Miguel A. Salido, Federico Barber	An Incremental and Non-binary CSP Solver: The Hyperpolyhedron Search Algorithm.	CP	2001	DBLP DOI BibTeX RDF
16	Michael Bulmer, Desmond Fearnley-Sander, Timothy Stokes 0001	The Kinds of Truth of Geometry Theorems.	Automated Deduction in Geometry	2000	DBLP DOI BibTeX RDF
16	Eric Andres, Rodolphe Breton, Pascal Lienhardt	SpaMod: Design of a Spatial Modeling Tool.	Digital and Image Geometry	2000	DBLP DOI BibTeX RDF	n-G-map, Modeler, Reconstruction, Discrete
16	Timothy J. Hickey	Analytic Constraint Solving and Interval Arithmetic.	POPL	2000	DBLP DOI BibTeX RDF
16	Sylvia Wiebrock, Lars Wittenburg, Ute Schmid, Fritz Wysotzki	Inference and Visualization of Spatial Relations.	Spatial Cognition	2000	DBLP DOI BibTeX RDF
16	Helmut Horacek	Presenting Proofs in a Human-Oriented Way.	CADE	1999	DBLP DOI BibTeX RDF
16	Burghard von Karger	A Proof Rule for Control Loops.	MPC	1998	DBLP DOI BibTeX RDF
16	Bernard Boigelot, Stéphane Rassart, Pierre Wolper	On the Expressiveness of Real and Integer Arithmetic Automata (Extended Abstract).	ICALP	1998	DBLP DOI BibTeX RDF
16	Antoine Rauzy	Toupie = µ-Calculus + Constraints.	CAV	1995	DBLP DOI BibTeX RDF
16	José Barros, Joseph A. Goguen	Semantics of Non-terminating Rewrite Systems Using Minimal Coverings.	CSL	1995	DBLP DOI BibTeX RDF
16	Jan A. Plaza	Fully Declarative Logic Programming.	PLILP	1992	DBLP DOI BibTeX RDF
16	Alexander Moshe Rabinovich	Logic of Trace Languages (Extended Abstract).	CONCUR	1992	DBLP DOI BibTeX RDF
16	Ramesh Subrahmanyam	Complexity of Algebraic Specification.	FSTTCS	1990	DBLP DOI BibTeX RDF
16	Shang-Ching Chou, Xiao-Shan Gao	Methods for Mechanical Geometry Formula Deriving.	ISSAC	1990	DBLP DOI BibTeX RDF
16	Chilukuri K. Mohan	Priority Rewriting: Semantics, Confluence, and Conditional.	RTA	1989	DBLP DOI BibTeX RDF
16	Fritz Henglein	Type Inference and Semi-Unification.	LISP and Functional Programming	1988	DBLP DOI BibTeX RDF
16	Brigitte Vallée, Marc Girault, Philippe Toffin	How to Break Okamoto's Cryptosystem by Reducing Lattice Bases.	EUROCRYPT	1988	DBLP DOI BibTeX RDF
16	Toshio Kawamura, Hayato Ohwada, Fumio Mizoguchi	CS-Prolog: A Generalized Unification Based Constraint Solver.	LP	1987	DBLP DOI BibTeX RDF
16	Hubert Comon	Sufficient Completness, Term Rewriting Systems and "Anti-Unification".	CADE	1986	DBLP DOI BibTeX RDF
16	Jean-Louis Lassez, Kim Marriott	Explicit Representation of Terms Defined by Counter Examples.	FSTTCS	1986	DBLP DOI BibTeX RDF
16	Matthew Hennessy	Acceptance Trees	J. ACM	1985	DBLP DOI BibTeX RDF
16	Laurent Fribourg	A Narrowing Procedure for Theories with Constructors.	CADE	1984	DBLP DOI BibTeX RDF
16	Michel Sintzoff	Ensuring Correctness by Arbitrary Postfixed-Points.	MFCS	1978	DBLP DOI BibTeX RDF