| Property |
Value |
| dbo:abstract
|
- Dexter Campbell Kozen (né le 20 décembre 1951) est un informaticien théoricien américain. Il travaille en théorie de la complexité, plus particulièrement sur des problèmes de décision en algèbre et en logique, en sémantique des langages de programmation et en sécurité informatique. (fr)
- Dexter Campbell Kozen (né le 20 décembre 1951) est un informaticien théoricien américain. Il travaille en théorie de la complexité, plus particulièrement sur des problèmes de décision en algèbre et en logique, en sémantique des langages de programmation et en sécurité informatique. (fr)
|
| dbo:almaMater
| |
| dbo:award
| |
| dbo:birthDate
| |
| dbo:citizenship
| |
| dbo:doctoralAdvisor
| |
| dbo:doctoralStudent
| |
| dbo:employer
| |
| dbo:occupation
| |
| dbo:wikiPageExternalLink
| |
| dbo:wikiPageID
| |
| dbo:wikiPageLength
|
- 6644 (xsd:nonNegativeInteger)
|
| dbo:wikiPageRevisionID
| |
| dbo:wikiPageWikiLink
| |
| prop-fr:année
|
- 1976 (xsd:integer)
- 1981 (xsd:integer)
- 1983 (xsd:integer)
- 1989 (xsd:integer)
- 1990 (xsd:integer)
- 1992 (xsd:integer)
- 1997 (xsd:integer)
- 2000 (xsd:integer)
- 2002 (xsd:integer)
- 2006 (xsd:integer)
|
| prop-fr:auteur
| |
| prop-fr:auteurOuvrage
|
- J. van Leeuwen (fr)
- J. van Leeuwen (fr)
|
| prop-fr:auteursOuvrage
|
- B. Rovan (fr)
- D. M. Gabbay, F. Guenther (fr)
- B. Rovan (fr)
- D. M. Gabbay, F. Guenther (fr)
|
| prop-fr:collection
|
- Lecture Notes in Computer Science (fr)
- Texts in Computer Science (fr)
- Foundation of Computing (fr)
- Texts and Monographs in Computer Science (fr)
- Undergraduate texts in computer science (fr)
- Lecture Notes in Computer Science (fr)
- Texts in Computer Science (fr)
- Foundation of Computing (fr)
- Texts and Monographs in Computer Science (fr)
- Undergraduate texts in computer science (fr)
|
| prop-fr:fr
|
- David Harel (fr)
- David Harel (fr)
|
| prop-fr:isbn
|
- 0 (xsd:integer)
- 978 (xsd:integer)
|
| prop-fr:journal
| |
| prop-fr:langue
|
- de (fr)
- en (fr)
- de (fr)
- en (fr)
|
| prop-fr:lieu
|
- Londres (fr)
- Cambridge, Londres (fr)
- Londres (fr)
- Cambridge, Londres (fr)
|
| prop-fr:lireEnLigne
| |
| prop-fr:numéroDansCollection
| |
| prop-fr:pages
|
- 114 (xsd:integer)
- 328 (xsd:integer)
- 333 (xsd:integer)
- 445 (xsd:integer)
|
| prop-fr:pagesTotales
|
- x+320 (fr)
- xiii +400 (fr)
- xiii+419 (fr)
- x+320 (fr)
- xiii +400 (fr)
- xiii+419 (fr)
|
| prop-fr:passage
|
- 26 (xsd:integer)
- 89 (xsd:integer)
- 99 (xsd:integer)
- 789 (xsd:integer)
|
| prop-fr:titre
|
- Alternation (fr)
- Theory of Computation (fr)
- An elementary proof of the completeness of PDL (fr)
- Automata and computability (fr)
- Design and Analysis of Algorithms (fr)
- Dynamic Logic (fr)
- Logics of programs (fr)
- On parallelism in Turing machines (fr)
- Polynomial Decomposition Algorithms (fr)
- Results on the Propositional μ-Calculus (fr)
- Semantics of probabilistic programs (fr)
- Alternation (fr)
- Theory of Computation (fr)
- An elementary proof of the completeness of PDL (fr)
- Automata and computability (fr)
- Design and Analysis of Algorithms (fr)
- Dynamic Logic (fr)
- Logics of programs (fr)
- On parallelism in Turing machines (fr)
- Polynomial Decomposition Algorithms (fr)
- Results on the Propositional μ-Calculus (fr)
- Semantics of probabilistic programs (fr)
|
| prop-fr:titreChapitre
|
- Dynamic Logic (fr)
- On Kleene algebras and closed semirings (fr)
- Dynamic Logic (fr)
- On Kleene algebras and closed semirings (fr)
|
| prop-fr:titreOuvrage
|
- Handbook of Theoretical Computer Science (fr)
- Handbook of Philosophical Logic (fr)
- Proc. 17. Symp. Found. Comput. Sci. (fr)
- Proc. Math. Found. Comput. Sci. (fr)
- Handbook of Theoretical Computer Science (fr)
- Handbook of Philosophical Logic (fr)
- Proc. 17. Symp. Found. Comput. Sci. (fr)
- Proc. Math. Found. Comput. Sci. (fr)
|
| prop-fr:url
| |
| prop-fr:volume
|
- 4 (xsd:integer)
- 7 (xsd:integer)
- 14 (xsd:integer)
- 22 (xsd:integer)
- 27 (xsd:integer)
- 28 (xsd:integer)
- B (fr)
|
| prop-fr:wikiPageUsesTemplate
| |
| prop-fr:éditeur
|
- Springer (fr)
- The MIT Press (fr)
- Kluwer (fr)
- North Holland (fr)
- Springer (fr)
- The MIT Press (fr)
- Kluwer (fr)
- North Holland (fr)
|
| dct:subject
| |
| rdf:type
| |
| rdfs:comment
|
- Dexter Campbell Kozen (né le 20 décembre 1951) est un informaticien théoricien américain. Il travaille en théorie de la complexité, plus particulièrement sur des problèmes de décision en algèbre et en logique, en sémantique des langages de programmation et en sécurité informatique. (fr)
- Dexter Campbell Kozen (né le 20 décembre 1951) est un informaticien théoricien américain. Il travaille en théorie de la complexité, plus particulièrement sur des problèmes de décision en algèbre et en logique, en sémantique des langages de programmation et en sécurité informatique. (fr)
|
| rdfs:label
|
- Dexter Kozen (de)
- Dexter Kozen (fr)
- Dexter Kozen (de)
- Dexter Kozen (fr)
|
| rdfs:seeAlso
| |
| owl:sameAs
| |
| prov:wasDerivedFrom
| |
| foaf:isPrimaryTopicOf
| |
| is dbo:doctoralStudent
of | |
| is dbo:wikiPageRedirects
of | |
| is dbo:wikiPageWikiLink
of | |
| is prop-fr:auteur
of | |
| is oa:hasTarget
of | |
| is foaf:primaryTopic
of | |
