University of California, San Francisco < University of California, Santa Barbara [Santa Barbara] < University of Campinas

Facettes : Author.f

List of bibliographic references

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

Ident.	Authors (with country if any)	Title
000590 (2000)	Daniel Leivant ; Jean-Yves Marion	A characterization of alternating log time by ramified recurrence
000C07 (2001)	Rakesh Verma ; Michaël Rusinowitch ; Denis Lugiez	Algorithms and Reductions for Rewriting Problems
000E95 (1999-06)	Jean-Paul Gibson ; Dominique Méry ; Yassine Mokhtari	Animating formal specifications : a telephone simulation case study
001631 (2004)	Michel Cosnard ; Emmanuel Jeannot ; Tao Yang	Compact DAG Representation and its Symbolic Scheduling
001738 (1999)	Miki Hermann ; Phokion G. Kolaitis	Computational Complexity of Simultaneous Elementary Matching Problems
001A12 (2002)	Pankaj K. Agarwal ; Thérèse Biedl ; Sylvain Lazard ; Steve Robbins ; Subhash Suri ; Sue Whitesides	Curvature-Constrained Shortest Paths in a Convex Polygon
002402 (1999)	Jean-Paul Gibson ; Dominique Méry	Formal modelling of services for getting a better understanding of the feature interaction problem - multi-view approach
002C27 (2007)	Roland Ducournau ; Etienne Gagnon ; Chandra Krintz ; Philippe Mulet ; Jan Vitek ; Olivier Zendra	International Workshop on Implementation, Compilation, Optimization of Object-Oriented Languages, Programs and Systems - Report on the Workshop ICOOOLPS'2006 at ECOOP'06
002C28 (2008)	Olivier Zendra ; Eric Jul ; Roland Ducournau ; Etienne Gagnon ; Richard Jones ; Chandra Krintz ; Philippe Mulet ; Jan Vitek	International Workshop on Implementation, Compilation, Optimization of Object-Oriented Languages, Programs and Systems - Report on the Workshop ICOOOLPS'2007 at ECOOP'07
003636 (2009-03)	Antonio Loria ; Dragan Nesic ; Elena Panteley ; Andrew Teel	ON STABILITY OF SETS FOR SAMPLED-DATA NONLINEAR INCLUSIONS VIA THEIR APPROXIMATE DISCRETE-TIME MODELS AND SUMMABILITY CRITERIA
003746 (1998)	Miki Hermann ; Laurent Juban ; Phokion G. Kolaitis	On the Complexity of Counting the Hilbert Basis of a Linear Diophantine System
003F17 (2000)	Daniel Leivant ; Jean-Yves Marion	Ramified Recurrence and Computational Complexity IV : Predicative Functionals and Poly-Space
004275 (1998)	Anita Wasilewska ; Laurent Vigneron	Rough Algebras & Automated Deduction
004276 (1998)	Laurent Vigneron ; Anita Wasilewska	Rough Diagrams
004277 (1998)	Laurent Vigneron ; Anita Wasilewska	Rough Sets Congruences and Diagrams
004569 (1999)	Taegyun Kim ; Gyusang Shin ; Nacer Boudjlida	Similarity in the Design and the Implementation of a Multi-Platform CASE Tool
004780 (2002-05-29)	Nancy Ide ; Laurent Romary	Standards for Language Resources
004902 (2010)	Andrew Teel ; Dragan Nesic ; Antonio Loria ; Elena Panteley	Summability Characterizations of Uniform Exponential and Asymptotic Stability of Sets For Difference Inclusions
004C32 (1999)	David Plaisted ; Gregory Kucherov	The complexity of some complementation problems
004C96 (2000)	Paliath Narendran ; Michaël Rusinowitch	The theory of total unary RPO is decidable
004F68 (2001)	Denys Duchier ; Claire Gardent	Tree Descriptions, Constraints and Incrementality

---

Pour manipuler ce document sous Unix (Dilib)

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

HfdIndexSelect -h $EXPLOR_AREA/Data/Hal/Corpus/HalTutelle.i -k "University of California, Santa Barbara [Santa Barbara]" 

HfdIndexSelect -h $EXPLOR_AREA/Data/Hal/Corpus/HalTutelle.i  \
                -Sk "University of California, Santa Barbara [Santa Barbara]" \
         | HfdSelect -Kh $EXPLOR_AREA/Data/Hal/Corpus/biblio.hfd 

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

{{Explor lien
   |wiki=    Wicri/Lorraine
   |area=    InforLorV4
   |flux=    Hal
   |étape=   Corpus
   |type=    indexItem
   |index=    HalTutelle.i
   |clé=    University of California, Santa Barbara [Santa Barbara]
}}

---

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