Résultats 1 - 20 sur 48 pour PSL-Explore
| Result Number | Material Type | Add to My Shelf Action | Record Details and Options |
|---|---|---|---|
| 1 |
Material Type: Chapitre de livre
|
|
Décidabilité et complexité de problèmes de réseaux de PetriHaddad, SergeIn : Les réseaux de Petri. Modèles fondamentaux. Ed. by M. Diaz. Paris : Hermes, 2001, 386. ISBN : 2-7462-0250-62001Accessible en ligne |
| 2 |
Material Type: Thèse
|
|
Model theory of fields : decidability, and bounds for polynomial idealsDries, Laurentius Petrus Dignus van den (1951-....) ; Dalen, Dirk van (1932-....)S.l. : S.n., 1978Voir les exemplaires |
| 3 |
Material Type: Versions multiples
|
Büchi's monadic second order successor arithmeticSiefkes, Dirk ; Müller, Gert Heinz (1923-....)Plusieurs versions trouvéesPour voir, cliquer sur le titre ou sur le lien ci-dessous |
|
| 4 |
Material Type: Livre
|
|
DECIDABILITY AND EXPRESSIVENESS FOR FIRST-ORDER LOGICS OF PROBABILITYAbadi, Martín ; Halpern, Joseph Y. (1953-....)s.l. : s.n., 1991Voir les exemplaires |
| 5 |
Material Type: Livre
|
|
ON SOME SETS OF COUNTABLE GRAPHS HAVING A DECIDABLE MONADIC SECOND-ORDER THEORY.S.L. : s.n., 1987Voir 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éesPour voir, cliquer sur le titre ou sur le lien ci-dessous |
|
| 7 |
Material Type: Livre
|
|
MONADIC (THE) 2ND-ORDER LOGIC OF GRAPHS,IV : EVERY EQUATIONAL GRAPH IS DEFINABLES.L. : s.n., 1988Voir les exemplaires |
| 8 |
Material Type: Livre
|
|
Word equations and related topics : IWWERT '90 ... proceedingsInternational Workshop on Word Equations and Related Topics 001 Tübingen 1990. ; Schulz, Klaus U.Berlin New York NY Paris : Springer, 1992Voir les exemplaires |
| 9 |
Material Type: Livre
|
|
Les théorèmes d'incomplétude de GödelSmullyan, Raymond Merrill (1919-....) ; Margenstern, Maurice (19..-....)Paris : Dunod, 2000Disponible(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éesPour voir, cliquer sur le titre ou sur le lien ci-dessous |
|
| 11 |
Material Type: Versions multiples
|
Decision problems for equational theories of relation algebrasAndréka, Hajnal (1947-....) ; Givant, Steven R. ; Németi, István (1942-....)Plusieurs versions trouvéesPour voir, cliquer sur le titre ou sur le lien ci-dessous |
|
| 12 |
Material Type: Livre
|
|
The Structure of decidable locally finite varieties.McKenzie, Ralph Nelson. ; Valeriote, Matthew.Boston MA Basel Berlin : Birkhäuser, 1989Voir les exemplaires(Obtenir) |
| 13 |
Material Type: Livre
|
|
The Deductive foundations of computer programming.Manna, Zohar (1939-....) ; Waldinger, Richard.Reading MA Don Mills Wokingham : Addison-Wesley, 1993Voir les exemplaires(Obtenir) |
| 14 |
Material Type: Thèse
|
|
A propos de systèmes d'équations récurrentesSaouter, YannickGrenoble : ANRT diff., 1992Voir les exemplaires(Obtenir) |
| 15 |
Material Type: Livre
|
|
EQUATION (UNE) DIFFICILE.Delahaye, Jean-Paul (1952-....)s.l. : s.n., 1988Voir les exemplaires et autres localisations(Obtenir) |
| 16 |
Material Type: Versions multiples
|
Introduction to the theory of computationSipser, Michael (19..-....)Plusieurs versions trouvéesPour voir, cliquer sur le titre ou sur le lien ci-dessous |
|
| 17 |
Material Type: Versions multiples
|
Logique et fondements de l'informatique : logique du 1er ordre, calculabilité et lambda-calculLassaigne, Richard ; Rougemont, Michel dePlusieurs versions trouvéesPour voir, cliquer sur le titre ou sur le lien ci-dessous |
|
| 18 |
Material Type: Livre
|
|
Gödel's theorems : a workbook on formalizationHuber-Dyson, Verena.Stuttgart : Teubner, 1991Voir les exemplaires(Obtenir) |
| 19 |
Material Type: Livre
|
|
Systèmes formels : introduction à la logique et à la théorie des langagesBenzaken, Claude ; Dupont, Jean-Yves, provenance (1951-2011)Paris Milan Barcelone etc. : Masson, 1991Voir les exemplaires(Obtenir) |
| 20 |
Material Type: Versions multiples
|
Computability : an introduction to recursive function theoryCutland, Nigel (1944-....)Plusieurs versions trouvéesPour voir, cliquer sur le titre ou sur le lien ci-dessous |
Résultats 1 - 20 sur 48 pour PSL-Explore
Personnaliser vos résultats
Refine Search Results
Élargir la recherche
N'afficher que
- Documents et objets physiques (46)
- Ressources en ligne (2)
- Disponible (8)
Sujet
- DECIDABILITE (21)
- Décidabilité (logique mathématique) (15)
- Logique (14)
- Décidabilité (14)
- CALCULABILITE (10)
- Complexité de calcul (informatique) (9)
- THEORIE DE LA COMPLEXITE (9)
- MACHINE DE TURING (8)
- Logique mathématique (7)
- Automates mathématiques, Théorie des (7)
- Fonction récursive (6)
- Logique symbolique et mathématique (6)
- Langages formels (6)
- Fonctions calculables (6)
- Programmation logique (5)
- Fonctions récursives (5)
- FONCTION RECURSIVE (5)
- Turing, Machines de (3)
- Théorie des modèles (3)
-
Plus d’options
Auteur
- Dupont, Jean-Yves, provenance (1951-2011) (2)
- Benzaken, Claude (2)
- Margenstern, Maurice, 19..-... (2)
- Siefkes, Dirk (2)
- Müller, Gert Heinz (1923-...) (2)
- Grzegorczyk, Andrzej (1922-...) (1)
- Louveau, Alain, 1947-... (1)
- Torchin, Itzhak, provenance (1918-2007) (1)
- Bouleau, Nicolas (1945-...) (1)
- Moll, Robert N (1)
- Lassaigne, Richard (1)
- Rougemont, Michel de (1)
- Cutland, Nigel (1944-...) (1)
- Schulz, Klaus U (1)
- Valeriote, Matthew (1)
- Matiiassevitch, Youri (1)
- Sipser, Michael (1)
- Ullman, Jeffrey D, 1942-... (1)
- Yasuhara, Ann (1)
- Dalen, Dirk van (1932-...) (1)
-
Plus d’options
Date de publication
- Avant 1974 (6)
- 1974 à 1983 (7)
- 1984 à 1989 (10)
- 1990 à 1998 (23)
- Après 1998 (9)
-
Plus d’options
Langue
- Anglais (28)
- Français (18)
- Chinois (1)
-
Plus d’options
Établissement
© 2015 PARIS SCIENCES ET LETTRES
