0743-7315 < 0747-7171 < 0748-9633

Facettes : Author.f AffPays.f AffOrg.f AffRegion.f AffVille.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 [France]	Increasing Model Building Capabilities by Constraint Solving on Terms with Integer Exponents
000057 (2001)	Alessandro Armando [Italie] ; Alessandro Coglio [États-Unis] ; Fausto Giunchiglia [Italie] ; Silvio Ranise [Italie]	The Control Layer in Open Mechanized Reasoning Systems: Annotations and Tactics
000608 (1998)	H. Hong [Autriche]	Bounds for Absolute Positiveness of Multivariate Polynomials
000629 (1996)	Maribel Fernández [France]	AC Complement Problems: Satisfiability and Negation Elimination
000D12 (1999)	K. Stokkermans [Autriche]	A Categorical Critical-pair Completion Algorithm
000D37 (1997)	Robert Nieuwenhuis [Espagne] ; Albert Rubio [Espagne]	Paramodulation with Built-in AC-Theories and Symbolic Constraints
001520 (2000)	Ricardo Caferra [France] ; Nicolas Peltier	Combining Enumeration and Deductive Techniques in order to Increase the Class of Constructible Infinite Models
001883 (1997)	Christopher Lynch [France]	Oriented Equational Logic Programming is Complete
001B03 (1995)	Miki Hermann [États-Unis] ; Phokion G. Kolaitis [États-Unis]	The Complexity of Counting Problems in Equational Matching
001E35 (1998)	M. Fernández [France]	Negation Elimination in Empty or Permutative Theories
001F93 (1995)	Hans Zantema [Pays-Bas]	Total Termination of Term Rewriting is Undecidable
002049 (1996)	Claude Marché [France]	Normalized Rewriting: an Alternative to Rewriting modulo a Set of Equations
002065 (2000)	Ursula Martin [Royaume-Uni] ; Duncan Shand [Royaume-Uni]	Invariants, Patterns and Weights for Ordering Terms
002571 (1998)	Philip Feinsilver [États-Unis] ; René Schott [France]	Computing Representations of a Lie Group via the Universal Enveloping Algebra
002622 (1998)	C. Hintermeier [France] ; C. Kirchner [France] ; H. Kirchner [France]	Dynamically Typed Computations for Order-sorted Equational Presentations
002700 (1998)	A. Werner [Allemagne]	A Semantic Approach to Order-sorted Rewriting
002814 (1997)	Adel Bouhoula [États-Unis]	Automated Theorem Proving by Test Set Induction
002B35 (1998)	Jean-Camille Birget [États-Unis]	Infinite String Rewrite Systems and Complexity
002B65 (1997)	Alfons Geser [Allemagne]	Omega-Termination is Undecidable for Totally Terminating Term Rewriting Systems
002D24 (1995)	D. Lugiez	Positive and Negative Results for Higher-Order Disunification
003036 (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/Curation

HfdIndexSelect -h $EXPLOR_AREA/Data/Istex/Curation/ISSN.i -k "0747-7171" 

HfdIndexSelect -h $EXPLOR_AREA/Data/Istex/Curation/ISSN.i  \
                -Sk "0747-7171" \
         | HfdSelect -Kh $EXPLOR_AREA/Data/Istex/Curation/biblio.hfd 

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

{{Explor lien
   |wiki=    Wicri/Lorraine
   |area=    InforLorV4
   |flux=    Istex
   |étape=   Curation
   |type=    indexItem
   |index=    ISSN.i
   |clé=    0747-7171
}}

---

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