About: dbpedia-fr:Pierre

Facets (new session)
Description
Metadata
Settings
- owl:sameAs
- Inference Rule:

About: dbpedia-fr:Pierre_Wolper Goto Sponge NotDistinct Permalink

An Entity of Type : dbo:Species, within Data Space : prod-dbpedia.inria.fr associated with source document(s)

Attributes	Values
prop-fr:année	1986 (xsd:integer) 1991 (xsd:integer) 1994 (xsd:integer) 2006 (xsd:integer)
prop-fr:dateDeNaissance	1955-09-21 (xsd:date)
prop-fr:doi	10 (xsd:double)
prop-fr:fr	Logic in Computer Science (fr)
prop-fr:isbn	2 (xsd:integer)
prop-fr:issn	890 (xsd:integer)
prop-fr:journal	Information and Computation (fr)
prop-fr:langue	fr (fr)
prop-fr:lieu	Amsterdam (fr) Cambridge (fr) Paris (fr) Boston, MA (fr)
prop-fr:nationalité	belge (fr)
prop-fr:nom	Godefroid (fr) Vardi (fr) Pierre Wolper (fr) Wolper (fr)
prop-fr:numéro	1 (xsd:integer)
prop-fr:pages	1 (xsd:integer)
prop-fr:pagesTotales	224 (xsd:integer)
prop-fr:passage	322 (xsd:integer) 406 (xsd:integer)
prop-fr:prénom	Pierre (fr) Patrice (fr) Moshe (fr) Moshe Y. (fr)
prop-fr:site	p856 (fr)
prop-fr:sousTitre	cours et exercices corrigés (fr)
prop-fr:taille	30 (xsd:integer)
prop-fr:titre	Introduction à la calculabilité (fr) Reasoning about infinite computations (fr)
prop-fr:titreChapitre	A partial approach to model checking (fr) An Automata-Theoretic Approach to Automatic Program Verification (fr)
prop-fr:titreOuvrage	Proceedings of the Sixth Symposium on Logic in Computer Science (fr) Proceedings of the First Symposium on Logic in Computer Science (fr)
prop-fr:trad	IEEE Symposium on Logic in Computer Science (fr)
prop-fr:url	http://reference.kfupm.edu.sa/content/r/e/reasoning_about_infinite_computations__102167.pdf
prop-fr:volume	115 (xsd:integer)
prop-fr:éditeur	Academic Press dbpedia-fr:Éditions_Dunod
prop-fr:archivedate	2011-08-25 (xsd:date)
prop-fr:archiveurl	https://web.archive.org/web/20110825210914/http:/reference.kfupm.edu.sa/content/r/e/reasoning_about_infinite_computations__102167.pdf
prop-fr:formation	ingénieur en électricité à l'université de Liège (fr) Ph. D. à l'université Stanford (fr)
prop-fr:champs	informatique (fr)
prop-fr:diplôme	dbpedia-fr:Doctorat
prop-fr:directeurThèse	dbpedia-fr:Zohar_Manna
prop-fr:renomméPour	logique temporelle, model checking, théorie des automates, bases de données temporelles (fr)
prop-fr:institutions	Bell Laboratories (fr) directeur de l'Institut Montefiore (fr) professeur à l'université de Liège (fr)
prop-fr:prix	LICS Test-of-Time Award ( et ) (fr) Prix Paris Kanellakis (fr) prix Gödel (fr)
prop-fr:étudiantsThèse	Bernard Boigelot (fr)
is prop-fr:auteur of	Context-free grammar dbpedia-fr:Langage_algébrique dbpedia-fr:Langage_algébrique_déterministe
is prop-fr:recteur of	dbpedia-fr:Arlon_Campus_Environnement Faculty of Law, Political Science and Criminology of the University of Liège Faculty of Veterinary Medicine, University of Liège Gembloux Agro-Bio Tech dbpedia-fr:HEC-École_de_gestion_de_l'université_de_Liège University of Liège

Faceted Search & Find service v1.16.111 as of Oct 19 2022

Alternative Linked Data Documents: ODE Content Formats:

RDF

ODATA

Microdata

About

OpenLink Virtuoso version 07.20.3234 as of May 18 2022, on Linux (x86_64-ubuntu_bionic-linux-gnu), Single-Server Edition (39 GB total memory, 9 GB memory in use)
Data on this page belongs to its respective rights holders.
Virtuoso Faceted Browser Copyright © 2009-2024 OpenLink Software