Chris Tofts

http://dbpedia.org/resource/Chris_Tofts an entity of type: Thing

Chris M. N. Tofts (born 1964) is an English computer scientist. rdf:langString
rdf:langString Chris Tofts
xsd:integer 22424842
xsd:integer 1082683196
rdf:langString Chris M. N. Tofts (born 1964) is an English computer scientist.
xsd:nonNegativeInteger 2848
owl:Thing
dbpedia-owl:Scientist
yago:WikicatLivingPeople
yago:Academician109759069
yago:Adult109605289
yago:Alumnus109786338
yago:Associate109816771
yago:CausalAgent100007347
yago:Colleague109935990
yago:Communicator109610660
yago:ComputerScientist109951070
yago:ComputerUser109951274
yago:Educator110045713
yago:Intellectual109621545
yago:LivingThing100004258
yago:Object100002684
yago:Organism100004475
yago:Peer109626238
yago:Person100007846
yago:PhysicalEntity100001930
yago:Professional110480253
yago:WikicatHewlett-PackardPeople
yago:Writer110794014
yago:YagoLegalActor
yago:YagoLegalActorGeo
yago:Scholar110557854
yago:Scientist110560637
yago:Whole100003553
yago:WikicatAcademicsOfSwanseaUniversity
yago:WikicatAcademicsOfTheUniversityOfLeeds
yago:WikicatAcademicsOfTheUniversityOfManchester
yago:WikicatAlumniOfClareCollege,Cambridge
yago:WikicatAlumniOfTheUniversityOfEdinburgh
yago:WikicatEnglishComputerScientists
yago:WikicatEnglishScienceWriters
yago:WikicatFellowsOfTheBritishComputerSociety
yago:WikicatFellowsOfTheInstituteOfMathematicsAndItsApplications
yago:WikicatFormalMethodsPeople
<http://dbpedia.org/resource/Category:Alumni_of_the_University_of_Edinburgh>
<http://dbpedia.org/resource/Category:Living_people>
<http://dbpedia.org/resource/Category:1964_births>
<http://dbpedia.org/resource/Category:Academics_of_Swansea_University>
<http://dbpedia.org/resource/Category:Academics_of_the_University_of_Leeds>
<http://dbpedia.org/resource/Category:Academics_of_the_University_of_Manchester>
<http://dbpedia.org/resource/Category:Alumni_of_Clare_College,_Cambridge>
<http://dbpedia.org/resource/Category:Fellows_of_the_British_Computer_Society>
<http://dbpedia.org/resource/Category:English_science_writers>
<http://dbpedia.org/resource/Category:English_computer_scientists>
<http://dbpedia.org/resource/Category:Formal_methods_people>
<http://dbpedia.org/resource/Category:Fellows_of_the_Institute_of_Mathematics_and_its_Applications>
<http://dbpedia.org/resource/Category:Hewlett-Packard_people>
<http://dbpedia.org/resource/Robin_Milner>
<http://dbpedia.org/resource/Scotland>
<http://dbpedia.org/resource/University_of_Edinburgh>
<http://dbpedia.org/resource/University_of_Leeds>
<http://dbpedia.org/resource/University_of_Manchester>
<http://dbpedia.org/resource/Institute_of_Mathematics_and_its_Applications>
<http://dbpedia.org/resource/Category:Alumni_of_the_University_of_Edinburgh>
<http://dbpedia.org/resource/Category:Living_people>
<http://dbpedia.org/resource/Mathematics>
<http://dbpedia.org/resource/Clare_College,_Cambridge>
<http://dbpedia.org/resource/Laboratory_for_Foundations_of_Computer_Science>
<http://dbpedia.org/resource/Computer_scientist>
<http://dbpedia.org/resource/Category:1964_births>
<http://dbpedia.org/resource/Category:Academics_of_Swansea_University>
<http://dbpedia.org/resource/Category:Academics_of_the_University_of_Leeds>
<http://dbpedia.org/resource/Category:Academics_of_the_University_of_Manchester>
<http://dbpedia.org/resource/Category:Alumni_of_Clare_College,_Cambridge>
<http://dbpedia.org/resource/British_Computer_Society>
<http://dbpedia.org/resource/Hewlett-Packard>
<http://dbpedia.org/resource/Category:Fellows_of_the_British_Computer_Society>
<http://dbpedia.org/resource/Category:English_science_writers>
<http://dbpedia.org/resource/Category:English_computer_scientists>
<http://dbpedia.org/resource/Category:Formal_methods_people>
<http://dbpedia.org/resource/Category:Fellows_of_the_Institute_of_Mathematics_and_its_Applications>
<http://dbpedia.org/resource/Category:Hewlett-Packard_people>
<http://dbpedia.org/resource/Swansea_University>
<http://dbpedia.org/resource/Springer_Science+Business_Media>
<http://dbpedia.org/resource/BCTCS>
<http://dbpedia.org/resource/Process_algebra>
<https://web.archive.org/web/20110813223125/http:/concinnitas.co.uk/Personal%20Pages/Chris%20Tofts%20Publications/chris-tofts-publications.html>
<http://rdf.freebase.com/ns/m.05zm42t>
<http://viaf.org/viaf/4382148997598859870005>
<http://yago-knowledge.org/resource/Chris_Tofts>
<http://www.wikidata.org/entity/Q5108282>
<http://mg.dbpedia.org/resource/Chris_Tofts>
<https://global.dbpedia.org/id/4i9w1>
<http://dbpedia.org/resource/Template:Authority_control>
<http://dbpedia.org/resource/Template:ISBN>
<http://dbpedia.org/resource/Template:Reflist>
<http://dbpedia.org/resource/Template:Short_description>
<http://dbpedia.org/resource/Template:Use_British_English>
<http://dbpedia.org/resource/Template:Use_dmy_dates>
<http://viaf.org/viaf/4382148997598859870005>
<http://en.wikipedia.org/wiki/Chris_Tofts?oldid=1082683196&ns=0>
<http://en.wikipedia.org/wiki/Chris_Tofts>

data from the linked data cloud