skip to main content
Résultats 1 2 3 next page
Result Number Material Type Add to My Shelf Action Record Details and Options
1
Material Type:
Chapitre de livre
Ajouter à Mon espace

Décidabilité et complexité de problèmes de réseaux de Petri

Haddad, Serge

In : Les réseaux de Petri. Modèles fondamentaux. Ed. by M. Diaz. Paris : Hermes, 2001, 386. ISBN : 2-7462-0250-6

2001

Accessible en ligne

2
Material Type:
Thèse
Ajouter à Mon espace

Model theory of fields : decidability, and bounds for polynomial ideals

Dries, Laurentius Petrus Dignus van den (1951-....) ; Dalen, Dirk van (1932-....)

S.l. : S.n., 1978

Voir les exemplaires

3
Material Type:
Versions multiples

Büchi's monadic second order successor arithmetic

Siefkes, Dirk ; Müller, Gert Heinz (1923-....)

Plusieurs versions trouvées
Il y a 2 versions

4
Material Type:
Livre
Ajouter à Mon espace

DECIDABILITY AND EXPRESSIVENESS FOR FIRST-ORDER LOGICS OF PROBABILITY

Abadi, Martín ; Halpern, Joseph Y. (1953-....)

s.l. : s.n., 1991

Voir les exemplaires

5
Material Type:
Livre
Ajouter à Mon espace

ON SOME SETS OF COUNTABLE GRAPHS HAVING A DECIDABLE MONADIC SECOND-ORDER THEORY.

S.L. : s.n., 1987

Voir les exemplaires

6
Material Type:
Versions multiples

Cinq conférences sur l'indécidabilité

Bouleau, Nicolas (1945-....) ; Girard, Jean-Yves (1947-....) ; Louveau, Alain (1947-....)

Plusieurs versions trouvées
Il y a 2 versions

7
Material Type:
Livre
Ajouter à Mon espace

MONADIC (THE) 2ND-ORDER LOGIC OF GRAPHS,IV : EVERY EQUATIONAL GRAPH IS DEFINABLE

S.L. : s.n., 1988

Voir les exemplaires

8
Word equations and related topics : IWWERT '90 ... proceedings
Material Type:
Livre
Ajouter à Mon espace

Word equations and related topics : IWWERT '90 ... proceedings

International Workshop on Word Equations and Related Topics 001 Tübingen 1990. ; Schulz, Klaus U.

Berlin New York NY Paris : Springer, 1992

Voir les exemplaires

9
Les théorèmes d'incomplétude de Gödel
Material Type:
Livre
Ajouter à Mon espace

Les théorèmes d'incomplétude de Gödel

Smullyan, Raymond Merrill (1919-....) ; Margenstern, Maurice (19..-....)

Paris : Dunod, 2000

Disponible(Obtenir)

10
Material Type:
Versions multiples

Computability and logic.

Boolos, George (1940-1996.) ; Jeffrey, Richard Carl (1926-....) ; Martin, Roger, provenance (1920-1979)

Plusieurs versions trouvées
Il y a 4 versions

11
Material Type:
Versions multiples

Decision problems for equational theories of relation algebras

Andréka, Hajnal (1947-....) ; Givant, Steven R. ; Németi, István (1942-....)

Plusieurs versions trouvées
Il y a 2 versions

12
The Structure of decidable locally finite varieties.
Material Type:
Livre
Ajouter à Mon espace

The Structure of decidable locally finite varieties.

McKenzie, Ralph Nelson. ; Valeriote, Matthew.

Boston MA Basel Berlin : Birkhäuser, 1989

Voir les exemplaires(Obtenir)

13
The Deductive foundations of computer programming.
Material Type:
Livre
Ajouter à Mon espace

The Deductive foundations of computer programming.

Manna, Zohar (1939-....) ; Waldinger, Richard.

Reading MA Don Mills Wokingham : Addison-Wesley, 1993

Voir les exemplaires(Obtenir)

14
Material Type:
Thèse
Ajouter à Mon espace

A propos de systèmes d'équations récurrentes

Saouter, Yannick

Grenoble : ANRT diff., 1992

Voir les exemplaires(Obtenir)

15
Material Type:
Livre
Ajouter à Mon espace

EQUATION (UNE) DIFFICILE.

Delahaye, Jean-Paul (1952-....)

s.l. : s.n., 1988

Voir les exemplaires  et autres localisations(Obtenir)

16
Material Type:
Versions multiples

Introduction to the theory of computation

Sipser, Michael (19..-....)

Plusieurs versions trouvées
Il y a 2 versions

17
Material Type:
Versions multiples

Logique et fondements de l'informatique : logique du 1er ordre, calculabilité et lambda-calcul

Lassaigne, Richard ; Rougemont, Michel de

Plusieurs versions trouvées
Il y a 2 versions

18
Gödel's theorems : a workbook on formalization
Material Type:
Livre
Ajouter à Mon espace

Gödel's theorems : a workbook on formalization

Huber-Dyson, Verena.

Stuttgart : Teubner, 1991

Voir les exemplaires(Obtenir)

19
Systèmes formels : introduction à la logique et à la théorie des langages
Material Type:
Livre
Ajouter à Mon espace

Systèmes formels : introduction à la logique et à la théorie des langages

Benzaken, Claude ; Dupont, Jean-Yves, provenance (1951-2011)

Paris Milan Barcelone etc. : Masson, 1991

Voir les exemplaires(Obtenir)

20
Material Type:
Versions multiples

Computability : an introduction to recursive function theory

Cutland, Nigel (1944-....)

Plusieurs versions trouvées
Il y a 2 versions

Résultats 1 2 3 next page

Personnaliser vos résultats

  1. Créer votre profil de recherche

Refine Search Results

Élargir la recherche

  1.   

Affiner les résultats

Type de ressource 

  1. Autres  (1)
  2. Livres  (44)
  3. Thèses  (3)
  4. Plus d’options open sub menu

Date de publication 

À partir de jusqu'à
  1. Avant 1974  (6)
  2. 1974 à 1983  (7)
  3. 1984 à 1989  (10)
  4. 1990 à 1998  (23)
  5. Après 1998  (9)
  6. Plus d’options open sub menu

Langue 

  1. Anglais  (28)
  2. Français  (18)
  3. Chinois  (1)
  4. Plus d’options open sub menu

Recherche dans les bases de données distantes en cours. Merci de patienter.

  • Recherche
  • dansscope:(33PSL-CNSAD),scope:(33PSL-EHESS),scope:(33PSL-PSL_OMEKA),scope:(33PSL-MINES),scope:(33PSL-EFEO),scope:(33PSL-CNSMDP),scope:(33PSL-CHIMIE),scope:(33PSL),scope:("DAU"),scope:(33PSL-CDF),scope:(33PSL-ENS),scope:("33PSL-OBSERV"),scope:("33PSL-ESPCI"),scope:(33PSL-CURIE),scope:(33PSL-ENSBA),scope:("33PSL-ENC"),scope:(33PSL-PSL_STAR),scope:(33PSL-PSL_SFX),scope:("33PSL-EPHE"),scope:(33PSL-ENSAD),primo_central_multiple_fe
  • Afficher ce qui a déjà été récupéré