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
|
Solvable cases of the decision problemAckermann, Wilhelm, mathématicien (1896-1962)Plusieurs versions trouvéesPour voir, cliquer sur le titre ou sur le lien ci-dessous |
|
4 |
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 |
|
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: Livre
|
![]() |
MONADIC (THE) 2ND-ORDER LOGIC OF GRAPHS,IV : EVERY EQUATIONAL GRAPH IS DEFINABLES.L. : s.n., 1988Voir les exemplaires |
7 |
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 |
8 |
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 |
|
9 |
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 |
10 |
Material Type: Livre
|
![]() |
Les théorèmes d'incomplétude de GödelSmullyan, Raymond Merrill (1919-....) ; Margenstern, Maurice (19..-....)Paris : Dunod, 2000Disponible(Obtenir) |
11 |
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 |
|
12 |
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 |
|
13 |
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) |
14 |
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) |
15 |
Material Type: Thèse
|
![]() |
A propos de systèmes d'équations récurrentesSaouter, YannickGrenoble : ANRT diff., 1992Voir les exemplaires(Obtenir) |
16 |
Material Type: Livre
|
![]() |
EQUATION (UNE) DIFFICILE.Delahaye, Jean-Paul (1952-....)s.l. : s.n., 1988Voir les exemplaires et autres localisations(Obtenir) |
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: 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 |
|
19 |
Material Type: Livre
|
![]() |
Gödel's theorems : a workbook on formalizationHuber-Dyson, Verena.Stuttgart : Teubner, 1991Voir les exemplaires(Obtenir) |
20 |
Material Type: Versions multiples
|
Fondements mathématiques de l'informatique.Stern, Jacques (1949-....)Plusieurs versions trouvéesPour voir, cliquer sur le titre ou sur le lien ci-dessous |