YJPSU < YJSCO < YJSSC

Facettes : Author.f

List of bibliographic references

Number of relevant bibliographic references: 24.
[0-20] [0 - 20][0 - 24][20-23][20-40]

Ident.	Authors (with country if any)	Title
000043 (1997)	Nicolas Peltier	Increasing Model Building Capabilities by Constraint Solving on Terms with Integer Exponents
000057 (2001)	Alessandro Armando ; Alessandro Coglio ; Fausto Giunchiglia ; Silvio Ranise	The Control Layer in Open Mechanized Reasoning Systems: Annotations and Tactics
000613 (1998)	H. Hong	Bounds for Absolute Positiveness of Multivariate Polynomials
000634 (1996)	Maribel Fernández	AC Complement Problems: Satisfiability and Negation Elimination
000D20 (1999)	K. Stokkermans	A Categorical Critical-pair Completion Algorithm
000D46 (1997)	Robert Nieuwenhuis ; Albert Rubio	Paramodulation with Built-in AC-Theories and Symbolic Constraints
001538 (2000)	Ricardo Caferra ; Nicolas Peltier	Combining Enumeration and Deductive Techniques in order to Increase the Class of Constructible Infinite Models
001902 (1997)	Christopher Lynch	Oriented Equational Logic Programming is Complete
001B23 (1995)	Miki Hermann ; Phokion G. Kolaitis	The Complexity of Counting Problems in Equational Matching
001E59 (1998)	M. Fernández	Negation Elimination in Empty or Permutative Theories
002019 (1995)	Hans Zantema	Total Termination of Term Rewriting is Undecidable
002077 (1996)	Claude Marché	Normalized Rewriting: an Alternative to Rewriting modulo a Set of Equations
002093 (2000)	Ursula Martin ; Duncan Shand	Invariants, Patterns and Weights for Ordering Terms
002604 (1998)	Philip Feinsilver ; René Schott	Computing Representations of a Lie Group via the Universal Enveloping Algebra
002655 (1998)	C. Hintermeier ; C. Kirchner ; H. Kirchner	Dynamically Typed Computations for Order-sorted Equational Presentations
002733 (1998)	A. Werner	A Semantic Approach to Order-sorted Rewriting
002848 (1997)	Adel Bouhoula	Automated Theorem Proving by Test Set Induction
002B72 (1998)	Jean-Camille Birget	Infinite String Rewrite Systems and Complexity
002C02 (1997)	Alfons Geser	Omega-Termination is Undecidable for Totally Terminating Term Rewriting Systems
002D61 (1995)	D. Lugiez	Positive and Negative Results for Higher-Order Disunification
003075 (2000)	Reinhard Pichler	Speeding up Algorithms on Atomic Representations of Herbrand Models via New Redundancy Criteria

---

Pour manipuler ce document sous Unix (Dilib)

EXPLOR_STEP=$WICRI_ROOT/Wicri/Lorraine/explor/InforLorV4/Data/Istex/Corpus

HfdIndexSelect -h $EXPLOR_AREA/Data/Istex/Corpus/ISSN.i -k "YJSCO" 

HfdIndexSelect -h $EXPLOR_AREA/Data/Istex/Corpus/ISSN.i  \
                -Sk "YJSCO" \
         | HfdSelect -Kh $EXPLOR_AREA/Data/Istex/Corpus/biblio.hfd 

Pour mettre un lien sur cette page dans le réseau Wicri

{{Explor lien
   |wiki=    Wicri/Lorraine
   |area=    InforLorV4
   |flux=    Istex
   |étape=   Corpus
   |type=    indexItem
   |index=    ISSN.i
   |clé=    YJSCO
}}

---

This area was generated with Dilib version V0.6.33. Data generation: Mon Jun 10 21:56:28 2019. Site generation: Fri Feb 25 15:29:27 2022